Michael R. Lowry
发表
Michael R. Lowry,
1992
.
Michael R. Lowry,
1992,
AI Mag..
Michael R. Lowry,
David D. Lowry,
1995,
Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
Robert Glück,
Michael R. Lowry,
2005
.
Michael R. Lowry,
Peter Robinson,
Jeffrey Van Baalen,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Michael R. Lowry,
Daniel Dvorak,
M. Lowry,
1998,
IEEE Intell. Syst..
Michael R. Lowry,
1988,
AAAI.
Michael R. Lowry,
Arnaud Venet,
2010,
FoSER '10.
Michael R. Lowry,
Boris Katz,
Thomas O. Binford,
1983,
AAAI.
Michael R. Lowry,
Ian Underwood,
Mark E. Stickel,
1994,
CADE.
Michael R. Lowry,
Trevor Harmon,
2010,
FoSER '10.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
Michael R. Lowry,
M. Lowry,
1989,
Digest of Papers. COMPCON Spring 89. Thirty-Fourth IEEE Computer Society International Conference: Intellectual Leverage.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
2011 22nd IEEE International Symposium on Rapid System Prototyping.
Michael R. Lowry,
Robert C. Bolles,
Andrew P. Witkin,
1982,
AAAI.
Michael R. Lowry,
1992
.
Michael R. Lowry,
Michael R. Lowry,
1992,
AAAI.
Michael R. Lowry,
Grigore Rosu,
Thomas Pressburger,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Michael R. Lowry,
John Penix,
Klaus Havelund,
2001,
IEEE Trans. Software Eng..
Michael R. Lowry,
M. Boyd,
D. Kulkarni,
1998,
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Michael R. Lowry,
Jeffrey Van Baalen,
2004,
Automated Software Engineering.
Michael R. Lowry,
Ricardo G. Duran,
1989
.
Michael R. Lowry,
Gail E. Kaiser,
David M. Steier,
1991,
KBSE.
Michael R. Lowry,
Cyrille Artho,
Grigore Rosu,
2003,
Abstract State Machines.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
ISMIS.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2012,
NASA Formal Methods.
Michael R. Lowry,
M. Lowry,
1998
.
Michael R. Lowry,
Ian Underwood,
Andrew Philpot,
1994,
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.
Michael R. Lowry,
2003
.
Michael R. Lowry,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2014,
FormaliSE 2014.
Michael R. Lowry,
2010,
FoSER '10.
Michael R. Lowry,
Theodore A. Linden,
1992
.
Michael R. Lowry,
2001,
Proceedings Fifth IEEE International Symposium on Requirements Engineering.
Michael R. Lowry,
Raymond A. Paul,
Wei-Tek Tsai,
1998,
Computer.
Michael R. Lowry,
John Penix,
Johann Schumann,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Michael R. Lowry,
Corina S. Pasareanu,
David H. Bushnell,
2008,
ISSTA '08.
Michael R. Lowry,
Allan Miller,
1983,
Optics & Photonics.
Michael R. Lowry,
M. Lowry,
2013,
TACAS.
Michael R. Lowry,
John Penix,
Klaus Havelund,
1997,
ISMIS.
Michael R. Lowry,
1987,
IJCAI.
Michael R. Lowry,
Allan Miller,
1981,
Other Conferences.
Michael R. Lowry,
Christopher A. Welty,
Yves Ledru,
2004,
Automated Software Engineering.
Michael R. Lowry,
1987,
AAAI.
Michael R. Lowry,
Sarfraz Khurshid,
Koushik Sen,
2005,
Theor. Comput. Sci..
Michael R. Lowry,
Martin Schoeberl,
K. H. Kim,
2012,
IEEE Transactions on Industrial Informatics.
Michael R. Lowry,
M. Lowry,
1993,
ISMIS.
Michael R. Lowry,
Doron Drusinsky,
Corina S. Pasareanu,
2013,
Formal Methods Syst. Des..
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2013,
TACAS.
Michael R. Lowry,
Allan Miller,
1982
.
Michael R. Lowry,
David Barstow,
Richard M. Keller,
1992
.
Gabor Karsai,
Michael R. Lowry,
Corina S. Pasareanu,
2011,
ISSTA '11.
Michael R. Lowry,
Jeffrey Van Baalen,
M. Lowry,
1995,
Proceedings 1995 10th Knowledge-Based Software Engineering Conference.
Michael R. Lowry,
Silvano P. Colombano,
Wei A. Lin,
2011
.