P. Ganty
发表
Pierre Ganty,
Samir Genaim,
S. Genaim,
2013,
CAV.
J. Raskin,
P. Ganty,
Jean-François Raskin,
2007
.
P. Ganty,
E. Gutiérrez,
2018
.
P. Ganty,
N. Manini,
Francesco Ranzato,
2022,
ArXiv.
Ahmed Rezine,
P. Ganty,
2014
.
Pierre Ganty,
Michael Luttenberger,
Javier Esparza,
2010,
Inf. Process. Lett..
J. Esparza,
P. Ganty,
Pedro Valero,
2018
.
Pierre Ganty,
Radu Iosif,
Filip Konecný,
2012,
International Journal on Software Tools for Technology Transfer.
Giorgio Delzanno,
Pierre Ganty,
Jean-François Raskin,
2002
.
G. Delzanno,
P. Ganty,
2004
.
P. Ganty,
N. Manini,
Francesco Ranzato,
2022,
ArXiv.
Marco Guarnieri,
Pierre Ganty,
Pepe Vila,
2020
.
R. Majumdar,
P. Ganty,
B. Monmege,
2012,
Formal Methods in System Design.
R. Majumdar,
J. Esparza,
P. Ganty,
2016,
Formal Methods in System Design.
Pierre Ganty,
Francesco Ranzato,
Pedro Valero,
2019,
ACM Trans. Comput. Log..
P. Ganty,
Francesco Ranzato,
Nicolas Manini,
2022,
2204.11804.
Rupak Majumdar,
Benjamin Monmege,
Pierre Ganty,
2008,
Formal Methods Syst. Des..
Pierre Ganty,
Samir Genaim,
Pavithra Prabhakar,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Marco Guarnieri,
Pierre Ganty,
Pepe Vila,
2019,
PLDI.
Pierre Ganty,
Elena Gutiérrez,
P. Ganty,
2018,
FSTTCS.
Roberto Giacobazzi,
Pierre Ganty,
Filippo Bonchi,
2018,
LICS.
Pierre Ganty,
Elena Gutiérrez,
P. Ganty,
2017,
FCT.
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2008,
Fundam. Informaticae.
Patrick Cousot,
Pierre Ganty,
Jean-François Raskin,
2007,
SAS.
Pierre Ganty,
Laura Bozzelli,
L. Bozzelli,
2011,
RP.
Pierre Ganty,
Ahmed Rezine,
Ahmed Rezine,
2014,
LATA.
Pierre Ganty,
Pedro Valero,
Elena Gutiérrez,
2019,
MFCS.
Peter J. Stuckey,
Pierre Ganty,
Graeme Gange,
2017,
ATVA.
Pierre Ganty,
Jean-François Raskin,
Laurent Van Begin,
2006
.
Pierre Ganty,
Pedro Valero,
Boris Köpf,
2016,
ATVA.
Pierre Ganty,
Alessandro Armando,
Luca Compagna,
2003,
FME.
Giorgio Delzanno,
Cédric Meuter,
Pierre Ganty,
2007
.
Rupak Majumdar,
Pierre Ganty,
R. Majumdar,
2010,
TOPL.
Rupak Majumdar,
Pierre Ganty,
Andrey Rybalchenko,
2009,
POPL '09.
PIERRE GANTY,
RUPAK MAJUMDAR,
ANDREY RYBALCHENKO,
2009
.
Rupak Majumdar,
Pierre Ganty,
Javier Esparza,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Rupak Majumdar,
Pierre Ganty,
Javier Esparza,
2015,
Formal Methods Syst. Des..
Pierre Ganty,
Javier Esparza,
Tomás Poch,
2014,
TOPL.
Helmut Veith,
Natasha Sharygina,
R. Majumdar,
2013,
Lecture Notes in Computer Science.
Pierre Ganty,
Radu Iosif,
Radu Iosif,
2014,
FCT.
P. Ganty,
Pedro Valero,
Elena Guti'errez,
2021,
Fundam. Informaticae.
P. Ganty,
Jane Raskin,
Laurent Van Begin,
2006,
International Conference on Verification, Model Checking and Abstract Interpretation.
P. Ganty,
Nicolas Mazzocchi,
Kyveli Doveri,
2022,
CAV.
Pierre Ganty,
Francesco Ranzato,
Pedro Valero,
2019,
SAS.
Pierre Ganty,
Jean-François Raskin,
Nicolas Maquet,
2010,
Theor. Comput. Sci..
Pierre Ganty,
Javier Esparza,
Stefan Schwoon,
2005,
SAS.
Rupak Majumdar,
Pierre Ganty,
Javier Esparza,
2016,
FSTTCS.
Pierre Ganty,
Michael Luttenberger,
Javier Esparza,
2010,
ArXiv.
P. Cousot,
P. Ganty,
Jean-François Raskin,
2007,
SAS.
John P. Gallagher,
Bishoksan Kafle,
Pierre Ganty,
2018,
Theory and Practice of Logic Programming.
Giorgio Delzanno,
Pierre Ganty,
G. Delzanno,
2004,
TACAS.
P. Ganty,
Francesco Ranzato,
Francesco Parolini,
2021,
CONCUR.