Paul Gastin
发表
Paul Gastin,
Volker Diekert,
2008,
Logic and Automata.
Paul Gastin,
Antoine Petit,
1992,
MFCS.
Paul Gastin,
Denis Oddoux,
P. Gastin,
2003,
MFCS.
Paul Gastin,
Volker Diekert,
Manfred Kufleitner,
2008,
Int. J. Found. Comput. Sci..
Paul Gastin,
Denis Oddoux,
P. Gastin,
2001,
CAV.
Paul Gastin,
Manfred Droste,
2009
.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1991,
MFCS.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2021,
J. Comput. Syst. Sci..
Paul Gastin,
Volker Diekert,
2001,
LPAR.
Paul Gastin,
Volker Diekert,
2004,
Inf. Comput..
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
Paul Gastin,
Volker Diekert,
1999,
CSL.
Paul Gastin,
Brigitte Rozoy,
1993,
Theor. Comput. Sci..
Paul Gastin,
Antoine Petit,
Raphaël Meyer,
1998,
MFCS.
Paul Gastin,
Dietrich Kuske,
2007,
Fundam. Informaticae.
Paul Gastin,
Volker Diekert,
2002,
Formal and Natural Computing.
Paul Gastin,
Stéphane Demri,
P. Gastin,
2012,
Modern Applications of Automata Theory.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014,
TOCL.
Paul Gastin,
Benjamin Monmege,
2012,
CIAA.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
ArXiv.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1995,
Inf. Comput..
Paul Gastin,
2011
.
Paul Gastin,
Aiswarya Cyriac,
2014,
FSTTCS 2014.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2018,
Inf. Comput..
Paul Gastin,
Benjamin Monmege,
2018,
Soft Comput..
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.
Paul Gastin,
2019,
CAI.
Paul Gastin,
Dietrich Kuske,
2010,
Inf. Comput..
Paul Gastin,
Manfred Droste,
1997,
ICALP.
Paul Gastin,
Volker Diekert,
V. Diekert,
2004,
Inf. Comput..
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2014,
J. Appl. Log..
Paul Gastin,
Madhavan Mukund,
Madhavan Mukund,
2002,
ICALP.
Benedikt Bollig,
Paul Gastin,
Akshay Kumar,
2014,
FSTTCS.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Paul Gastin,
François Laroussinie,
2010,
CONCUR.
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2009,
Developments in Language Theory.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1997,
STACS.
Paul Gastin,
Antoine Petit,
Brigitte Rozoy,
1992,
Inf. Process. Lett..
Paul Gastin,
Manfred Droste,
Dietrich Kuske,
2000,
Theor. Comput. Sci..
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2010,
FSTTCS.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2007,
Formal Methods Syst. Des..
Paul Gastin,
Dan Teodosiu,
D. Teodosiu,
2002,
Theor. Comput. Sci..
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2017,
CONCUR.
Benedikt Bollig,
Paul Gastin,
Madhavan Mukund,
2014,
Fundam. Informaticae.
Paul Gastin,
Marc Zeitoun,
Pierre Moro,
2004,
SPIN.
C. Aiswarya,
Paul Gastin,
2020,
FSTTCS.
Paul Gastin,
Sayan Mukherjee,
B. Srivathsan,
2019,
CAV.
Paul Gastin,
Antoine Petit,
Wieslaw Zielonka,
1994,
Theor. Comput. Sci..
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Paul Gastin,
Fabrice Derepas,
David Plainfossé,
2001,
FME.
Paul Gastin,
Marie Fortin,
2016,
FoSSaCS.
Paul Gastin,
Amaldev Manuel,
R. Govind,
2019,
DLT.
Paul Gastin,
Gaétan Hains,
John Mullins,
2006
.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2010,
ICALP.
Paul Gastin,
Pierre Moro,
P. Gastin,
2007,
SPIN.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2013,
FoSSaCS.
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)
pdf
Paul Gastin,
Pascal Weil,
Bharat Adsul,
2020,
CONCUR.
Benedikt Bollig,
Paul Gastin,
Jana Schubert,
2014,
RP.
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,
Benjamin Monmege,
2012,
ATVA.
Paul Gastin,
Volker Diekert,
V. Diekert,
1995,
ICALP.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014,
CSL-LICS.
Paul Gastin,
Axel Legay,
Manfred Droste,
2014
.
Paul Gastin,
Manfred Droste,
M. Droste,
2005,
Theor. Comput. Sci..
Paul Gastin,
Michael W. Mislove,
2002,
Theor. Comput. Sci..
Paul Gastin,
Thomas Chatain,
Nathalie Sznajder,
2009,
SOFSEM.
Paul Gastin,
Volker Diekert,
1998,
Acta Informatica.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2011,
J. Appl. Log..
Paul Gastin,
Sayan Mukherjee,
B. Srivathsan,
2018,
CONCUR.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2007,
FCT.
Paul Gastin,
Fabrice Derepas,
2001,
SPIN '01.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
C. Aiswarya,
Paul Gastin,
Prakash Saivasan,
2016,
ArXiv.
Paul Gastin,
Michael W. Mislove,
M. Mislove,
2004,
Mathematical Structures in Computer Science.
Paul Gastin,
Vincent Jugé,
Shankara Narayanan Krishna,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
1996,
STACS.
Paul Gastin,
Arkadev Chattopadhyay,
2019,
FSTTCS.
Paul Gastin,
François Laroussinie,
2010
.
Paul Gastin,
Dietrich Kuske,
D. Kuske,
2005,
Inf. Comput..
Paul Gastin,
Antoine Petit,
Wieslaw Zielonka,
1991,
ICALP.
Paul Gastin,
Marc Zeitoun,
Benjamin Lerman,
2004,
FSTTCS.
Paul Gastin,
Luc Dartois,
Shankara Narayanan Krishna,
2021,
ArXiv.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2003,
MFCS.
Paul Gastin,
Volker Diekert,
V. Diekert,
2000,
J. Comput. Syst. Sci..
Paul Gastin,
Manfred Droste,
1999,
Inf. Comput..
Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun,
2006,
FSTTCS.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2006,
FORMATS.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2016,
CONCUR.
Paul Gastin,
Serge Bauget,
1995,
MFCS.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1995,
Developments in Language Theory.
Paul Gastin,
Vincent Villain,
Joffroy Beauquier,
1990,
WDAG.
Paul Gastin,
Volker Diekert,
2004,
LATIN.
Paul Gastin,
Madhavan Mukund,
Puneet Bhateja,
2006,
ATVA.
Paul Gastin,
Dietrich Kuske,
2003,
CONCUR.
Paul Gastin,
Nathalie Sznajder,
P. Gastin,
2012,
Inf. Process. Lett..
Paul Gastin,
Benjamin Monmege,
P. Gastin,
2012
.
Paul Gastin,
P. Gastin,
1991,
STACS.
Christel Baier,
Kim G. Larsen,
Paul Gastin,
2010,
Quantitative Models: Expressiveness and Analysis.
Paul Gastin,
Manfred Droste,
2007,
Theory of Computing Systems.
Paul Gastin,
Emmanuel Filiot,
Gaetan Dou'eneau-Tabot,
2020,
MFCS.
Paul Gastin,
Vincent Villain,
1993,
Parallel Process. Lett..
Paul Gastin,
Michael W. Mislove,
M. Mislove,
1999,
CSL.
Paul Gastin,
Manfred Droste,
2002,
J. Autom. Lang. Comb..
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2019,
ArXiv.
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2009
.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014
.
Benedikt Bollig,
Paul Gastin,
Madhavan Mukund,
2008,
CONCUR.
Paul Gastin,
P. Gastin,
1990,
Semantics of Systems of Concurrent Processes.
Paul Gastin,
Michaël Rusinowitch,
Gaétan Hains,
2006,
J. Autom. Lang. Comb..
Paul Gastin,
Shankara Narayanan Krishna,
2018,
ArXiv.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2012,
FoSSaCS.
Paul Gastin,
Antoine Petit,
1995,
The Book of Traces.
Paul Gastin,
Vrunda Dave,
Krishna Shankara Narayanan,
2018,
LICS.
Paul Gastin,
Jan Rutten,
M. Nivat,
1995
.
Paul Gastin,
Manfred Droste,
2019,
MFCS.
Paul Gastin,
Antoine Petit,
Béatrice Bérard,
2006,
FORMATS.
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2012,
CONCUR.
Paul Gastin,
Antoine Petit,
1992,
Advances in Petri Nets: The DEMON Project.
Paul Gastin,
Volker Diekert,
Antoine Petit,
1998,
Fundam. Informaticae.
Paul Gastin,
Paul Gastin,
1990,
Theoretical Computer Science.
Paul Gastin,
Manfred Droste,
M. Droste,
1996,
CONCUR.
Benedikt Bollig,
Paul Gastin,
S. Akshay,
2007,
FSTTCS.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2017,
STACS.
Paul Gastin,
S. Akshay,
S Krishna,
2020,
TACAS.
Paul Gastin,
Antoine Petit,
1992,
ICALP.
C. Aiswarya,
Paul Gastin,
2014,
FSTTCS.
Paul Gastin,
Nathalie Sznajder,
Marc Zeitoun,
2006,
Formal Methods Syst. Des..
Paul Gastin,
Nathalie Sznajder,
P. Gastin,
2013,
TOCL.
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2014,
CONCUR.
Paul Gastin,
Volker Diekert,
2006,
Theor. Comput. Sci..
Paul Gastin,
Madhavan Mukund,
K. Narayan Kumar,
2015,
Theor. Comput. Sci..
C. Aiswarya,
Paul Gastin,
K. Narayan Kumar,
2014,
ATVA.
Paul Gastin,
Marc Zeitoun,
Benjamin Lerman,
2004,
LATIN.
Paul Gastin,
Volker Diekert,
2002,
J. Comput. Syst. Sci..
Paul Gastin,
Shankara Narayanan Krishna,
S. Akshay,
2016,
CONCUR.
Paul Gastin,
Pascal Weil,
Bharat Adsul,
2021,
ArXiv.
Paul Gastin,
Shankara Narayanan Krishna,
Vrunda Dave,
2022,
Inf. Comput..
Paul Gastin,
S. Akshay,
Karthik R Prakash,
2021,
CAV.
Paul Gastin,
Amaldev Manuel,
R. Govind,
2021,
Fundam. Informaticae.
Paul Gastin,
K. Narayan Kumar,
Aiswarya Cyriac,
2014,
ATVA.
Paul Gastin,
P. Gastin,
1990
.
Paul Gastin,
P. Gastin,
M. Hallgren,
2010,
Journal of sports science & medicine.