I. Cerná
发表
Pavlína Vareková,
Ivana Cerná,
P. Vareková,
2008,
CBSE.
Ivana Cerná,
Jirí Srba,
Ondrej Klíma,
1999,
SOFSEM.
I. Cerná,
O. Klíma,
J. Srba,
1999
.
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.
Ivana Cerná,
Radek Pelánek,
Radek Pelánek,
2003,
MFCS.
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2012,
IEEE Transactions on Automatic Control.
J. Barnat,
L. Brim,
I. Cerná,
2008
.
Ivana Cerná,
Jitka Stríbrná,
I. Cerná,
2003,
INFINITY.
Ivana Cerná,
Antonín Kucera,
Mojmír Kretínský,
1999,
Acta Informatica.
C. Belta,
K. Chatterjee,
I. Cerná,
2017
.
I. Cerná,
Jitka Stríbrná,
2000
.
C. Belta,
I. Cerná,
B. Yordanov,
2012
.
J. Barnat,
Radek Pelánek,
I. Cerná,
2006
.
J. H. vanSchuppen,
David Šafránek,
Pieter Collins,
2011
.
L. Brim,
I. Cerná,
J. Simsa,
2005
.
J. Barnat,
I. Cerná,
D. Safránek,
2009,
Theor. Comput. Sci..
Jan Bouda,
Lukas Sekanina,
Zdeněk Kotásek,
2012
.
Jan Bouda,
Lukas Sekanina,
Zdeněk Kotásek,
2011
.
Andrea Omicini,
Guido Boella,
Mehdi Dastani,
2007
.
Ivana Cerná,
Jiri Barnat,
María Svorenová,
2016,
2016 American Control Conference (ACC).
Ivana Cerná,
Boudewijn R. Haverkort,
I. Cerná,
2011,
J. Log. Comput..
Nikola Benes,
Ivana Cerna,
Jaroslav Bendik,
2017,
ATVA.
Ivana Cerná,
Radek Pelánek,
Radek Pelánek,
2003,
SPIN.
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.
Ivana Cerná,
Jiri Barnat,
Jana Tumova,
2012,
Comput. Informatics.
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2010,
49th IEEE Conference on Decision and Control (CDC).
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2010,
49th IEEE Conference on Decision and Control (CDC).
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
2006,
PDMC@ICALP.
Lubos Brim,
Ivana Cerná,
Jiri Barnat,
2005,
FMCO.
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
2004,
FMCAD.
Lubos Brim,
Ivana Cerná,
Pavel Krcál,
2001,
SOFSEM.
Jiří Sochor,
Nikola Beneš,
Ivana Černá,
2008
.
Ivana Cerná,
Radek Pelánek,
L. Brim,
2001
.
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.
Ivana Černá,
Radek Pelánek,
Luboš Brim,
2005,
FMICS '05.
Calin Belta,
Ivana Cerná,
María Svorenová,
2013,
52nd IEEE Conference on Decision and Control.
Krishnendu Chatterjee,
Calin Belta,
Ivana Cerná,
2014,
HSCC.
Lubos Brim,
David Safránek,
Ivana Cerná,
2007,
FBTC@CONCUR.
Luboš Brim,
Ivana Černá,
Jiří Barnat,
2002
.
Ivana Cerná,
Barbora Buhnova,
Radek Oslejsek,
2012,
CBSE '12.
Ivana Cerná,
Jiri Barnat,
Nikola Benes,
2018,
J. Log. Algebraic Methods Program..
Calin Belta,
Ivana Cerná,
María Svorenová,
2015,
IEEE Transactions on Automatic Control.
Calin Belta,
Ivana Cerná,
María Svorenová,
2013,
2013 American Control Conference.
Ivana Cerná,
Petr Rockai,
Jiri Barnat,
2017,
J. Syst. Softw..