More Groups
More People
More Publications
More Publishers
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Cěrná, Ivana; more... Nonlinear Analysis: Hybrid Systems (2017)
Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana P TACAS: Tools and Algorithms for the Construction and Analysis of Systems Springer (2016)
Daca, Przemyslaw; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana CONCUR: Concurrency Theory Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan LPAR: Logic for Programming, Artificial Intelligence, and Reasoning Springer (2015)
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Fellner, Andreas; Křetínský, Jan CAV: Computer Aided Verification Springer (2015)
Babiak, Tomáš; Blahoudek, František; Duret-Lutz, Alexandre; Klein, Joachim C; Křetínský, Jan; more... CAV: Computer Aided Verification Springer (2015)
Chatterjee, Krishnendu; Komárková, Zuzana; Křetínský, Jan LICS: Logic in Computer Science IEEE (2015)
Beneš, Nikola; Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Ničković, Dejan CBSE: Component-Based Software Engineering ACM (2015)
Svoreňová, Mária; Křetínský, Jan; Chmelík, Martin; Chatterjee, Krishnendu; Cěrná, Ivana; more... HSCC: Hybrid Systems: Computation and Control Springer (2015)
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G; Möller, Mikael H; Sickert, Salomon; more... Acta Informatica (2015)
Institute of Science and Technology Austria | Library Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000 Powered by BibApp