Nikola Benes
发表
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
Automated Reasoning for Systems Biology and Medicine.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CAV.
Axel Legay,
Louis-Marie Traonouez,
Jan Křetínský,
2020,
Inf. Comput..
Axel Legay,
Benoît Delahaye,
Ulrich Fahrenberg,
2013,
CONCUR.
L. Brim,
Samuel Pastva,
Nikola Benes,
2021,
Log. Methods Comput. Sci..
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
TACAS.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2015,
Acta Informatica.
Jan Kretínský,
Nikola Benes,
Jan Křetínský,
2012,
ICTAC.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
LPAR.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2011,
ATVA.
Nikola Benes,
Ivana Cerna,
Jaroslav Bendik,
2017,
ATVA.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2014,
ICTAC.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2014,
ArXiv.
Ivana Cerná,
Jiri Barnat,
Tomás Bures,
2013,
FACS.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2013,
CBSE '13.
Jiří Sochor,
Nikola Beneš,
Ivana Černá,
2008
.
Lubos Brim,
David Safránek,
Jiri Barnat,
2017,
CMSB.
L. Brim,
N. Beneš,
B. Buhnova,
2011,
Sci. Comput. Program..
Lubos Brim,
Pavlína Vareková,
Ivana Cerná,
2009,
IFM.
L. Brim,
N. Benes,
D. Safránek,
2022,
BMC Bioinform..
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..
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
David Šafránek,
Luboš Brim,
Nikola Beneš,
2020,
Int. J. Bifurc. Chaos.
Ivana Cerná,
Barbora Buhnova,
Radek Oslejsek,
2012,
CBSE '12.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2018,
J. Log. Algebraic Methods Program..
K. Larsen,
Nikola Benes,
Peter Bezdek,
2015,
ICALP.
N. Benes,
Nikola Benes,
2019
.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
FM.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
Inf. Comput..