Department of Computer Science

Total number of titles in 2016: 10

 

BYDŽOVSKÁ, Hana.
A Comparative Analysis of Techniques for Predicting Student Performance. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : 2016. 6 pp. 2016, Raleigh, NC, USA.


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, 2016, vol. 24, no. 1, pp. 37-63.


more

 

BARNAT, Jiří - BAUCH, Petr - BENEŠ, Nikola - BRIM, Luboš - BERAN, Jan - KRATOCHVÍLA, Tomáš.
Analysing Sanity of Requirements for Avionics Systems. Formal Aspects of Computing, USA. ISSN 0934-5043, 2016, vol. 28, no. 1, pp. 45-63.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - KNEIS, Joachim - MEISTER, Daniel - SIKDAR, Somnath - ROSSMANITH, Peter.
Are there any good digraph width measures?. Journal of Combinatorial Theory, Ser B, Academic Press, India. ISSN 0095-8956, 2016, vol. 116, no. 1, pp. 250-286.


more

 

BYDŽOVSKÁ, Hana.
Course Enrollment Recommender System. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : 2016. 6 pp. 2016, Raleigh, NC, USA.


more

 

JENSEN, Jonnas F. - LARSEN, Kim G. - SRBA, Jiří - OESTERGAARD, Lars.
Efficient Model Checking of Weighted CTL with Upper-Bound Constraints. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, The Nederlands. ISSN 1433-2779, 2016, vol. 2014, no. december, pp. 1-18.


more

 

GRUSKA, Jozef - QIU, Daowen - ZHENG, Shenggen.
Generalizations of the distributed Deutsch-Jozsa promise problem. Mathematical Structures in Computer Science, Cambridge University Press, Great Britain. ISSN 0960-1295, 2016, vol. Neuveden, no. first online, pp. 1-21.


more

 

GRUSKA, Jozef.
Informatics, physics and mathematics. In The human face of computing. London : Imperial Colledge press, 2016. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING: TEXTS 9, ISBN 978-1-78326-643-2, pp. 225-252.


more

 

HLINĚNÝ, Petr - SLÁMEČKA, Ondřej.
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. In Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548. Switzerland : Springer, 2016. ISBN 978-3-319-29816-0, pp. 54-66. 23.10.2015, Telč.


more

 

ŠTILL, Vladimír - ROČKAI, Petr - BARNAT, Jiří.
Weak Memory Models as LLVM-to-LLVM Transformations. In Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-29816-0, pp. 144-155. 2015, Telč, Česká republika.


more