Department of Computer Science

Total number of titles in 2014: 18

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

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

 

GRUSKA, Jozef.
Roads to New Grand Challenges of Informatics. In 14th International Conference on Membrane Computing. Berlin : Springer, 2014. pp. 10-18. 2013, Chisinau, Moldava. In print.


more

 

BRIM, Luboš - DLUHOŠ, Petr - ŠAFRÁNEK, David - VEJPUSTEK, Tomáš.
STL*: Extending signal temporal logic with signal-value freezing operator. Information and computation, Academic Press. ISSN 0890-5401, 2014.


more

 

SLABÝ, Jiří - STREJČEK, Jan.
Symbiotic 2: More Precise Slicing (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Berlin, Heidelberg : Springer, 2014. ISBN 978-3-642-54861-1, pp. 415-417. 2014, Grenoble, France.


more

 

BARNAT, Jiří - BAUCH, Petr - HAVEL, Vojtěch.
Temporal Verification of Simulink Diagrams. In Proceedings of HASE 2014. Miami : IEEE Computer Society, 2014. 8 pp. 2014.


more

 

BARNAT, Jiří - BENEŠ, Nikola - BUREŠ, Tomáš - ČERNÁ, Ivana - KEZNIKL, Tomáš - PLÁŠIL, František.
Towards Verification of Ensemble Based Component Systems. 2014.


more

 

BRÁZDIL, Tomáš - KIEFER, Stefan - KUČERA, Antonín - NOVOTNÝ, Petr - KATOEN, Joost-Pieter.
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR. 2014.


more