Department of Computer Science

Total number of titles in 2015: 29

 

VÍTA, Martin.
A short note on t-filters, I-filters and extended filters on residuated lattices. Fuzzy Sets and Systems, Elsevier, The Nederlands. ISSN 0165-0114, 2015, vol. 271, no. 1, pp. 168-171.


more

 

BAUCH, Petr - HAVEL, Vojtěch - BARNAT, Jiří.
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories. Software Quality Journal, Springer, USA. ISSN 0963-9314, 2015, vol. Not specif, no. November 2014, pp. 1-27.


more

 

PAPOUŠEK, Jan - PELÁNEK, Radek - ŘIHÁK, Jiří - STANISLAV, Vít.
An Analysis of Response Times in Adaptive Practice of Geography Facts. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid : International Educational Data Mining Society, 2015. ISBN 978-84-606-9425-0, p. 562-563. 2015, Madrid.


more

 

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


more

 

BRIM, Luboš - NIŽNAN, Juraj - ŠAFRÁNEK, David.
Compact Representation of Photosynthesis Dynamics by Rule-based Models. Elsevier, 2015. 2014, Mnichov.


more

 

BENEŠ, Nikola - DACA, Przemysław - HENZINGER, Thomas A. - KŘETÍNSKÝ, Jan - NIČKOVIĆ, Dejan.
Complete Composition Operators for IOCO-Testing Theory. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA : ACM, 2015. ISBN 978-1-4503-3471-6, pp. 101-110. 2015, Montreal, Kanada.


more

 

BRÁZDIL, Tomáš - CHATTERJEE, Krishnendu - CHMELÍK, Martin - FELLNER, Andreas - KŘETÍNSKÝ, Jan.
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In Computer Aided Verification: 27th International Conference, CAV 2015. Cham : Springer, 2015. ISBN 978-3-319-21689-8, pp. 158-177.


more

 

EIBEN, Eduard - KOTRBČÍK, Michal.
Equimatchable Graphs on Surfaces. Journal of Graph Theory. ISSN 1097-0118, 2015, 15 pp.


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

 

NIŽNAN, Juraj - PAPOUŠEK, Jan - PELÁNEK, Radek.
Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. In Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education. Madrid : 2015. 2015.


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

 

PAPOUŠEK, Jan - PELÁNEK, Radek.
Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid : Springer International Publishing, 2015. ISBN 978-3-319-19772-2, p. 348-357. 2015, Madrid.


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, USA. ISSN 0018-9286, 2015, vol. 60, no. 6, pp. 1-14.


more

 

RÁČEK, Jaroslav - DAŇA, Josef - FRIŠTIK, Matúš.
Personal Relationships Identification in Unstructured data. Ostrava : VŠB - Faculty of Economics, 2015. ISBN 978-80-248-3741-3, 6 pp. 2015, Uherské Hradiště.


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

 

MRÁKOVÁ, Eva - POPELÍNSKÝ, Lubomír.
Sbírka řešených úloh z logiky pro informatiky. Vydání první. Brno : Masarykova univerzita, 2015. 82 pp. ISBN 978-80-210-7843-7.


more

 

BYDŽOVSKÁ, Hana.
Student Performance Prediction Using Collaborative Filtering Methods. In 17th International Conference on Artificial Inteligence in Education - AIED 2015. Madrid : Springer International Publishing, 2015. ISBN 978-3-319-19772-2, pp. 550-553. 2015, Madrid, Spain.


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. Seattle, Washington, USA : Association for Computing Machinery (ACM), 2015. ISBN 978-1-4503-3433-4, pp. 259-268. 2015, Seattle, Washington, USA.


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. Seattle, Washington, USA : Association for Computing Machinery (ACM), 2015. ISBN 978-1-4503-3433-4, pp. 233-238. Seattle, Washington, USA.


more

 

BABIAK, Tomáš - BLAHOUDEK, František - DURET-LUTZ, Alexandre - KLEIN, Joachim - KŘETÍNSKÝ, Jan - MÜLLER, David - PARKER, David - STREJČEK, Jan.
The Hanoi Omega-Automata Format. In Computer Aided Verification: 27th International Conference, CAV 2015. Cham : Springer, 2015. ISBN 978-3-319-21689-8, pp. 479-486.


more

 

ZLATUŠKA, Jiří - PROCHÁZKA, Filip - ROSECKÝ, Jan.
The Mycroft Programme: Way to Effective Large Data Utilisation. 2015.


more

 

BYDŽOVSKÁ, Hana.
Towards Freshmen Performance Prediction. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid : UNED, 2015. ISBN 978-84-606-9425-0, pp. 602-603. 2015, Madrid, Spain.


more

 

CHATTERJEE, Krishnendu - KOMÁRKOVÁ, Zuzana - KŘETÍNSKÝ, Jan.
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). : 2015.


more

 

GÉRYK, Jan.
Using Visual Analytics Tool for Improving Data Comprehension. In Proceedings for the 8th International Conference on Educational Data Mining (EDM 2015). Madrid, Spain : International Educational Data Mining Society, 2015. ISBN 978-84-606-9425-0, pp. 327-334. 2015, Madrid, Spain.


more