by Bisgaard, Morten, Gerhardt, David, Hermanns, Holger, Krčál, Jan, Nies, Gilles, Stenger, Marvin
Published in FM 2016: Formal Methods

by Bisgaard, Morten, Gerhardt, David, Hermanns, Holger, Krčál, Jan, Nies, Gilles, Stenger, Marvin
Published in Formal aspects of computing (01.04.2019)

by Butkova, Yuliya, Hatefi, Hassan, Hermanns, Holger, Krčál, Jan
Published in Automated Technology for Verification and Analysis (01.01.2015)

by Hermanns, Holger, Krämer, Julia, Krčál, Jan, Stoelinga, Mariëlle
Published in Principles of Security and Trust

by Nies, Gilles, Stenger, Marvin, Krčál, Jan, Hermanns, Holger, Bisgaard, Morten, Gerhardt, David, Haverkort, Boudewijn, Jongerden, Marijn, Larsen, Kim G., Wognsen, Erik R.
Published in Acta astronautica (01.10.2018)

by Havlík, Jan, Bobik, Ján, Dědková, Vendula, Dontová, Kateřina, Krčál, Jan, Matznerová, Jana, Paralovo, Elena, Toshaliyev, Kahramon, Shaydullaev, Shapulat
Published in Studie Hercynia (01.12.2022)

by Hashemi, Vahid, Hatefi, Hassan, Krčál, Jan
Published in Electronic proceedings in theoretical computer science (31.03.2014)

by Brázdil, Tomáš, Forejt, Vojtěch, Krčál, Jan, Křetínský, Jan, Kučera, Antonín
Published in Information and computation (01.03.2013)

by Krcal, Jan, Krcal, Pavel
Published in 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (01.06.2015)

by Hartmanns, Arnd, Hermanns, Holger, Krčál, Jan
Published in Semantics, Logics, and Calculi (2016)

by Brázdil, Tomáš, Korenčiak, Ľuboš, Krčál, Jan, Novotný, Petr, Řehák, Vojtěch
Published in Quantitative Evaluation of Systems

by Hermanns, Holger, Krčál, Jan, Nies, Gilles
Published in Cyber Physical Systems. Design, Modeling, and Evaluation (2015)

by Hermanns, Holger, Krčál, Jan, Vester, Steen
Published in Foundations of Software Science and Computation Structures

by Michal Jerabek, Jan Krcal, Tomas Zelinka
Published in Journal of systemics, cybernetics and informatics (01.08.2014)

by Krcal, Jan, Jerabek, Michal, Krcalova, Lucie
Published in Procedia, social and behavioral sciences (10.12.2013)

by Kalikova, Jana, Krcal, Jan
Published in 2018 5th International Conference on Systems and Informatics (ICSAI) (01.11.2018)

by Kalikova, Jana, Krcal, Jan
Published in 2018 3rd International Conference on Intelligent Green Building and Smart Grid (IGBSG) (01.04.2018)

by Kalikova, Jana, Krcal, Jan
Published in 2018 7th International Symposium on Next Generation Electronics (ISNE) (01.05.2018)

by KALIKOVA, Jana, KRCAL, Jan, STERBA, Miroslav
Published in 2021 Smart City Symposium Prague (SCSP) (27.05.2021)

by Kalikova, Jana, Krcal, Jan
Published in 2017 Smart City Symposium Prague (SCSP) (01.05.2017)