Michael Barnett
Publication Activity (10 Years)
Years Active: 1990-2022
Publications (10 Years): 6
Publications (10 Years): 6
Publications
- Robert DeLine, Danyel Fisher, Badrish Chandramouli, Jonathan Goldstein, Michael Barnett, James F. Terwilliger, John Wernsing
- Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
- Michael Barnett, K. Rustan M. Leino
- Manuel Fähndrich, Michael Barnett, Francesco Logozzo
- Anindya Banerjee, Michael Barnett, David A. Naumann
- Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
- David A. Naumann, Michael Barnett
- Michael Barnett, K. Rustan M. Leino
- Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
- Michael Barnett, David A. Naumann
- Michael Barnett, Wolfram Schulte, Nikolai Tillmann
- Michael Barnett, Wolfram Schulte
- Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
- Michael Barnett, Wolfram Schulte
- Michael Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts
- James A. Foster, Michael Barnett, Karen Van Houten, Luke Sheneman
- Michael Barnett, Christian Lengauer
- Michael Barnett, Christian Lengauer
- Michael Barnett, Christian Lengauer
- Christian Lengauer, Michael Barnett, Duncan G. Hudson III
- Michael Barnett