Department of Computer Science

Total number of titles in 2016: 31

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 1Letter I, page 1Letter J, page 1Letter K, page 1Letter L, page 1Letter M, page 1Letter N, page 1Letter O, page 1Letter P, page 1Letter Q, page 1Letter R, page 1Letter S, page 1Letter T, page 1Letter U, page 1Letter V, page 1Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 31 records, displayed 1 - 30

 

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

 

PIVOLUSKA, Matej - PLESCH, Martin.
An explicit classical strategy for winning a CHSHq game. New Journal of Physics, IOP publishing, Great Britain. ISSN 1367-2630, 2016, vol. 18, no. FEB 11 2016, nestránkováno-10 pp.


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. LNBI 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

 

ČEŠKA, Milan - PILAŘ, Petr - PAOLETTI, Nikola - BRIM, Luboš - KWIATKOWSKA, Marta.
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In 22nd International Conference, TACAS 2016. Vyd. LNCS 9636. Berlin : Springer International Publishing, 2016. ISBN 978-3-662-49673-2, pp. 367-384. 2.4.2016, Eindhoven.


more

 

DAŇA, Josef.
Suggestions for Knowledge Management based on Complex Network Analysis. 2016. ISBN 978-88-908242-3-4.


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

 

PIVOLUSKA, Matej - PAWLOWSKI, Marcin - PLESCH, Martin.
Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games. Physical Review A, USA. ISSN 2469-9926, 2016, vol. 94, no. 2, pp. 22338-22343.


more

 

BRIM, Luboš - ŠAFRÁNEK, David - KREJČÍ, Pavel - DEMKO, Martin - PASTVA, Samuel - HAJNAL, Matej.
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Hybrid Systems Biology. Vyd. LNBI 9957. Neuveden : Springer International Publishing, 2016. ISBN 978-3-319-47150-1, pp. 1-10. 2016, Grenoble.


more

 

DAŇA, Josef.
T-Shaped professional concept as an optimal knowledge network stabilizing team structure and project environment. 2016.


more

 

GÉRYK, Jan.
Visual analytics of educational time-dependent data using interactive dynamic visualization. Expert Systems. ISSN 1468-0394, 2016, vol. 33, no. 3, 14 pp.


more

 

GÉRYK, Jan - POPELÍNSKÝ, Lubomír - TRIŠČÍK, Jozef.
Visual Anomaly Detection in Educational Data. In Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. Bulgaria : Springer International Publishing, 2016. ISBN 978-3-319-44748-3, pp. 99-108.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 31 records, displayed 1 - 30