Peter Müller
发表
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
2005
.
Peter Müller,
Hagen Völzer,
Cédric Favre,
2015
.
Peter Müller,
Arsenii Rudich,
Ádám Darvas,
2012
.
Gary T. Leavens,
Erik Poll,
Peter Müller,
2006,
ECOOP Workshops.
Peter Müller,
Andreas Gross,
Matthias Philippin,
2018
.
Peter Müller,
Yuan Ji,
Wentian Guo,
2019,
JCO precision oncology.
Peter Müller,
Yang Ni,
Yuan Ji,
2016,
Springer Proceedings in Mathematics & Statistics.
Alexander Pretschner,
Peter Müller,
Patrick Stöckle,
2019
.
Peter Müller,
Peter Müller,
Fabian Bannwart,
2004
.
Welf-Guntram Drossel,
Wolfgang Graf,
Peter Müller,
2018,
Computer Modeling in Engineering & Sciences.
Peter Müller,
Arnd Poetzsch-Heffter,
Jörg Meyer,
2000
.
Peter Müller,
Alexander J. Summers,
Vytautas Astrauskas,
2019,
Proc. ACM Program. Lang..
Peter Müller,
Markus Dreger,
Stefan Lohrum,
1998,
The MeDoc Approach.
Peter Müller,
Michael Lavine,
Catherine A. Calder,
2003
.
Peter Müller,
2002
.
Peter Müller,
2002
.
Peter Müller,
Alexandra Bugariu,
Peter Müller,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Peter Müller,
2001
.
Peter Müller,
Paul Damien,
1998
.
K. Rustan M. Leino,
Peter Müller,
Alexander J. Summers,
2013,
VMCAI 2013.
K. Rustan M. Leino,
Peter Müller,
K. Leino,
2016
.
Peter Müller,
Arnd Poetzsch-Heffter,
Jörg Meyer,
1997
.
Peter Müller,
Alexander J. Summers,
Arshavir Ter-Gabrielyan,
2019,
Proc. ACM Program. Lang..
Peter Müller,
Samuel Hitz,
Marco Eilers,
2020,
ACM Trans. Program. Lang. Syst..
Peter Müller,
Philip Schmidt,
Marita Krause,
2017
.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2017
.
Peter Müller,
Peter Knott,
Michael Kohler,
2019,
2019 20th International Radar Symposium (IRS).
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heter,
2001
.
Peter Müller,
Hermann Lehner,
Andreas Kägi,
2009
.
Peter Müller,
Nathalie Kellenberger,
2005
.
Marina Vannucci,
Peter Müller,
Elizabeth Garrett-Mayer,
2006
.
Peter Müller,
Dietmar Hildenbrand,
Jens Huthmann,
2010,
2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
Peter Müller,
Alexander J. Summers,
Ioannis T. Kassios,
2012
.
Peter Müller,
Ioannis T. Kassios,
Peter Müller,
2010
.
Peter Müller,
Fernando A. Quintana,
2004
.
Peter Müller,
Bertrand Meyer,
Martin Nordio,
2008
.
Peter Müller,
Riten Mitra,
Arinjita Bhattacharyya,
2020,
Statistics in medicine.
Jan Smans,
K. Rustan M. Leino,
Peter Müller,
2010
.
Bradley P. Carlin,
Peter Müller,
J. Jack Lee,
2010
.
Peter Müller,
Alexander J. Summers,
Vytautas Astrauskas,
2019,
OOPSLA 2019.
Peter Müller,
Carlos Daniel Paulino,
M. Antónia Amaral Turkman,
2019
.
Peter Müller,
Ioannis T. Kassios,
2011
.
Peter Müller,
2002
.