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

by Troják, Matej, Šafránek, David, Mertová, Lukrécia, Brim, Luboš
Published in PloS one (11.09.2020)

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

by Brim, Luboš
Published in Časopis pro právní vědu a praxi (2024)

by Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David
Published in Logical methods in computer science (01.01.2022)

by Ceska, Milan, Safránek, David, Dražan, Sven, Brim, Luboš
Published in PloS one (01.04.2014)

by Brim, Luboš, Pastva, Samuel, Šafránek, David, Šmijáková, Eva
Published in Mathematics (Basel) (01.03.2021)

by Brim, Luboš
Published in Časopis pro právní vědu a praxi (08.07.2019)

by Barnat, Jiří, Brim, Luboš, Havel, Vojtěch, Havlíček, Jan, Kriho, Jan, Lenčo, Milan, Ročkai, Petr, Štill, Vladimír, Weiser, Jiří
Published in Computer Aided Verification (2013)

by Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.05.2012)

by Dluhoš, Petr, Brim, Luboš, Šafránek, David
Published in Electronic proceedings in theoretical computer science (15.08.2012)

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

by Brim, Luboš, Chaloupka, Jakub
Published in Electronic proceedings in theoretical computer science (09.06.2010)

by Šafránek, David, Červený, Jan, Klement, Matěj, Pospíšilová, Jana, Brim, Luboš, Lazár, Dušan, Nedbal, Ladislav
Published in BioSystems (01.02.2011)

by Brim, Luboš, Barnat, Jiří
Published in Electronic proceedings in theoretical computer science (31.10.2011)

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 Barnat, Jiří, Brim, Luboš, Češka, Milan
Published in Electronic proceedings in theoretical computer science (15.12.2009)

by Barnat, Jiří, Bauch, Petr, Brim, Luboš, Češka, Milan
Published in Electronic proceedings in theoretical computer science (31.10.2011)