Leander Tentrup
发表
Bernd Finkbeiner,
Markus N. Rabe,
Peter Faymonville,
2015
.
Leander Tentrup,
Swen Jacobs,
Martin Zimmermann,
2018
.
Thibaud Michaud,
B. Finkbeiner,
V. Bruyère,
2022,
International Journal on Software Tools for Technology Transfer.
Leander Tentrup,
Leander Tentrup,
2019
.
B. Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2020
.
Markus N. Rabe,
Leander Tentrup,
2018
.
Bernd Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2020,
CAV.
B. Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2020
.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Bernd Finkbeiner,
César Sánchez,
Leander Tentrup,
2020,
CAV.
Markus N. Rabe,
H. Seidl,
B. Finkbeiner,
2015
.
B. Finkbeiner,
Leander Tentrup,
Christopher Hahn,
2019,
Acta Informatica.
Bernd Finkbeiner,
Christopher Hahn,
Leander Tentrup,
2018,
CAV.
Bernd Finkbeiner,
Markus N. Rabe,
Peter Faymonville,
2017,
TACAS.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Bernd Finkbeiner,
Leander Tentrup,
Marvin Stenger,
2019,
Acta Informatica.
Bernd Finkbeiner,
Peter Faymonville,
Leander Tentrup,
2017,
CAV.
Christopher Hahn,
Leander Tentrup,
Marvin Stenger,
2019,
TACAS.
Bernd Finkbeiner,
Hazem Torfah,
Maximilian Schwenger,
2019,
CAV.
Markus N. Rabe,
Leander Tentrup,
Leander Tentrup,
2019,
SAT.
Leander Tentrup,
Leander Tentrup,
2019,
J. Satisf. Boolean Model. Comput..