P. Gastin
发表
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
P. Gastin,
P. Moro,
2007
.
V. Diekert,
P. Gastin,
2009
.
Paul Gastin,
P. Gastin,
1990
.
B. Bollig,
P. Gastin,
M. Zeitoun,
2011
.
S. Mukherjee,
P. Gastin,
B. Srivathsan,
2020,
FSTTCS.
P. Gastin,
Mathieu Lehaut,
2016
.
Paul Gastin,
Manfred Droste,
M. Droste,
2005,
Theor. Comput. Sci..
P. Gastin,
Encadrants Benedikt Bollig,
2022
.
P. Gastin,
S. Sarkar,
B. Adsul,
2022,
CONCUR.
P. Gastin,
Denis Oddoux,
2022
.
Madhavan Mukund,
P. Gastin,
Puneet Bhateja,
2006
.
P. Bouyer,
P. Gastin,
O. Sankur,
2022,
FORMATS.
P. Gastin,
B. Monmege,
2015,
Soft Computing.
P. Gastin,
S. Akshay,
B. Srivathsan,
2022,
CONCUR.
Paul Gastin,
Volker Diekert,
Manfred Kufleitner,
2008,
Int. J. Found. Comput. Sci..
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2012,
ATVA.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1998,
Fundam. Informaticae.
Paul Gastin,
Volker Diekert,
V. Diekert,
2000,
J. Comput. Syst. Sci..
Paul Gastin,
Antoine Petit,
Wieslaw Zielonka,
1994,
Theor. Comput. Sci..
Paul Gastin,
P. Gastin,
1990,
Semantics of Systems of Concurrent Processes.
Paul Gastin,
Stéphane Demri,
P. Gastin,
2012,
Modern Applications of Automata Theory.
Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun,
2006,
Formal Methods Syst. Des..
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2021,
J. Comput. Syst. Sci..
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2007,
FCT.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2017,
STACS.
Paul Gastin,
Marc Zeitoun,
Pierre Moro,
2004,
SPIN.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2003,
MFCS.
Paul Gastin,
Denis Oddoux,
P. Gastin,
2003,
MFCS.
Paul Gastin,
Madhavan Mukund,
Madhavan Mukund,
2002,
ICALP.
Paul Gastin,
Denis Oddoux,
P. Gastin,
2001,
CAV.
Paul Gastin,
Volker Diekert,
V. Diekert,
2004,
Inf. Comput..
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2014,
ATVA.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2010,
FSTTCS.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2009
.
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2019,
ArXiv.
Paul Gastin,
P. Gastin,
M. Hallgren,
2010,
Journal of sports science & medicine.
Paul Gastin,
Michael W. Mislove,
M. Mislove,
1999,
CSL.
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
pdf
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
CONCUR.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
ArXiv.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2015,
Theor. Comput. Sci..
Paul Gastin,
Manfred Droste,
Dietrich Kuske,
2000,
Theor. Comput. Sci..
Paul Gastin,
Manfred Droste,
M. Droste,
1996,
CONCUR.
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2014,
CONCUR.
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2012,
CONCUR.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2011,
J. Appl. Log..
Paul Gastin,
Dietrich Kuske,
D. Kuske,
2005,
Inf. Comput..
Paul Gastin,
Dan Teodosiu,
D. Teodosiu,
2002,
Theor. Comput. Sci..
Paul Gastin,
Volker Diekert,
V. Diekert,
1995,
ICALP.
Paul Gastin,
Antoine Petit,
Wieslaw Zielonka,
1991,
ICALP.
Paul Gastin,
P. Gastin,
1991,
STACS.
Paul Gastin,
Sayan Mukherjee,
B. Srivathsan,
2019,
CAV.
Paul Gastin,
Sayan Mukherjee,
B. Srivathsan,
2018,
CONCUR.
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2016,
CONCUR.
Paul Gastin,
Nathalie Sznajder,
P. Gastin,
2013,
TOCL.
Paul Gastin,
Nathalie Sznajder,
P. Gastin,
2012,
Inf. Process. Lett..
Paul Gastin,
Marc Zeitoun,
Benjamin Lerman,
2004,
FSTTCS.
Paul Gastin,
Marc Zeitoun,
Benjamin Lerman,
2004,
LATIN.
Paul Gastin,
Vrunda Dave,
Krishna Shankara Narayanan,
2018,
LICS.
S. Krishna,
P. Gastin,
S. Akshay,
2020,
TACAS.
Paul Gastin,
Michael W. Mislove,
M. Mislove,
2004,
Mathematical Structures in Computer Science.
P. Gastin,
S. Akshay,
B. Srivathsan,
2023,
CAV.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2007,
Formal Methods Syst. Des..
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2006,
FORMATS.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2006,
FORMATS.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1997,
STACS.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
1996,
STACS.
P. Gastin,
B. Bérard,
1997
.
P. Gastin,
A. Petit,
1997
.
P. Gastin,
S. Akshay,
B. Srivathsan,
2022,
CONCUR.
Paul Gastin,
S. Akshay,
Karthik R Prakash,
2021,
CAV.
Event clock message passing automata: a logical characterization and an emptiness checking algorithm
Benedikt Bollig,
Paul Gastin,
S. Akshay,
2013,
Formal Methods Syst. Des..
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2009,
Developments in Language Theory.
P. Gastin,
B. Monmege,
2012,
Theor. Comput. Sci..
Paul Gastin,
Benjamin Monmege,
P. Gastin,
2012
.
Paul Gastin,
K. Narayan Kumar,
Aiswarya Cyriac,
2014,
ATVA.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2012,
FoSSaCS.
Paul Gastin,
Pierre Moro,
P. Gastin,
2007,
SPIN.