by Beneš, Nikola, Brim, Luboš, Huvar, Ondřej, Pastva, Samuel, Šafránek, David
Published in Bioinformatics (Oxford, England) (03.04.2023)

by Brim, Luboš, Pastva, Samuel, Šafránek, David, Šmijáková, Eva
Published in BioSystems (01.01.2023)

by Troják, Matej, Šafránek, David, Pastva, Samuel, Brim, Luboš
Published in BioSystems (01.03.2023)

by Češka, Milan, Dannenberg, Frits, Paoletti, Nicola, Kwiatkowska, Marta, Brim, Luboš
Published in Acta informatica (01.09.2017)

by Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Published in Science of computer programming (01.01.2020)

by Barnat, Jiří, Bauch, Petr, Brim, Luboš, Češka, Milan
Published in Journal of parallel and distributed computing (01.09.2012)

by Češka, Milan, Pilař, Petr, Paoletti, Nicola, Brim, Luboš, Kwiatkowska, Marta
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Barnat, Jiří, Bauch, Petr, Beneš, Nikola, Brim, Luboš, Beran, Jan, Kratochvíla, Tomáš
Published in Formal aspects of computing (01.03.2016)

by Troják, Matej, Šafránek, David, Brozmann, Branislav, Brim, Luboš
Published in Computational Methods in Systems Biology (2022)

by Demko, Martin, Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Published in Computational Methods in Systems Biology (2016)

by Brim, Luboš, Češka, Milan, Demko, Martin, Pastva, Samuel, Šafránek, David
Published in Computational Methods in Systems Biology (2015)

by BARNAT, Jiri, BRIM, Lubos, CERNA, Ivana, MORAVEC, Pavel, ROCKAI, Petr, SIMECEK, Pavel
Published in Lecture notes in computer science (2006)

by Barnat, Jiří, Brim, Luboš, Ročkai, Petr
Published in Science of computer programming (01.10.2012)

by Troják, Matej, Šafránek, David, Mertová, Lukrécia, Brim, Luboš
Published in NASA Formal Methods (2020)

by Barnat, Jirí, Brim, Lubos, Safránek, Dravid
Published in Briefings in bioinformatics (01.05.2010)

by Barnat, Jiří, Brim, Luboš, Černá, Ivana
Published in Formal Methods for Components and Objects (2006)

by Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Published in Automated Reasoning for Systems Biology and Medicine (2019)

by Beneš, Nikola, Brim, Luboš, Kadlecaj, Jakub, Pastva, Samuel, Šafránek, David
Published in BMC bioinformatics (11.05.2022)

by Beneš, Nikola, Brim, Luboš, Geletka, Martin, Pastva, Samuel, Šafránek, David
Published in Integrated Formal Methods (2019)

by Abate, Alessandro, Brim, Luboš, Češka, Milan, Kwiatkowska, Marta
Published in Computer Aided Verification (2015)