Laura Kovács
发表
Jens Knoop,
Laura Kovács,
Jakob Zwirchmayr,
2011,
Ershov Memorial Conference.
Laura Kovács,
Yuting Chen,
Simon Robillard,
2016,
Vampire@IJCAR.
Andrei Voronkov,
Laura Kovács,
Andrei Mantsivoda,
2013,
MICAI.
Laura Kovács,
Simon Robillard,
2015,
Vampire Workshop.
Laura Kovács,
Temur Kutsia,
2012,
J. Appl. Log..
Jens Knoop,
Laura Kovács,
Jakob Zwirchmayr,
2017,
J. Symb. Comput..
Armin Biere,
Andrei Voronkov,
Laura Kovács,
2014,
MICAI.
Laura Kovács,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Thomas A. Henzinger,
Andrei Voronkov,
Laura Kovács,
2010,
VMCAI.
Andrei Voronkov,
Laura Kovács,
Georg Moser,
2011,
CADE.
Andrei Voronkov,
Laura Kovács,
Krystof Hoder,
2010,
IJCAR.
Thomas A. Henzinger,
Laura Kovács,
Andrey Rybalchenko,
2010,
ICLP 2010.
Laura Kovács,
2009,
Ershov Memorial Conference.
Laura Kovács,
Natasha Sharygina,
Simone Rollini,
2013,
MICAI.
Armin Biere,
Andrei Voronkov,
Laura Kovács,
2014,
Vampire Workshop.
Andrei Voronkov,
Laura Kovács,
Krystof Hoder,
2011,
MICAI.
Jens Knoop,
Laura Kovács,
Jakob Zwirchmayr,
2011,
WCET 2011.
Andrei Voronkov,
Laura Kovács,
A. Voronkov,
2009,
CADE.
Laura Kovács,
Maximilian Jaroschek,
Andreas Humenberger,
2018,
VMCAI.
Andrei Voronkov,
Laura Kovács,
Evgenii Kotelnikov,
2018,
IJCAR.
Laura Kovács,
2014
.
Laura Kovács,
Bernhard Gleiss,
Martin Suda,
2017,
CADE.
Armin Biere,
Jens Knoop,
Laura Kovács,
2013,
WCET.
Andrei Voronkov,
Laura Kovács,
Evgenii Kotelnikov,
2015,
CICM.
Laura Kovács,
Temur Kutsia,
2013
.
Tetsuo Ida,
Pascal Schreck,
Laura Kovács,
2019,
Ann. Math. Artif. Intell..
Andrei Voronkov,
Laura Kovács,
Ashutosh Gupta,
2014,
ATVA.
Laura Kovács,
Ashutosh Gupta,
Bernhard Kragl,
2013,
LPAR.
Laura Kovács,
L. Kovács,
2008,
IJCAR.
Bengt Lennartson,
Laura Kovács,
Mohammad Reza Shoaei,
2014,
Haifa Verification Conference.
Laura Kovács,
2010,
Encyclopedia of Machine Learning.
Pavol Cerný,
Thomas A. Henzinger,
Arjun Radhakrishna,
2015,
ESOP.
Thomas A. Henzinger,
Laura Kovács,
Thibaud Hottelier,
2010,
LPAR.
Laura Kovács,
Ioan Dragan,
2014,
Ershov Memorial Conference.
Laura Kovács,
Tudor Jebelean,
T. Jebelean,
2005,
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).
Andrei Voronkov,
Laura Kovács,
2016,
Vampire.
Thomas A. Henzinger,
Laura Kovács,
Thibaud Hottelier,
2008,
LPAR.
Jens Knoop,
Laura Kovács,
Jakob Zwirchmayr,
2013,
RTNS '13.
Andrei Voronkov,
Laura Kovács,
2009,
FASE.
Laura Kovács,
Maximilian Jaroschek,
Andreas Humenberger,
2018,
CICM.
Laura Kovács,
Francesco Tiezzi,
Rosario Pugliese,
2011
.
Gilles Barthe,
Laura Kovács,
Matteo Maffei,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Laura Kovács,
Maximilian Jaroschek,
Andreas Humenberger,
2017,
ISSAC.
Andrei Voronkov,
Laura Kovács,
Ioan Dragan,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Laura Kovács,
L. Kovács,
2016,
IFM.
Laura Kovács,
Wolfgang Ahrendt,
Simon Robillard,
2015,
LPAR.
Thomas A. Henzinger,
Laura Kovács,
Andrey Rybalchenko,
2010,
LPAR.
Bruno Buchberger,
Laura Kovács,
Adel Bouhoula,
2015,
J. Symb. Comput..
Andrei Voronkov,
Laura Kovács,
A. Voronkov,
2009,
2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Armin Biere,
Jens Knoop,
Laura Kovács,
2013,
ATVA.
Koji Nakagawa,
Bruno Buchberger,
Laura Kovács,
2006,
J. Appl. Log..
Laura Kovács,
L. Kovács,
2008,
CSR.
Andrei Voronkov,
Laura Kovács,
A. Voronkov,
2013,
CAV.
Laura Kovács,
Tudor Jebelean,
Nikolaj Popov,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Andrei Voronkov,
Laura Kovács,
Andreas Holzer,
2012,
APLAS.
Laura Kovács,
2017,
CSL.
Levente Kovács,
Laura Kovács,
Béla Paláncz,
2012,
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Bengt Lennartson,
Koen Claessen,
Laura Kovács,
2017,
Haifa Verification Conference.
Andrei Voronkov,
Laura Kovács,
A. Voronkov,
2017,
LPAR.
Jan Gustafsson,
Martin Schoeberl,
Reinhard von Hanxleden,
2011,
WCET 2011.
Jens Knoop,
Laura Kovács,
Jakob Zwirchmayr,
2012,
LPAR.
Andrei Voronkov,
Laura Kovács,
Krystof Hoder,
2012,
POPL '12.
Armelle Bonenfant,
Hugues Cassé,
Jens Knoop,
2012,
RTNS '12.
Andrei Voronkov,
Laura Kovács,
Giles Reger,
2015,
CPP.
Laura Kovács,
L. Kovács,
2008,
TACAS.
Laura Kovács,
Bernhard Gleiss,
Simon Robillard,
2018,
LPAR.
Laura Kovács,
2011,
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Manuel Kauers,
Laura Kovács,
Maximilian Jaroschek,
2019,
Discrete & Computational Geometry.
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2019,
ATVA.
Laura Kovács,
Tudor Jebelean,
Nikolaj Popov,
2004,
ISoLA.
Laura Kovács,
2008
.
Andrei Voronkov,
Laura Kovács,
Martin Suda,
2016,
GCAI.
Andrei Voronkov,
Laura Kovács,
Simon Robillard,
2016,
POPL.
Andrei Voronkov,
Laura Kovács,
Krystof Hoder,
2011,
TACAS.
Laura Kovács,
Francesco Tiezzi,
Rosario Pugliese,
2013,
J. Log. Algebraic Methods Program..
Neil Immerman,
Laura Kovács,
Shmuel Sagiv,
2021,
CAV.
Joost-Pieter Katoen,
Ezio Bartocci,
Laura Kovács,
2021,
ESOP.
Andrei Voronkov,
Laura Kovács,
Petra Hozzová,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).