Ivana Cerná

发表

Pavlína Vareková, Ivana Cerná, P. Vareková, 2008, CBSE.
Pavlína Vareková, Ivana Cerná, Barbora Buhnova, 2008, IET Softw..
Lubos Brim, Ivana Cerná, Jiri Barnat, 2008, FMICS.
Pavlína Vareková, Ivana Cerná, I. Vareková, 2010, Electron. Notes Theor. Comput. Sci..
Ivana Cerná, Jaroslav Bendík, Nikola Benes, 2018, ICSOFT.
Calin Belta, Ivana Cerná, Jiri Barnat, 2013, Autom..
Ivana Cerná, Jiri Barnat, Nikola Benes, 2018, J. Log. Algebraic Methods Program..
Ivana Cerná, Jan Kretínský, Nikola Benes, 2011, ATVA.
Ivana Cerná, Jiri Barnat, Nikola Benes, 2016, SEFM.
Ivana Cerná, Vladimír Still, Petr Rockai, 2016, SAC.
Ivana Cerná, Jiri Barnat, Nikola Benes, 2014, ICTAC.
Ivana Cerná, Gerald Lüttgen, 2008, Electron. Notes Theor. Comput. Sci..
Lubos Brim, Ivana Cerná, Jiri Barnat, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Ivana Cerná, Radek Pelánek, Radek Pelánek, 2003, SPIN.
Lubos Brim, Ivana Cerná, Jiri Barnat, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.
Lubos Brim, David Safránek, Ivana Cerná, 2007, FBTC@CONCUR.
Krishnendu Chatterjee, Calin Belta, Ivana Cerná, 2015, HSCC.
Andrea Omicini, Guido Boella, Mehdi Dastani, 2007, Electron. Notes Theor. Comput. Sci..
Calin Belta, Ivana Cerná, Jiri Barnat, 2010, 49th IEEE Conference on Decision and Control (CDC).
Calin Belta, Ivana Cerná, María Svorenová, 2013, 2013 American Control Conference.
Ivana Cerná, Jiri Barnat, Jana Tumova, 2012, Comput. Informatics.
Ivana Cerná, Jitka Stríbrná, I. Cerná, 2003, INFINITY.
Lubos Brim, Pavlína Vareková, Ivana Cerná, 2007, CoCoME.
Lubos Brim, Ivana Cerná, Petr Rockai, 2006, CAV.
Ivana Cerná, Jiri Barnat, Nikola Benes, 2014, ArXiv.
Ivana Cerná, Nikola Benes, Milan Krivánek, 2011, PDMC.
Ivana Cerná, Jiri Barnat, Jana Tumova, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Ivana Cerná, Jiri Barnat, Jana Tumova, 2011, MEMICS.
Ivana Cerná, Barbora Buhnova, Radek Oslejsek, 2012, CBSE '12.
Lubos Brim, David Safránek, Ivana Cerná, 2009, Theor. Comput. Sci..
Calin Belta, Ivana Cerná, María Svorenová, 2015, IEEE Transactions on Automatic Control.
Ivana Cerná, Jiri Barnat, Nikola Benes, 2013, CBSE '13.
Lubos Brim, Ivana Cerná, Jiri Barnat, 2005, FMCO.
Ivana Cerná, Antonín Kucera, Mojmír Kretínský, 1999, Acta Informatica.
Ivana Cerná, Petr Rockai, Jiri Barnat, 2017, J. Syst. Softw..
Ivana Cerná, Tomás Brázdil, 2006, Comput. Artif. Intell..
Ivana Cerná, Boudewijn R. Haverkort, I. Cerná, 2011, J. Log. Comput..
Calin Belta, Ivana Cerná, María Svorenová, 2013, 52nd IEEE Conference on Decision and Control.
Jan Bouda, Ivana Cerná, Zdenek Kotásek, 2012, Comput. Informatics.
Ivana Cerná, Jiri Barnat, Jaroslav Bendík, 2016, FSTTCS.
Ivana Cerná, Jiri Barnat, María Svorenová, 2016, 2016 American Control Conference (ACC).
Lubos Brim, Ivana Cerná, Pavel Moravec, 2005, Electron. Notes Theor. Comput. Sci..
Lubos Brim, Ivana Cerná, Martin Necesal, 2001, PAPM-PROBMIV.
Lubos Brim, Ivana Cerná, Lukás Hejtmánek, 2003, PARCO.
Pavlína Vareková, Ivana Cerná, Barbora Buhnova, 2007, SAVCBS '07.
Ivana Cerná, Jaroslav Bendík, 2020, LPAR.
Ivana Cerná, Jiri Barnat, Jana Tumova, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Pavlína Vareková, Ivana Cerná, Jirí Sochor, 2008, Electron. Notes Theor. Comput. Sci..
Ivana Cerná, Jaroslav Bendík, 2020, TACAS.
Ivana Cerná, Jirí Srba, Ondrej Klíma, 1999, SOFSEM.
Lubos Brim, Pavlína Vareková, Ivana Cerná, 2006, ACM SIGSOFT Softw. Eng. Notes.
Ivana Cerná, Jiri Barnat, Tomás Bures, 2013, FACS.
Lubos Brim, Ivana Cerná, Pavel Krcál, 2001, SOFSEM.
Lubos Brim, Ivana Cerná, Pavel Moravec, 2006, FMICS/PDMC.
Pavlína Vareková, Ivana Cerná, Barbora Buhnova, 2007, Electron. Notes Theor. Comput. Sci..
Calin Belta, Ivana Cerná, Jiri Barnat, 2010, 49th IEEE Conference on Decision and Control (CDC).
Ivana Cerná, Nikola Benes, Filip Stefanak, 2012, SOFSEM.
Calin Belta, Ivana Cerná, Jiri Barnat, 2012, IEEE Transactions on Automatic Control.
Lubos Brim, Pavlína Vareková, Ivana Cerná, 2009, IFM.
Ivana Cerná, Antonín Kucera, Mojmír Kretínský, 1996, INFINITY.
Ivana Cerná, Radek Pelánek, Radek Pelánek, 2003, MFCS.
Ivana Cerná, Tomás Brázdil, 2002, Electron. Notes Theor. Comput. Sci..
Ivana Cerná, Jiri Barnat, 2006, Formal Methods Syst. Des..
Ivana Cerná, Michael W. Whalen, Elaheh Ghassabani, 2018, SEFM.
Lubos Brim, Ivana Cerná, Pavel Krcál, 2001, FSTTCS.
Lubos Brim, David Safránek, Ivana Cerná, 2009, COMPMOD.
Ivana Cerná, Boudewijn R. Haverkort, 2008, Electron. Notes Theor. Comput. Sci..