Michael Barnett
发表
Christian Lengauer,
Michael Barnett,
1991,
ICPP.
Michael Barnett,
1990,
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990.
Wolfram Schulte,
Michael Barnett,
2003,
J. Syst. Softw..
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
Robert DeLine,
2005,
FMCO.
James A. Foster,
Michael Barnett,
Luke Sheneman,
1995,
Comput. Sci. Educ..
Michael Barnett,
David A. Naumann,
Mike Barnett,
2004,
MPC.
Judith Bishop,
Karin Koogan Breitman,
Diego Garbervetsky,
2013,
ICSE '13.
Christian Lengauer,
Michael Barnett,
1992,
CONPAR.
Robert A. van de Geijn,
Jerrell Watts,
Michael Barnett,
1994,
Proceedings of Supercomputing '94.
Christian Lengauer,
Michael Barnett,
Michael Barnett,
1991,
Research Directions in High-Level Parallel Programming Languages.
K. Rustan M. Leino,
Michael Barnett,
2010,
VSTTE.
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC/SIGSOFT FSE.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Robert A. van de Geijn,
Michael Barnett,
Richard J. Littlefield,
1993,
[1993] Proceedings Seventh International Parallel Processing Symposium.
Wolfram Schulte,
Michael Barnett,
Mike Barnett,
2001,
Informatica.
Patrick Cousot,
Radhia Cousot,
Manuel Fähndrich,
2012,
SPLASH '12.
Patrick Cousot,
Radhia Cousot,
Francesco Logozzo,
2012,
OOPSLA '12.
Michael Barnett,
2007
.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2003,
J. Object Technol..
Todd Mytkowicz,
Marija Selakovic,
Madan Musuvathi,
2017,
2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).
Michael Barnett,
Eric G. Strauss,
Meredith Houle,
2010
.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
Nikolai Tillmann,
Wolfram Schulte,
Michael Barnett,
2003,
Abstract State Machines.
Badrish Chandramouli,
Jonathan Goldstein,
Robert DeLine,
2015,
2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).
Christian Lengauer,
Michael Barnett,
Michael Barnett,
1993,
Functional Programming, Concurrency, Simulation and Automated Reasoning.
Qi Sun,
Wolfram Schulte,
Michael Barnett,
2006,
ETRICS.
Michael Barnett,
David A. Naumann,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Christian Lengauer,
Michael Barnett,
1992,
Parallel Process. Lett..
Daan Leijen,
Manuel Fähndrich,
Francesco Logozzo,
2012,
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).
Nikolai Tillmann,
Jonathan de Halleux,
Manuel Fähndrich,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Christian Lengauer,
Michael Barnett,
Duncan G. Hudson,
1991,
Distributed Computing.
Robert A. van de Geijn,
Michael Barnett,
Richard J. Littlefield,
1995,
J. Parallel Distributed Comput..
Gary T. Leavens,
Dimitra Giannakopoulou,
Jonathan Aldrich,
2007,
ESEC-FSE '07.
Anindya Banerjee,
Michael Barnett,
David A. Naumann,
2008,
VSTTE.
K. Rustan M. Leino,
Michael Barnett,
Mike Barnett,
2005,
PASTE '05.
Robert A. van de Geijn,
Michael Barnett,
Richard J. Littlefield,
1993,
PPSC.
Michael Barnett,
David A. Naumann,
2006,
Theor. Comput. Sci..
Phillip J. Windley,
Michael Barnett,
P. Windley,
1994,
Comput. Sci. Educ..
Manuel Fähndrich,
Francesco Logozzo,
Michael Barnett,
2010,
SAC '10.
Margus Veanes,
Egon Börger,
Wolfram Schulte,
2000,
Abstract State Machines.
Zvonimir Pavlinovic,
Diego Garbervetsky,
Todd Mytkowicz,
2017,
ESEC/SIGSOFT FSE.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
FATES.
Robert A. van de Geijn,
Jerrell Watts,
Michael Barnett,
1996,
J. Parallel Distributed Comput..