Jan Kofron

发表

Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2020, International Journal on Software Tools for Technology Transfer.
Jan Kofron, David Hauzar, 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.
Jan Kofron, Natasha Sharygina, Antti Eero Johannes Hyvärinen, 2019, TACAS.
Jan Kofron, Ondrej Sery, Pavel Parízek, 2009, TFM.
Jan Kofron, Pavel Parízek, Pavel Jancík, 2012, WCOP '12.
Jan Kofron, Robert Husák, Filip Zavoral, 2019, FM Workshops.
Jan Kofron, Ondrej Sery, Tomás Poch, 2008, 2008 32nd Annual IEEE Software Engineering Workshop.
Jan Kofron, David Hauzar, Pavel Bastecký, 2014, ESSS.
Jan Kofron, David Hauzar, 2015, Dagstuhl Artifacts Ser..
Jan Kofron, Grigory Fedyukovich, Natasha Sharygina, 2019, Formal Methods in System Design.
Petr Tuma, Martin Decký, Petr Hnetynka, 2007, CoCoME.
Jan Kofron, Robert Husák, Filip Zavoral, 2019, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jan Kofron, Francesco Tiezzi, Rosario Pugliese, 2015, The ASCENS Approach.
Ugo Montanari, Petr Tuma, Jan Kofron, 2015, The ASCENS Approach.
Jan Kofron, David Hauzar, David Hauzar, 2015, ECOOP.
Jan Kofron, Frantisek Plasil, Ondrej Sery, 2009, Inf. Softw. Technol..
Jan Kofron, Lucia Happe, Barbora Buhnova, 2013, Electron. Notes Theor. Comput. Sci..
Jan Kofron, Natasha Sharygina, Simone Rollini, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Jan Kofron, Pavel Jancík, J. Kofroň, 2017, Formal Aspects of Computing.
Jan Kofron, Frantisek Plasil, Pavel Parízek, 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.
Jan Kofron, Frantisek Plasil, George T. Heineman, 2011 .
Petr Hnetynka, Jan Kofron, Tomás Bures, 2016, 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA).
Steffen Becker, Michael Hauck, Jan Kofron, 2010, 2010 14th European Conference on Software Maintenance and Reengineering.
Jan Kofron, Frantisek Plasil, Pavel Jezek, 2006, Electron. Notes Theor. Comput. Sci..
Jan Kofron, Martin Mach, Frantisek Plasil, 2004 .
Jan Kofron, Ondrej Sery, Tomás Poch, 2008, 2008 32nd Annual IEEE Software Engineering Workshop.
Jan Kofron, Frantisek Plasil, 2010, WADT.
Jan Kofron, Frantisek Plasil, Ondrej Sery, 2011, Formal Aspects of Computing.
Jan Kofron, Grigory Fedyukovich, Natasha Sharygina, 2016, FASE.
Paolo Arcaini, Jan Kofron, Pavel Jezek, 2018, ABZ.
Jan Kofron, David Hauzar, 2014, SEFM.
Jan Kofron, Tomás Bures, Lubomír Bulej, 2022, Future Gener. Comput. Syst..
Ilias Gerostathopoulos, Petr Hnetynka, Jan Kofron, 2021, J. Syst. Softw..
Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, 2018 .