Stefan Kiefer
发表
Tomás Brázdil,
Stefan Kiefer,
Antonín Kucera,
2010,
ICALP.
James Worrell,
Stefan Kiefer,
Petr Jancar,
2012,
FSTTCS.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
CONCUR.
James Worrell,
Stefan Kiefer,
Mahsa Shirmohammadi,
2017,
SODA.
Stefan Kiefer,
Qiyi Tang,
S. Kiefer,
2020,
FSTTCS.
A. Prasad Sistla,
Stefan Kiefer,
A. P. Sistla,
2015,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
James Worrell,
Stefan Kiefer,
Petr Jancar,
2014,
Inf. Comput..
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2008,
STACS.
Stefan Kiefer,
Björn Wachter,
2014,
ICALP.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2007,
STACS.
Stefan Kiefer,
2020,
ArXiv.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2007,
Developments in Language Theory.
Christoph Haase,
Stefan Kiefer,
C. Haase,
2014,
ICALP.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2008,
ICALP.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2008,
IFIP TCS.
Petr Novotný,
Tomás Brázdil,
Stefan Kiefer,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Markus Lohrey,
Christoph Haase,
Stefan Kiefer,
2016,
ArXiv.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
ArXiv.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2012,
CAV.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2009,
FICS.
Javier Esparza,
Stefan Kiefer,
Maximilian Weininger,
2020
.
Stefan Kiefer,
Oscar Darwin,
S. Kiefer,
2020,
FSTTCS.
Michael Luttenberger,
Javier Esparza,
Tomás Brázdil,
2010,
ICALP.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2011,
Theor. Comput. Sci..
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2012,
Formal Aspects of Computing.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
CAV.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2019,
ICALP.
Stefan Kiefer,
Oscar Darwin,
2020,
FSTTCS.
Michael Luttenberger,
Javier Esparza,
Tomás Brázdil,
2010,
Inf. Comput..
Stefan Kiefer,
Christoph Haase,
Georgina Bumpus,
2020,
ICALP.
Markus Lohrey,
Christoph Haase,
Stefan Kiefer,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2011,
FoSSaCS.
Pierre Ganty,
Michael Luttenberger,
Javier Esparza,
2010,
Inf. Process. Lett..
Radu Grigore,
Stefan Kiefer,
2018,
CONCUR.
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2013,
Formal Methods Syst. Des..
Andrzej S. Murawski,
Michael Benedikt,
Stefan Kiefer,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ICALP.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
ICALP.
Stefan Kiefer,
Stefan Jaax,
2020,
MFCS.
Stefan Kiefer,
Dominik Wojtczak,
2011,
TACAS.
James Worrell,
Stefan Kiefer,
Petr Jancar,
2018,
Log. Methods Comput. Sci..
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2010,
SIAM J. Comput..
Stefan Kiefer,
2003
.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2008,
Theor. Comput. Sci..
James Worrell,
Stefan Kiefer,
Mahsa Shirmohammadi,
2017,
SIAM J. Appl. Algebra Geom..
Joël Ouaknine,
James Worrell,
Andrzej S. Murawski,
2013,
Log. Methods Comput. Sci..
Stefan Kiefer,
Mahsa Shirmohammadi,
Nathanaël Fijalkow,
2016,
FoSSaCS.
Javier Esparza,
Stefan Kiefer,
Andreas Gaiser,
2012,
CAV.
Stefan Kiefer,
Taolue Chen,
Taolue Chen,
2014,
CSL-LICS.
Stefan Kiefer,
Cas Widdershoven,
2019,
MFCS.
Andrzej S. Murawski,
Stefan Kiefer,
Dmitry Chistikov,
2020,
Log. Methods Comput. Sci..
Tomás Brázdil,
Stefan Kiefer,
Antonín Kucera,
2014,
JACM.
Stefan Kiefer,
Corto Mascle,
S. Kiefer,
2018,
STACS.
Javier Esparza,
Tomás Brázdil,
Stefan Kiefer,
2009,
FSTTCS.
Andrzej S. Murawski,
Michael Benedikt,
Stefan Kiefer,
2012,
ArXiv.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2007,
STOC '07.
Tomás Brázdil,
Stefan Kiefer,
S. Kiefer,
2011,
STACS.
Stefan Kiefer,
Stefan Jaax,
2019,
ArXiv.
Javier Esparza,
Stefan Kiefer,
Andreas Gaiser,
2010,
STACS.
Nathanael Fijalkow,
Stefan Kiefer,
Mahsa Shirmohammadi,
2020,
Log. Methods Comput. Sci..
Radu Grigore,
Stefan Kiefer,
2015,
CAV.
Stefan Kiefer,
S. Kiefer,
2018,
ICALP.
Joël Ouaknine,
James Worrell,
Lijun Zhang,
2011,
ICALP.
Javier Esparza,
Stefan Kiefer,
Andreas Gaiser,
2013,
Inf. Process. Lett..
Pierre Ganty,
Michael Luttenberger,
Javier Esparza,
2010,
ArXiv.
Christel Baier,
James Worrell,
Joachim Klein,
2016,
CAV.
Javier Esparza,
Tomás Brázdil,
Stefan Kiefer,
2013,
Formal Methods Syst. Des..
Joël Ouaknine,
James Worrell,
Radu Grigore,
2015,
ICALP.
Javier Esparza,
Stefan Kiefer,
Andreas Gaiser,
2010,
ACCA.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Helmut Seidl,
Javier Esparza,
Stefan Kiefer,
2008,
ICALP.
Javier Esparza,
Stefan Kiefer,
Stefan Schwoon,
2006,
J. Satisf. Boolean Model. Comput..
Gerhard Knecht,
Stefan Kiefer,
Hubert Lamm,
1990
.
Markus Lohrey,
Christoph Haase,
Stefan Kiefer,
2017,
MFCS.
Christoph Haase,
Stefan Kiefer,
C. Haase,
2015,
Inf. Process. Lett..
Jan Kretínský,
Javier Esparza,
Stefan Kiefer,
2020,
ArXiv.
Jirí Srba,
Stefan Kiefer,
Stefan Schwoon,
2009,
FoSSaCS.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stefan Kiefer,
Taolue Chen,
Klaus Dräger,
2012,
MFCS.
James Worrell,
Stefan Kiefer,
Ines Marusic,
2015,
FoSSaCS.
James Worrell,
Stefan Kiefer,
Mahsa Shirmohammadi,
2016,
ICALP.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2010,
JACM.
Stefan Kiefer,
Abteilung Sichere,
2005
.
Tomás Brázdil,
Stefan Kiefer,
Antonín Kucera,
2011,
CAV.
Joost-Pieter Katoen,
Petr Novotný,
Tomás Brázdil,
2014,
CSL-LICS.
Stefan Kiefer,
Corto Mascle,
S. Kiefer,
2018,
SIAM J. Discret. Math..
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
pdf
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ArXiv.
Stefan Kiefer,
Ines Marusic,
James Worrell,
2014
.
Tomás Brázdil,
Stefan Kiefer,
Antonín Kucera,
2015,
J. Comput. Syst. Sci..
Stefan Kiefer,
Anthony Widjaja Lin,
Rémi Bonnet,
2014,
FoSSaCS.
Stefan Kiefer,
2013,
Inf. Process. Lett..
Lower Bounds on Unambiguous Automata Complementation and Separation via Communication Complexity
pdf
Stefan Kiefer,
Mika Göös,
2021,
ArXiv.
Stefan Kiefer,
Qiyi Tang,
S. Kiefer,
2021,
FSTTCS.
Stefan Kiefer,
Cas Widdershoven,
2021,
DCFS.
Stefan Kiefer,
Qiyi Tang,
2021,
FSTTCS.
Stefan Kiefer,
Emil Indzhev,
2021,
ArXiv.
Stefan Kiefer,
Pavel Semukhin,
Cas Widdershoven,
2021,
CONCUR.
Radu Grigore,
Stefan Kiefer,
2021,
J. Comput. Syst. Sci..
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2021,
CONCUR.
Michael Luttenberger,
Javier Esparza,
Stefan Kiefer,
2008
.
Christel Baier,
James Worrell,
Joachim Klein,
2016
.