Department of Computer Science

Total number of titles in 2015: 12

 

RÁČEK, Jaroslav - DAŇA, Josef - ŠTĚPÁNEK, Petr.
ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING. 2015.


more

 

AMBAINIS, Andris - GRUSKA, Jozef - ZHENG, Shenggen.
Exact quantum algorithms have advantage for almost all Boolean functions. Quantum Information and Computing, Rinton Press, USA. ISSN 1533-7146, 2015, vol. 15, no. 5&6, pp. 435-452.


more

 

GRUSKA, Jozef - QIU, Daowen - ZHENG, Shenggen.
Generalizations of the distributed Deutsch-Jozsa promise problem. Mathematical Structures in Computer Science. ISSN 1469-8072, 2015.


more

 

SVOREŇOVÁ, Mária - ČERNÁ, Ivana - BELTA, Calin.
Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control, IEEE Control Systems Society. ISSN 0018-9286, 2015. Accepted.


more

 

DERKA, Martin - HLINĚNÝ, Petr.
Planar Emulators Conjecture Is Nearly True for Cubic Graphs. European Journal of Combinatorics, Elsevier, The Nederlands. ISSN 0195-6698, 2015, to appear pp.


more

 

GRUSKA, Jozef - QIU, Daowen - ZHENG, Shenggen.
Potential of quantum finite automata with exact acceptance. Int. Journal of Found. of Computer Science, World Scientific. ISSN 0129-0541, 2015.


more

 

ZHENG, Shenggen - QIU, Daowen.
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata. Information and computation, Academic Press. ISSN 0890-5401, 2015.


more

 

BARNAT, Jiří.
Quo Vadis Explicit-State Model Checking. In SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Neuveden : Springer, 2015. ISBN 978-3-662-46077-1, pp. 46-57. 2015, Pec pod Sněžkou.


more

 

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SICKERT, Salomon - SRBA, Jiří.
Refinement checking on parametric modal transition systems. Acta Informatica, Springer, Germany. ISSN 0001-5903, 2015, vol. 52, no. 2-3, pp. 269-297.


more

 

BRÁZDIL, Tomáš - KIEFER, Stefan - KUČERA, Antonín - HUTAŘOVÁ VAŘEKOVÁ, Ivana.
Runtime analysis of probabilistic programs with unbounded recursion. Journal of Computer and System Sciences, Academic Press, The Nederlands. ISSN 0022-0000, 2015, vol. 81, no. 1, pp. 288-310.


more

 

SVOREŇOVÁ, Mária - KŘETÍNSKÝ, Jan - CHMELÍK, Martin - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. : Association for Computing Machinery (ACM), 2015. 2015. Submitted.


more

 

SVOREŇOVÁ, Mária - CHMELÍK, Martin - LEAHY, Kevin - ENISER, Hasan Ferit - CHATTERJEE, Krishnendu - ČERNÁ, Ivana - BELTA, Calin.
Temporal Logic Motion Planning using POMDPs with Parity Objectives. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. : Association for Computing Machinery (ACM), 2015. Submitted.


more