M. Leucker
发表
M. Leucker,
2001
.
Menno van Zaanen,
A. Finkel,
S. Haddad,
2021,
ICGI.
Daniel Thoma,
M. Leucker,
Malte Schmitz,
2018
.
A. Bauer,
C. Schallhart,
M. Leucker,
2007
.
A. Bauer,
C. Schallhart,
M. Leucker,
2007
.
Pascal Van Hentenryck,
Benjamin Kuipers,
Emilio Frazzoli,
2012,
International Conference on Automated Planning and Scheduling.
P. Rostalski,
Dirk Nowotka,
M. Leucker,
2021,
IEEE Access.
Daniel Thoma,
M. Leucker,
Malte Schmitz,
2022,
2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
S. Haddad,
B. Bollig,
M. Leucker,
2022,
GandALF.
Max J. Friese,
Daniel Thoma,
M. Leucker,
2022,
RTNS.
L. Brim,
M. Leucker,
Haverkort,
2006
.
A. Finkel,
S. Haddad,
B. Bollig,
2022,
International Journal on Software Tools for Technology Transfer.
Martin Leucker,
Stephan Tobies,
S. Tobies,
1998
.
B. Bollig,
M. Leucker,
D. Neider,
2022,
A Journey from Process Algebra via Timed Automata to Model Learning.
César Sánchez,
Torben Scheffel,
Malte Schmitz,
2020,
Software Quality Journal.
Thomas Noll,
Martin Leucker,
Markus Mohnen,
2000
.
A. Skou,
L. Mokrushin,
M. Leucker,
2007
.