Department of Computer Science

Total number of titles in 2016: 23

 

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

 

BLAHOUDEK, František - HEIZMANN, Matthias - SCHEWE, Sven - STREJČEK, Jan - TSAI, Ming-Hsien.
Complementing Semi-deterministic Büchi Automata. In Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin : Springer Berlin Heidelberg, 2016. ISBN 978-3-662-49673-2, pp. 770-787. 2.4.2016, Eindhoven.


more

 

BAUCH, Petr - HAVEL, Vojtěch - BARNAT, Jiří.
Control Explicit-Data Symbolic Model Checking. ACM Transactions on Software Engineering and Methodology, USA. ISSN 1049-331X, 2016, vol. 25, no. 2, pp. 15-62.


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

 

ŠKORPÍKOVÁ, Lucie - ILGOVÁ, Jana - POTĚŠIL, David - ZDRÁHAL, Zbyněk - DEMKO, Martin - OPPELT, Jan - GELNAR, Milan - KAŠNÝ, Martin.
Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis. 2016.


more

 

ŠTILL, Vladimír - ROČKAI, Petr - BARNAT, Jiří.
DIVINE: Explicit-State LTL Model Checker (Competition Contribution). In Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. New York, NY, USA : Springer-Verlag New York, Inc., 2016. ISBN 978-3-662-46077-1, pp. 920-922. 2016, Eindhoven, The Netherlands.


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

 

KORENČIAK, Ľuboš - ŘEHÁK, Vojtěch - FARMADIN, Adrian.
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Integrated Formal Methods. Switzerland : Springer International Publishing, 2016. ISBN 978-3-319-33692-3, pp. 130-138. 1.6.2016, Reykjavik.


more

 

BENDÍK, Jaroslav - BENEŠ, Nikola - BARNAT, Jiří - ČERNÁ, Ivana.
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. In Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin : Lecture Notes in Computer Sciences in Computer Science, 9763, 2016. ISBN 978-3-319-41590-1, pp. 121-136. 4.7.2016, Vienna.


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

 

BRIM, Luboš - ŠAFRÁNEK, David - DEMKO, Martin - PASTVA, Samuel - BENEŠ, Nikola.
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Computational Methods in Systems Biology. Vyd. 9859. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-45176-3, pp. 1-15. 2016, Cambridge, England.


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

 

BEZDĚK, Peter - BENEŠ, Nikola - BARNAT, Jiří - ČERNÁ, Ivana.
LTL Parameter Synthesis of Parametric Timed Automata. In Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin : Lecture Notes in Computer Sciences in Computer Science, 9763, 2016. ISBN 978-3-319-41590-1, pp. 172-187. 4.7.2016, Vienna.


more

 

ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš.
Model checking C++ programs with exceptions. Science of Computer Programming, Elsevier B.V., The Nederlands. ISSN 0167-6423, 2016, vol. 128, no. 15 October 2016, pp. 68-85.


more

 

BARNAT, Jiří - ČERNÁ, Ivana - ROČKAI, Petr - ŠTILL, Vladimír - ZÁKOPČANOVÁ, Kristína.
On verifying C++ programs with probabilities. In Proceedings of the 31st Annual ACM Symposium on Applied Computing. Pisa : ACM New York, NY, USA, 2016. ISBN 978-1-4503-3739-7, pp. 1238-1243. 2016, Pisa.


more

 

BRIM, Luboš - ŠAFRÁNEK, David - DEMKO, Martin - BENEŠ, Nikola - PASTVA, Samuel.
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Automated Technology for Verification and Analysis. Vyd. 9938. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-46519-7, pp. 1-17. 2016, Chiba.


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

 

MRÁZEK, Jan - BAUCH, Petr - LAUKO, Henrich - BARNAT, Jiří.
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. In Model Checking Software. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-32581-1, pp. 208-213. 2016, Eindhoven, The Netherlands.


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