Mike Barnett

发表

Margus Veanes, Nikolai Tillmann, Wolfram Schulte, 2003 .
Margus Veanes, Nikolai Tillmann, Colin Campbell, 2003 .
Wolfram Schulte, Mike Barnett, Lev Borisovich Nachmanson, 2001 .
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2004 .
Leilani Battle, Badrish Chandramouli, Jonathan Goldstein, 2016, CHI.
Mike Barnett, Meredith Houle, Michael Barnett, 2008, ICLS.
Edmund M. Clarke, Betty H. C. Cheng, Mike Barnett, 2004 .
Badrish Chandramouli, Jim Hunter, Donald Kossmann, 2018, SIGMOD Conference.
Shuvendu K. Lahiri, Christian Bird, Mike Barnett, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
K. Rustan M. Leino, Peter Müller, Wolfram Schulte, 2011, Commun. ACM.
Nikolai Tillmann, Wolfram Schulte, Mike Barnett, 2003 .
Wolfram Schulte, Jim Davies, Mike Barnett, 2004, Lecture Notes in Computer Science.
Mike Barnett, Diego Garbervetsky, Manuel Fähndrich, 2007 .
Badrish Chandramouli, Jim Hunter, Donald Kossmann, 2018, Proc. VLDB Endow..
Mike Barnett, Anindya Banerjee, David A. Naumann, 2008 .
Badrish Chandramouli, John Platt, Robert DeLine, 2014 .
Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, 2015, IEEE Data Eng. Bull..
Qi Sun, Wolfram Schulte, Mike Barnett, 2006 .
Robert A. van de Geijn, Mike Barnett, R. Littlefield, 1993 .
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2003 .
Margus Veanes, Nikolai Tillmann, Wolfram Schulte, 2017 .
Mike Barnett, Caroline E. Parker, Alice Connors-Kellgren, 2016 .
Badrish Chandramouli, Jonathan Goldstein, John C. Platt, 2014, Proc. VLDB Endow..
Daniel McDuff, John C. Tang, Sean Andrist, 2019, Proc. ACM Hum. Comput. Interact..
Robert DeLine, Mike Barnett, Akash Lal, 2014 .
Sebastian Burckhardt, Ryan Newton, Badrish Chandramouli, 2020, Proc. VLDB Endow..
Stephen H. Edwards, Gary T. Leavens, Dimitra Giannakopoulou, 2005 .
Robert A. van de Geijn, Mike Barnett, D. G. Payne, 1991 .
Mike Barnett, Daniel Lupei, Todd Mytkowicz, 2017 .
Mike Barnett, 2012 .
Nikolai Tillmann, Wolfram Schulte, Mike Barnett, 2003 .
Badrish Chandramouli, Jonathan Goldstein, Steven M. Drucker, 2013, SIGMOD '13.
K. Rustan M. Leino, Robert DeLine, Wolfram Schulte, 2017 .
Wolfram Schulte, Mike Barnett, Mike Barnett, 2001 .
K. Rustan M. Leino, Wolfram Schulte, Mike Barnett, 2004, CASSIS.
Wolfram Schulte, Mike Barnett, David A. Naumann, 2006 .
Badrish Chandramouli, Jonathan Goldstein, Robert DeLine, 2014 .
Wolfram Schulte, Mike Barnett, David A. Naumann, 2004 .