Dietmar Berwanger
发表
Dietmar Berwanger,
Achim Blumensath,
2001,
Automata, Logics, and Infinite Games.
Dietmar Berwanger,
Anup Basil Mathew,
R. Ramanujam,
2016,
ArXiv.
Lukasz Kaiser,
Dietmar Berwanger,
Bernd Puchala,
2011,
FSTTCS.
Dietmar Berwanger,
2003,
Stud Logica.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2009,
TACAS.
Lukasz Kaiser,
Dietmar Berwanger,
Lukasz Kaiser,
2010,
J. Log. Lang. Inf..
Dietmar Berwanger,
Anup Basil Mathew,
Dietmar Berwanger,
2014,
Inf. Comput..
Stephan Kreutzer,
Dietmar Berwanger,
Anuj Dawar,
2012,
J. Comb. Theory, Ser. B.
Dietmar Berwanger,
R. Ramanujam,
2017,
ArXiv.
Dietmar Berwanger,
Erich Grädel,
2004,
Theory of Computing Systems.
Dietmar Berwanger,
Erich Grädel,
2005
.
Dietmar Berwanger,
Anup Basil Mathew,
2014,
SR.
Dietmar Berwanger,
Giacomo Lenzi,
2005,
STACS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2008,
CONCUR.
Dietmar Berwanger,
Laurent Doyen,
L. Doyen,
2008,
FSTTCS.
Dietmar Berwanger,
Anup Basil Mathew,
Marie van den Bogaard,
2015,
ATVA.
Lukasz Kaiser,
Dietmar Berwanger,
Simon Leßenich,
2012,
MFCS.
Dietmar Berwanger,
Erich Grädel,
E. Grädel,
2005,
LPAR.
Dietmar Berwanger,
Anup Basil Mathew,
Marie van den Bogaard,
2017,
Acta Informatica.
Dietmar Berwanger,
Marie van den Bogaard,
Dietmar Berwanger,
2015,
DLT.
Dietmar Berwanger,
Giacomo Lenzi,
Erich Grädel,
2006,
Theory of Computing Systems.
Lukasz Kaiser,
Dietmar Berwanger,
Simon Robert Leßenich,
2011
.
Dietmar Berwanger,
Marie van den Bogaard,
2015,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Dietmar Berwanger,
2010,
Inf. Comput..
Stephan Kreutzer,
Dietmar Berwanger,
Anuj Dawar,
2006,
STACS.
Stephan Kreutzer,
Dietmar Berwanger,
Erich Grädel,
2003,
LPAR.
Sophie Pinchinat,
Dietmar Berwanger,
S. Pinchinat,
2009,
ICLA.
Dietmar Berwanger,
Dietmar Berwanger,
2008,
LOFT.
Stephan Kreutzer,
Dietmar Berwanger,
Erich Grädel,
2003,
LPAR.
Dietmar Berwanger,
Giacomo Lenzi,
Erich Grädel,
2002,
CSL.
Lukasz Kaiser,
Dietmar Berwanger,
Roman Rabinovich,
2012,
Theor. Comput. Sci..
Dietmar Berwanger,
Erich Grädel,
2001,
LPAR.
Dietmar Berwanger,
Laurent Doyen,
L. Doyen,
2018,
Theory of Computing Systems.
Dietmar Berwanger,
Dietmar Berwanger,
2007,
STACS.
Olivier Serre,
Dietmar Berwanger,
2012,
Inf. Process. Lett..
Dietmar Berwanger,
Achim Blumensath,
2001,
Automata, Logics, and Infinite Games.
Olivier Serre,
Dietmar Berwanger,
2013,
Tech. Sci. Informatiques.
Dietmar Berwanger,
Marie van den Bogaard,
2015,
FSTTCS.
Dietmar Berwanger,
David Janin,
2006,
ICGT.