Department of Computer Science

Total number of titles in 2016: 12

 

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 : International Educational Data Mining Society, 2016. pp. 306-311. 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

 

KOMENDA, Martin - KAROLYI, Matěj - POKORNÁ, Andrea - VÍTA, Martin - KRÍŽ, Vincent.
Automatic Keyword Extraction from Medical and Healthcare Curriculum. Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, Poland, Poland. 2016.


more

 

BYDŽOVSKÁ, Hana.
Course Enrollment Recommender System. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : International Educational Data Mining Society, 2016. pp. 312-317. 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

 

KOMENDA, Martin - VÍTA, Martin - KAROLYI, Matěj - KRÍŽ, Vincent - POKORNÁ, Andrea.
Word2vec in practice: A similarity analysis of medical and healthcare disciplines. Proceedings of the MIE 2016 Health - Exploring Complexity: An Interdisciplinary System Approach. 2016.


more