by Zhao, Guohan, Rasmussen, Michael R., Larsen, Kim G., Srba, Jiri, Nielsen, Thomas D., Goorden, Martijn A., Qian, Weizhu, Nielsen, Jesper E.
Published in Journal of hydroinformatics (01.07.2023)

by Enevoldsen, Søren, Larsen, Kim Guldstrand, Srba, Jiří
Published in International journal on software tools for technology transfer (01.02.2022)

by BAUER, SEBASTIAN S., JUHL, LINE, LARSEN, KIM G., LEGAY, AXEL, SRBA, JIŘÍ
Published in Mathematical structures in computer science (01.08.2012)

by Hasrat, Imran Riaz, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří
Published in Science of computer programming (01.08.2023)

by Bilgram, Alexander, Jensen, Peter G., Pedersen, Thomas, Srba, Jiří, Taankvist, Peter H.
Published in Fundamenta informaticae (26.10.2023)

by Larsen, Kim G., Mariegaard, Anders, Schmid, Stefan, Srba, Jiří
Published in Science of computer programming (01.08.2023)

by Karra, Shyam Lal, Larsen, Kim Guldstrand, Lorber, Florian, Srba, Jiří
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Larsen, Kim Guldstrand, Potapov, Igor, Srba, Jiří
Year of Publication 2016

by Cuijpers, Pieter, Schmid, Stefan, Schnepf, Nicolas, Srba, Jiri
Published in 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2022)

by Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Qian, Weizhu, Rasmussen, Michael R., Srba, Jiří, Zhao, Guohan
Published in Nonlinear analysis. Hybrid systems (01.08.2024)

by Jensen, Jonas Finnemann, Larsen, Kim Guldstrand, Srba, Jiří, Oestergaard, Lars Kaerlund
Published in International journal on software tools for technology transfer (01.08.2016)

by Larsen, Kim G., Srba, Jiří
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Beneš, Nikola, Bezděk, Peter, Larsen, Kim G., Srba, Jiří
Published in Automata, Languages, and Programming

by Enevoldsen, Søren, Larsen, Kim G., Mariegaard, Anders, Srba, Jiří
Published in International journal on software tools for technology transfer (01.10.2020)

by Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Srba, Jiří
Published in International journal on software tools for technology transfer (01.10.2018)

by Ferus, Martin, Koukal, Jakub, Lenža, Libor, Srba, Jiří, Kubelík, Petr, Laitl, Vojtěch, Zanozina, Ekaterina M., Váňa, Pavel, Kaiserová, Tereza, Knížek, Antonín, Rimmer, Paul, Chatzitheodoridis, Elias, Civiš, Svatopluk
Published in Astronomy and astrophysics (Berlin) (01.02.2018)

by Ferus, Martin, Petera, Lukáš, Koukal, Jakub, Lenža, Libor, Drtinová, Barbora, Haloda, Jakub, Matýsek, Dalibor, Pastorek, Adam, Laitl, Vojtěch, Poltronieri, Renato Cassio, Domingues, Marcelo Wagner, Gonçalves, Gabriel, del Olmo Sato, Rodrigo, Knížek, Antonín, Kubelík, Petr, Křivková, Anna, Srba, Jiří, di Pietro, Carlos Augusto, Bouša, Milan, Vaculovič, Tomáš, Civiš, Svatopluk
Published in Icarus (New York, N.Y. 1962) (01.05.2020)

by Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.
Published in Formal aspects of computing (06.10.2023)

by Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
Published in Logical methods in computer science (01.01.2021)

by Schmid, Stefan, Srba, Jiri
Published in IEEE INFOCOM 2018 - IEEE Conference on Computer Communications (01.04.2018)