L. Brim
发表
Lubos Brim,
Vladimír Still,
Petr Rockai,
2013,
CAV.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2009,
2009 15th International Conference on Parallel and Distributed Systems.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2013,
NASA Formal Methods.
Lubos Brim,
Ivana Cerná,
Pavel Krcál,
2001,
FSTTCS.
L. Brim,
Radek Pelánek,
P. Krcál,
2001
.
Lubos Brim,
Pavlína Vareková,
Ivana Cerná,
2006,
ACM SIGSOFT Softw. Eng. Notes.
Lubos Brim,
David Safránek,
Jiri Barnat,
2010,
Briefings Bioinform..
J. Barnat,
L. Brim,
I. Cerná,
2008
.
S. Edelkamp,
P. Sanders,
E. Hansen,
2010
.
L. Brim,
Milan Ceska,
D. Safránek,
2014,
PloS one.
Lubos Brim,
David Safránek,
J. Niznan,
2014,
Electron. Notes Theor. Comput. Sci..
L. Brim,
J. Chaloupka,
Jakub Chaloupka,
2010
.
Lubos Brim,
David Safránek,
Tomas Vejpustek,
2013,
HSB.
Jozef Gruska,
Luboš Brim,
Jiří Zlatuška,
1998,
Lecture Notes in Computer Science.
L. Brim,
I. Cerná,
J. Simsa,
2005
.
L. Brim,
N. Benes,
D. Safránek,
2022,
BMC Bioinform..
L. Brim,
N. Benes,
M. Demko,
2017
.
L. Brim,
Samuel Pastva,
D. Šafránek,
2022,
Biosyst..
L. Brim,
M. Leucker,
Haverkort,
2006
.
Lubos Brim,
Orna Grumberg,
L. Brim,
2006,
PDMC@CAV.
Orna Grumberg,
Martin Leucker,
Michael Weber,
2003
.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
Automated Reasoning for Systems Biology and Medicine.
Lubos Brim,
David Safránek,
Pavel Krejcí,
2016,
HSB.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CAV.
L. Brim,
S. V. Goethem,
Jean-Marie Jacquet,
2013,
CS2Bio.
Lubos Brim,
David Safránek,
Martin Demko,
2019,
CMSB.
Lubos Brim,
Stefan Edelkamp,
Jiri Barnat,
2009,
FMICS.
Lubos Brim,
David Safránek,
Milan Ceska,
2013,
SFM.
Lubos Brim,
Alessandro Abate,
Marta Z. Kwiatkowska,
2015,
CAV.
L. Brim,
Matej Troják,
David Šafránek,
2020,
SASB.
L. Brim,
Samuel Pastva,
Nikola Benes,
2021,
Log. Methods Comput. Sci..
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
TACAS.
Lubos Brim,
David Safránek,
Martin Demko,
2015,
HSB.
Lubos Brim,
L. Brim,
1992,
NAPAW.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2011,
2011 IEEE International Parallel & Distributed Processing Symposium.
Lubos Brim,
Stefan Edelkamp,
Jiri Barnat,
2011,
Sci. Comput. Program..
Jean-Marie Jacquet,
David Gilbert,
Luboš Brim,
1996
.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2014,
Acta Informatica.
Lubos Brim,
Nicola Paoletti,
Marta Z. Kwiatkowska,
2016,
TACAS.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2016,
Sci. Comput. Program..
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2012,
Sci. Comput. Program..
Lubos Brim,
Jiri Barnat,
J. Barnat,
2011,
PDMC.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Lubos Brim,
Jiri Barnat,
Milan Ceska,
2009,
PDMC.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2009,
ICFEM.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2009,
2009 International Workshop on High Performance Computational Systems Biology.
Lubos Brim,
Kees Verstoep,
Henri E. Bal,
2009,
2009 IEEE International Symposium on Parallel & Distributed Processing.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2008,
ATVA.
Lubos Brim,
Jiri Barnat,
J. Barnat,
2008,
ISoLA.
Lubos Brim,
Jiri Barnat,
Pavel Simecek,
2008,
TACAS.
Lubos Brim,
Jiri Barnat,
Pavel Simecek,
2007,
CAV.
Lubos Brim,
Mojmír Kretínský,
L. Brim,
2007,
SOFSEM.
Lubos Brim,
L. Brim,
2006,
FMICS/PDMC.
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
2006,
PDMC@ICALP.
Lubos Brim,
Ivana Cerná,
Jiri Barnat,
2005,
FMCO.
Lubos Brim,
Jiri Barnat,
Jakub Chaloupka,
2005,
FMICS.
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
2004,
FMCAD.
Lubos Brim,
Jiri Barnat,
Jakub Chaloupka,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Lubos Brim,
Jiri Barnat,
J. Barnat,
2003,
FMICS.
Lubos Brim,
Ivana Cerná,
Pavel Krcál,
2001,
SOFSEM.
Jiří Sochor,
Nikola Beneš,
Ivana Černá,
2008
.
Jakub Chaloupka,
Luboš Brim,
Jiří Barnat,
2004
.
Ivana Cerná,
Radek Pelánek,
L. Brim,
2001
.
Lubos Brim,
David Safránek,
Jiri Barnat,
2017,
CMSB.
Jean-Marie Jacquet,
David Gilbert,
Luboš Brim,
1995
.
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
2001,
SOFSEM.
L. Brim,
J. Chaloupka,
L. Doyen,
2011,
Formal Methods Syst. Des..
Jakub Chaloupka,
Lubovs Brim,
L. Brim,
2010,
Int. J. Found. Comput. Sci..
L. Brim,
N. Beneš,
B. Buhnova,
2011,
Sci. Comput. Program..
Lubos Brim,
Pavlína Vareková,
Ivana Cerná,
2009,
IFM.
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
2006,
FMICS/PDMC.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2010,
International Journal on Software Tools for Technology Transfer.
Ivana Černá,
Radek Pelánek,
Luboš Brim,
2005,
FMICS '05.
Lubos Brim,
David Safránek,
Tomas Vejpustek,
2014,
Inf. Comput..
David Safránek,
Matej Troják,
Lubos Brim,
2020,
NFM.
Lubos Brim,
David Safránek,
Matej Klement,
2016,
SASB.
Lubos Brim,
David Safránek,
Vilém Ded,
2013,
BioPPN@Petri Nets.
Lubos Brim,
David Safránek,
Jan Cervený,
2011,
Biosyst..
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
ICFEM.
David Šafránek,
Nikola Beneš,
Samuel Pastva,
2020,
CAV.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CMSB.
L. Brim,
Samuel Pastva,
Eva Smijáková,
2022,
Bioinform..
L. Brim,
Matej Troják,
Samuel Pastva,
2023,
Biosyst..
Lubos Brim,
David Safránek,
Sven Drazan,
2012,
Trans. Comp. Sys. Biology.
Lubos Brim,
Jiri Barnat,
Vojtech Havel,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
David Šafránek,
Luboš Brim,
Nikola Beneš,
2020,
Int. J. Bifurc. Chaos.
Lubos Brim,
David Safránek,
Milan Ceska,
2015,
CMSB.
Lubos Brim,
David Safránek,
Ivana Cerná,
2007,
FBTC@CONCUR.
Lubos Brim,
David Safránek,
Sven Drazan,
2011,
CompMod.
Jean-Marie Jacquet,
Lubos Brim,
David R. Gilbert,
1996,
ALP.
Lubos Brim,
Petr Rockai,
Jiri Barnat,
2010,
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.
Luboš Brim,
Ivana Černá,
Jiří Barnat,
2002
.
Lubos Brim,
Jan Beran,
Petr Rockai,
2012,
FMICS.
Lubos Brim,
Jan Beran,
Jiri Barnat,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
FM.
Petr Ročkai,
Luboš Brim,
Jiří Barnat,
2010
.
Lubos Brim,
Karen Yorav,
Jitka Zidkova,
2005,
International Journal on Software Tools for Technology Transfer.
Jaco van de Pol,
Luboš Brim,
L. Brim,
2009,
0912.3036.
Lubos Brim,
Ivana Cerná,
Petr Rockai,
2006,
CAV.
Ivana Černá,
Luboš Brim,
Barbora Zimmerova,
2006,
SAVCBS '05.