Stefan Mengel
发表
Hubie Chen,
Stefan Mengel,
Hubie Chen,
2015,
ArXiv.
Stefan Mengel,
Florent Capelli,
2018,
ArXiv.
Pierre Marquis,
Stefan Mengel,
Daniel Le Berre,
2020,
IJCAI.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
Theory of Computing Systems.
Jochen Harant,
Stefan Mengel,
2009,
Discret. Math..
Stefan Mengel,
Sebastian Skritek,
2019,
ICDT.
Stefan Mengel,
Guillaume Malod,
Hervé Fournier,
2012,
STACS.
Stefan Mengel,
2016,
SAT.
Stefan Mengel,
2013,
MFCS.
Arnaud Durand,
Stefan Mengel,
Arnaud Durand,
2013,
ICDT '13.
Hubie Chen,
Stefan Mengel,
Hubie Chen,
2016,
PODS.
Antoine Amarilli,
Stefan Mengel,
Pierre Bourhis,
2017,
ICALP.
Antoine Amarilli,
Stefan Mengel,
Matthias Niewerth,
2020,
SIGMOD Rec..
Stefan Mengel,
Romain Wallon,
S. Mengel,
2019,
SAT.
Stefan Mengel,
Florent Capelli,
Johann Brault-Baron,
2014,
ArXiv.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2015,
ISAAC.
Stefan Mengel,
Enrico Rukzio,
Philipp Agethen,
2016
.
Antoine Amarilli,
Stefan Mengel,
Pierre Bourhis,
2017,
ICDT.
Stefan Mengel,
Florent Capelli,
F. Capelli,
2019,
STACS.
Hubie Chen,
Stefan Mengel,
Hubie Chen,
2014,
ICDT.
Stefan Mengel,
Sebastian Skritek,
2020
.
Antoine Amarilli,
Stefan Mengel,
Matthias Niewerth,
2018,
PODS.
Stefan Mengel,
2013
.
Friedrich Slivovsky,
Stefan Mengel,
Simone Bova,
2014,
ArXiv.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
CSR.
Stefan Mengel,
2016,
ArXiv.
Stefan Mengel,
Florent Capelli,
Johann Brault-Baron,
2015,
STACS.
Arnaud Durand,
Stefan Mengel,
Florent Capelli,
2012,
STACS.
Stefan Mengel,
Michael Lampis,
Valia Mitsou,
2018,
SAT.
Friedrich Slivovsky,
Stefan Mengel,
Simone Bova,
2016,
IJCAI.
Stefan Mengel,
S. Mengel,
2016,
Discret. Appl. Math..
Stefan Mengel,
Alexis de Colnet,
2020,
IJCAI.
Antoine Amarilli,
Stefan Mengel,
Matthias Niewerth,
2019,
ICDT.
Stefan Mengel,
Christian Ikenmeyer,
2018,
Inf. Process. Lett..
Arnaud Durand,
Stefan Mengel,
Florent Capelli,
2015,
Theory of Computing Systems.
Pierre Marquis,
Stefan Mengel,
Daniel Le Berre,
2018,
IJCAI.
Stefan Mengel,
Sebastian Skritek,
2017,
ArXiv.
Hubie Chen,
Stefan Mengel,
Hubie Chen,
2015,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Friedrich Slivovsky,
Stefan Mengel,
Simone Bova,
2015,
SAT.
Arnaud Durand,
Stefan Mengel,
Arnaud Durand,
2011,
J. Comput. Syst. Sci..
Stefan Mengel,
Martin Manns,
Markus Mauer,
2016
.
Gernot Salzer,
Stefan Mengel,
Miki Hermann,
2016,
WALCOM.
Stefan Mengel,
Romain Wallon,
2020,
J. Artif. Intell. Res..
Stefan Mengel,
2011,
ICALP.
Stefan Mengel,
Guillaume Malod,
Hervé Fournier,
2013,
computational complexity.
Arnaud Durand,
Stefan Mengel,
2011,
ArXiv.
Arnaud Durand,
Stefan Mengel,
Florent Capelli,
2014,
SAT.
Arnaud Durand,
Stefan Mengel,
2013,
ICDT.
Stefan Mengel,
Alexis de Colnet,
2021,
ArXiv.
Friedrich Slivovsky,
Stefan Mengel,
2021,
SAT.
Stefan Mengel,
S. Mengel,
2021,
ArXiv.
Stefan Mengel,
Alexis de Colnet,
S. Mengel,
2021,
SAT.
Stefan Mengel,
Alexis de Colnet,
2021,
KR.
Karl Bringmann,
Stefan Mengel,
Nofar Carmeli,
2022,
ArXiv.
Antoine Amarilli,
Stefan Mengel,
Pierre Bourhis,
2017
.