Benedikt Bollig
发表
Benedikt Bollig,
Martin Leucker,
Michael Weber,
2001,
TACAS.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2021,
J. Comput. Syst. Sci..
Benedikt Bollig,
Peter Habermehl,
Manuela-Lidia Grindei,
2009,
FoSSaCS.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
Benedikt Bollig,
Lina Ye,
Daniel Neider,
2020,
ArXiv.
Benedikt Bollig,
B. Bollig,
2015
.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014,
TOCL.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2018,
ArXiv.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2018,
Inf. 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.
Benedikt Bollig,
Martin Leucker,
Normann Decker,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Benedikt Bollig,
Philipp Lucas,
Martin Leucker,
2002,
LPAR.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2014,
J. Appl. Log..
Benedikt Bollig,
Paul Gastin,
Akshay Kumar,
2014,
FSTTCS.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Christel Baier,
Benedikt Bollig,
Frank Ciesinski,
2004,
IFIP TCS.
Benedikt Bollig,
Dietrich Kuske,
Roy Mennicke,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2009,
Developments in Language Theory.
Benedikt Bollig,
Martin Leucker,
M. Leucker,
2004,
Validation of Stochastic Systems.
Benedikt Bollig,
Dietrich Kuske,
Ingmar Meinecke,
2010,
Log. Methods Comput. Sci..
Benedikt Bollig,
B. Bollig,
2014,
CSL-LICS.
Benedikt Bollig,
Loïc Hélouët,
2010,
CSR.
Benedikt Bollig,
Paul Gastin,
Madhavan Mukund,
2014,
Fundam. Informaticae.
Benedikt Bollig,
2016
.
Benedikt Bollig,
Matthias Függer,
Patricia Bouyer,
2020,
GandALF.
Benedikt Bollig,
2005,
FCT.
Benedikt Bollig,
2015,
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).
Benedikt Bollig,
Arnaud Sangnier,
Karin Quaas,
2017,
CONCUR.
Benedikt Bollig,
Serge Haddad,
Benoît Barbot,
2013
.
Benedikt Bollig,
Dietrich Kuske,
D. Kuske,
2011,
J. Appl. Log..
Benedikt Bollig,
Benjamin Monmege,
Martin Leucker,
2013,
Developments in Language Theory.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2010,
ICALP.
Benedikt Bollig,
Arnaud Sangnier,
Karin Quaas,
2019,
Log. Methods Comput. Sci..
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2013,
FoSSaCS.
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,
2015,
CIAA.
Benedikt Bollig,
Benjamin Monmege,
Martin Leucker,
2014,
Log. Methods Comput. Sci..
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2010,
CAV.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2012,
ATVA.
Benedikt Bollig,
Brandon Bennett,
Warren Del-Pinto,
2017,
TIME.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014,
CSL-LICS.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2008,
Comput. Informatics.
Benedikt Bollig,
B. Bollig,
2005
.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2011,
J. Appl. Log..
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2013
.
Benedikt Bollig,
Martin Leucker,
2004,
CONCUR.
Benedikt Bollig,
Martin Leucker,
2000
.
Benedikt Bollig,
2006
.
Benedikt Bollig,
Alain Finkel,
Amrita Suresh,
2021,
CONCUR.
Benedikt Bollig,
Arnaud Sangnier,
Karin Quaas,
2016,
ArXiv.
Benedikt Bollig,
Martin Leucker,
M. Leucker,
2001,
Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.
Benedikt Bollig,
Martin Leucker,
M. Leucker,
2006,
Theor. Comput. Sci..
Benedikt Bollig,
Martin Leucker,
M. Leucker,
2005,
FORTE.
Benedikt Bollig,
Paul Gastin,
Serge Haddad,
2009
.
Benedikt Bollig,
Volker Stolz,
Carsten Kern,
2006,
TACAS.
Benedikt Bollig,
B. Bollig,
2008,
Log. Methods Comput. Sci..
Benedikt Bollig,
Normann Decker,
Martin Leucker,
2020,
ArXiv.
Benedikt Bollig,
Nathalie Sznajder,
Mathieu Lehaut,
2018,
ATVA.
Benedikt Bollig,
Mohamed Faouzi Atig,
Peter Habermehl,
2008,
Developments in Language Theory.
Benedikt Bollig,
Arnaud Sangnier,
Fedor Ryabinin,
2021,
CSL.
Benedikt Bollig,
Paul Gastin,
B. Bollig,
2019,
ArXiv.
Benedikt Bollig,
Paul Gastin,
Benjamin Monmege,
2014
.
Benedikt Bollig,
Paul Gastin,
Madhavan Mukund,
2008,
CONCUR.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2010,
IEEE Transactions on Software Engineering.
Benedikt Bollig,
Peter Habermehl,
Manuela-Lidia Grindei,
2018,
Formal Methods Syst. Des..
Benedikt Bollig,
Nathalie Sznajder,
Béatrice Bérard,
2019,
FoSSaCS.
Benedikt Bollig,
Mohamed Faouzi Atig,
Peter Habermehl,
2017,
Int. J. Found. Comput. Sci..
Benedikt Bollig,
Martin Leucker,
Michael Weber,
2002,
SPIN.
C. Aiswarya,
Benedikt Bollig,
Paul Gastin,
2012,
FoSSaCS.
Benedikt Bollig,
B. Bollig,
2016,
FSTTCS.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2008,
CONCUR.
Benedikt Bollig,
2016,
ArXiv.
Benedikt Bollig,
Loïc Hélouët,
Stefan Haar,
2010
.
Benedikt Bollig,
Paul Gastin,
S. Akshay,
2007,
FSTTCS.
Benedikt Bollig,
Martin Leucker,
M. Leucker,
2003,
ASIAN.
Benedikt Bollig,
Paul Gastin,
Marie Fortin,
2017,
STACS.
Benedikt Bollig,
Thomas Noll,
Martin Leucker,
2002,
FoSSaCS.
Thomas Schwentick,
C. Aiswarya,
Benedikt Bollig,
2013,
LATA.
Benedikt Bollig,
Joost-Pieter Katoen,
Martin Leucker,
2007,
TACAS.
Benedikt Bollig,
Ingmar Meinecke,
2007,
LFCS.
Benedikt Bollig,
2011,
CONCUR.
Benedikt Bollig,
Dietrich Kuske,
Ingmar Meinecke,
2007,
FSTTCS.
Benedikt Bollig,
Patricia Bouyer,
Fabian Reiter,
2019,
FoSSaCS.
Benedikt Bollig,
Dietrich Kuske,
D. Kuske,
2008,
Inf. Comput..
Benedikt Bollig,
Alain Finkel,
Étienne Lozes,
2021,
CONCUR.
Benedikt Bollig,
Alain Finkel,
Serge Haddad,
2021,
ATVA.
Benedikt Bollig,
Arnaud Sangnier,
Olivier Stietel,
2021,
FSTTCS.
Benedikt Bollig,
Dietrich Kuske,
D. Kuske,
2006
.