Department of Computer Science

Total number of titles in 2014: 48

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 1Letter I, page 1Letter J, page 1Letter K, page 1Letter L, page 1Letter M, page 1Letter N, page 1Letter O, page 1Letter P, page 1Letter Q, page 2Letter R, page 2Letter S, page 2Letter T, page 2Letter U, page 2Letter V, page 2Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 48 records, displayed 1 - 30

 

PITNER, Tomáš - MINISTR, Jan.
Academic-Industrial Cooperation in ICT in a Transition Economy – Two Cases from the Czech Republic. Information Technology for Development, USA. ISSN 0268-1102, 2014, vol. 20, no. 1, pp. 1-12.


more

 

GÉRYK, Jan - POPELÍNSKÝ, Lubomír.
Analysis of Student Retention and Drop-out using Visual Analytics. In Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). London, United Kingdom : International Educational Data Mining Society, 2014. ISBN 978-0-9839525-4-1, pp. 331-332. 2014, London, United Kingdom.


more

 

KLEMENT, Matej - DĚD, Tadeáš - ŠAFRÁNEK, David - ČERVENÝ, Jan - MUELLER, Stefan - STEUER, Ralf.
Biochemical Space: A Framework for Systemic Annotation of Biological Models. In Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14). Amsterdam : Elsevier, 2014. 31–44-14 pp. 2014, Berlin.


more

 

BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Branching-time model-checking of probabilistic pushdown automata. Journal of Computer and System Sciences, Academic Press, The Nederlands. ISSN 0022-0000, 2014, vol. 80, no. 1, pp. 139-156.


more

 

BATKO, Michal - BUDÍKOVÁ, Petra - ELIÁŠ, Petr - ZEZULA, Pavel.
CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections. In Proceedings of ICMR 2014. New York, NY, USA : ACM, 2014. ISBN 978-1-4503-2782-4, pp. 541-542. 1.4.2014, Glasgow, UK.


more

 

FAHRENBERG, Uli - KŘETÍNSKÝ, Jan - LEGAY, Axel - TRAONOUEZ, Louis-Marie.
Compositionality for Quantitative Specifications. In The 11th International Symposium on Formal Aspects of Component Software - FACS 2014. Heidelberg Dordrecht London New York : Springer, 2014. 18 pp.


more

 

PITNER, Tomáš - MOTSCHNIG, Renate - KOZLÍKOVÁ, Barbora - ŠKRABÁLEK, Jaroslav - PEKÁRKOVÁ, Lucie - KOLÁŘ, Jiří - NOVÁK, Martin - TOMASCHEK, Nino - HAMMER, Edith - HASELBERGER, David - BÖHM, Christina - STANDL, Bernhard.
Constructive Communication in International Teams: An Experience-Based Guide. Vyd. 1. Münster : WAXMANN Verlag GmbH, 2014. 248 pp. Neuveden. ISBN 978-3-8309-3025-9.


more

 

BYDŽOVSKÁ, Hana - POPELÍNSKÝ, Lubomír.
Course Recommendation from Social Data. In 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal : 2014 SCITEPRESS – Science and Technology Publications, 2014. ISBN 978-989-758-020-8, pp. 268-275. 1.4.2014, Barcelona, Spain.


more

 

KRIKSCIUNIENE, Dalia - PITNER, Tomáš - KUČERA, Adam - SAKALAUSKAS, Virgilijus.
Data Analysis in the Intelligent Building Environment. International Journal of Computer Science & Applications, Kolhapur, India, Technomathematics Research Foundation, India. ISSN 0972-9038, 2014, vol. Volume 11, no. Issue 1, pp. 1-17.


more

 

ŠVENDA, Petr - UKROP, Martin - MATYÁŠ, Václav.
Determining Cryptographic Distinguishers for eStream and SHA-3 Candidate Functions with Evolutionary Circuits. Berlin : Springer-Verlag Berlin Heidelberg, 2014. CCIS 456, 16 pp.


more

 

PLESCH, Martin - PIVOLUSKA, Matej.
Device-independent randomness amplification with a single device. Physics Letters A, Elsevier, The Nederlands. ISSN 0375-9601, 2014, vol. 378, no. 40, pp. 2938-2944.


more

 

BOUDA, Jan - PAWLOWSKI, Marcin - PIVOLUSKA, Matej - PLESCH, Martin.
Device-independent randomness extraction from an arbitrarily weak min-entropy source. Phys. Rev. A, USA, The American Physical Society, USA. ISSN 1050-2947, 2014.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - KNEIS, Joachim - LANGER, Alexander - OBDRŽÁLEK, Jan - ROSSMANITH, Peter.
Digraph width measures in parameterized algorithmics. Discrete Applied Mathematics, Elsevier B.V., The Nederlands. ISSN 0166-218X, 2014, vol. 168, no. 1, pp. 88-107.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - LANGER, Alexander - KNEIS, Joachim - ROSSMANITH, Peter.
Digraph Width Measures in Parameterized Algorithmics. Discrete Applied Mathematics, Elsevier Science, The Nederlands. ISSN 0166-218X, 2014, vol. 168, no. May, pp. 88-107.


more

 

TOVARŇÁK, Daniel - NGUYEN, Filip - PITNER, Tomáš.
Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters. In Intelligent Distributed Computing VII. Cham : Springer International Publishing Switzerland, 2014. ISBN 978-3-319-01570-5, pp. 87-92. Czech Republic, Prague.


more

 

BYDŽOVSKÁ, Hana - OBŠÍVAČ, Tomáš - BRANDEJS, Michal.
Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance. In Proceedings of the 16th International Conference on Enterprise Information Systems - ICEIS 2014. Portugal : 2014 SCITEPRESS – Science and Technology Publications, 2014. ISBN 978-989-758-029-1, pp. 156-161. 27.4.2014, Lisbon, Portugal.


more

 

OXBURGH, Stephen - TYC, Tomáš - COURTIAL, Johannes Klaus.
Dr TIM: Ray-tracer TIM, with additional specialist scientific capabilities. Computer Physics Communications, AMSTERDAM, ELSEVIER SCIENCE BV, The Nederlands. ISSN 0010-4655, 2014, vol. 185, no. 3, 1027–1037-11 pp.


more

 

VACULÍK, Karel - NEZVALOVÁ, Leona - POPELÍNSKÝ, Lubomír.
Educational data mining for analysis of students’ solutions. In Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014. London : Springer, 2014. ISBN 978-3-319-10554-3, pp. 150-161. 11.9.2014, Varna, Bulgaria.


more

 

CASAGRANDE, Alberto - DREOSSI, Tommaso - FABRIKOVÁ, Jana - PIAZZA, Carla.
Epsilon-Semantics computations on biological systems. Information and computation, Academic Press, The Nederlands. ISSN 0890-5401, 2014, vol. Neuveden, no. January 2014, nestránkováno-35 pp.


more

 

ESPARZA, Javier - KŘETÍNSKÝ, Jan.
From LTL to Deterministic Automata: A Safraless Compositional Approach. In Computer Aided Verification - 26th International Conference, CAV 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

VACULÍK, Karel - NEZVALOVÁ, Leona - POPELÍNSKÝ, Lubomír.
Graph Mining and Outlier Detection Meet Logic Proof Tutoring. In Proceedings of EDM 2014 Ws Graph-based Educational Data Mining (G-EDM). London : CEUR-WS.org, 2014. pp. 43-50. 4.7.2014, London, United Kingdom.


more

 

VACULÍK, Karel - POPELÍNSKÝ, Lubomír.
Graph Mining for Automatic Classification of Logical Proofs. In 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal : 2014 SCITEPRESS – Science and Technology Publications, 2014. ISBN 978-989-758-020-8, pp. 268-275. 1.4.2014, Barcelona, Spain.


more

 

BLAHOUDEK, František.
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking. In 11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14). Nantes, Francie : 2014. pp. 89-94. 2014, Nantes, Francie.


more

 

BLAHOUDEK, František - DURET-LUTZ, Alexandre - KŘETÍNSKÝ, Mojmír - STREJČEK, Jan.
Is there a best Büchi automaton for explicit model checking?. In 2014 International SPIN Symposium on Model Checking of Software. New York : ACM, 2014. ISBN 978-1-4503-2452-6, pp. 68-143. 2014, San Jose, CA, USA.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - LANGER, Alexander - ROSSMANITH, Peter - SIKDAR, Somnath.
Lower Bounds on the Complexity of MSO_1 Model-Checking. Journal of Computer and System Sciences, Elsevier, The Nederlands. ISSN 0022-0000, 2014, vol. 80, no. 1, pp. 180-194.


more

 

BRÁZDIL, Tomáš - KLAŠKA, David - KUČERA, Antonín - NOVOTNÝ, Petr.
Minimizing Running Costs in Consumption Systems. CoRR. 2014, vol. 2014.


more

 

BARNAT, Jiří - BAUCH, Petr - HAVEL, Vojtěch.
Model Checking Parallel Programs with Inputs. Turin : IEEE Computer Society, 2014. 4 pp. 2014.


more

 

ZHENG, Shenggen - GRUSKA, Jozef - QIU, Daowen.
On the state complexity of semi-quantum finite automata. In Language and Automata Theory and Applications. Vyd. LNCS 8370. Germany : Springer, 2014. ISBN 978-3-319-04920-5, pp. 601-612. 10.3.2014, Madrid, Spain.


more

 

ZHENG, Shenggen - GRUSKA, Jozef - QIU, Daowen.
On the state complexity of semi-quantum finite automata. RAIRO - Theoretical Informatics and Applications, EDP Sciences. ISSN 0988-3754, 2014, vol. 2014.


more

 

HERMANNS, Holger - KRČÁL, Jan - KŘETÍNSKÝ, Jan.
Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York : Springer, 2014.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 48 records, displayed 1 - 30