Nikola Benes
发表
Ivana Cerná,
Jaroslav Bendík,
Nikola Benes,
2018,
ICSOFT.
Ivana Cerná,
Jiri Barnat,
Jaroslav Bendík,
2016,
SEFM.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2018,
J. Log. Algebraic Methods Program..
Lubos Brim,
David Safránek,
Martin Demko,
2016,
FM.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
ATVA.
Ivana Cerná,
Jan Kretínský,
Nikola Benes,
2011,
ATVA.
Lubos Brim,
David Safránek,
Samuel Pastva,
2020,
Sci. Comput. Program..
Lubos Brim,
David Safránek,
Martin Demko,
2017,
CAV.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2016,
SEFM.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2015,
Acta Informatica.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2014,
ICTAC.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
Automated Reasoning for Systems Biology and Medicine.
Jan Kretínský,
Nikola Benes,
Jan Křetínský,
2012,
ICTAC.
Lubos Brim,
Pavlína Vareková,
Ivana Cerná,
2007,
CoCoME.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2014,
ArXiv.
Ivana Cerná,
Nikola Benes,
Milan Krivánek,
2011,
PDMC.
Ivana Cerná,
Barbora Buhnova,
Radek Oslejsek,
2012,
CBSE '12.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2013,
CBSE '13.
Lubos Brim,
Jan Beran,
Jiri Barnat,
2015,
Formal Aspects of Computing.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2009,
Theor. Comput. Sci..
David Safránek,
Samuel Pastva,
Nikola Benes,
2019,
IFM.
Nikola Benes,
Ivana Cerna,
Jaroslav Bendik,
2017,
ATVA.
Dejan Nickovic,
Thomas A. Henzinger,
Jan Kretínský,
2015,
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Ivana Cerná,
Jiri Barnat,
Jaroslav Bendík,
2016,
FSTTCS.
Lubos Brim,
David Safránek,
Martin Demko,
2016,
CMSB.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2011,
ATVA.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
ICFEM.
Pavlína Vareková,
Ivana Cerná,
Jirí Sochor,
2008,
Electron. Notes Theor. Comput. Sci..
Kim G. Larsen,
Jirí Srba,
Nikola Benes,
2015,
ICALP.
Ivana Cerná,
Jiri Barnat,
Tomás Bures,
2013,
FACS.
Axel Legay,
Benoît Delahaye,
Ulrich Fahrenberg,
2013,
CONCUR.
Nikola Benes,
Milan Krivánek,
Filip Stefanak,
2009,
MEMICS.
Lubos Brim,
David Safránek,
Jiri Barnat,
2017,
CMSB.
Lubos Brim,
Jan Beran,
Jiri Barnat,
2015,
ArXiv.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
Inf. Comput..
Ivana Cerná,
Nikola Benes,
Filip Stefanak,
2012,
SOFSEM.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2009,
ICTAC.
Lubos Brim,
Pavlína Vareková,
Ivana Cerná,
2009,
IFM.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
TACAS.
Kim G. Larsen,
Jirí Srba,
Jan Kretínský,
2012,
LPAR.
Lubos Brim,
David Safránek,
Samuel Pastva,
2019,
HSCC.
Jan Kretínský,
Nikola Benes,
2010,
MEMICS.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CMSB.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
CAV.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
TACAS.
Lubos Brim,
David Safránek,
Samuel Pastva,
2021,
ArXiv.