Edit Profile (opens in new tab) Barnett, Mike Compute Distance To: Compute Author ID: barnett.mike Published as: Barnett, Mike Documents Indexed: 8 Publications since 1982 Co-Authors: 6 Co-Authors with 5 Joint Publications 200 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Davis, R. Thomas 3 Rakich, John V. 3 Schulte, Wolfram 2 Naumann, David A. 1 Börger, Egon 1 Gurevich, Yuri 1 Tillmann, Nikolai 1 Veanes, Margus Serials 2 Computers and Fluids 1 Journal of Computational Physics 1 Theoretical Computer Science 1 Informatica (Ljubljana) Fields 5 Computer science (68-XX) 3 Fluid mechanics (76-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 22 times in 14 Documents Cited by ▼ Year ▼ Friends need a bit more: Maintaining invariants over shared state. Zbl 1106.68338Barnett, Mike; Naumann, David A. 11 2004 The calculation of supersonic viscous flows using the parabolized Navier- Stokes equations. Zbl 0599.76077Davis, R. T.; Barnett, M.; Rakich, J. V. 6 1986 Towards imperative modules: reasoning about invariants and sharing of mutable state. Zbl 1118.68088Naumann, David A.; Barnett, Mike 3 2006 Using AsmL for runtime verification. Zbl 1021.68521Barnett, Mike; Schulte, Wolfram; Tillmann, Nikolai 1 2003 Implicit boundary conditions for the solution of the parabolized Navier- Stokes equations for supersonic flows. Zbl 0494.76037Barnett, M.; Davis, R. T.; Rakich, J. V. 1 1982 Towards imperative modules: reasoning about invariants and sharing of mutable state. Zbl 1118.68088Naumann, David A.; Barnett, Mike 3 2006 Friends need a bit more: Maintaining invariants over shared state. Zbl 1106.68338Barnett, Mike; Naumann, David A. 11 2004 Using AsmL for runtime verification. Zbl 1021.68521Barnett, Mike; Schulte, Wolfram; Tillmann, Nikolai 1 2003 The calculation of supersonic viscous flows using the parabolized Navier- Stokes equations. Zbl 0599.76077Davis, R. T.; Barnett, M.; Rakich, J. V. 6 1986 Implicit boundary conditions for the solution of the parabolized Navier- Stokes equations for supersonic flows. Zbl 0494.76037Barnett, M.; Davis, R. T.; Rakich, J. V. 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 28 Authors 3 Naumann, David A. 1 Ahrendt, Wolfgang 1 Barnett, Mike 1 Beringer, Lennart 1 Davies, Jim 1 de Boer, Frank S. 1 Dylla, Maximilian 1 Faitelson, David 1 Finkbeiner, Bernd 1 Huizing, Cornelis 1 Jacobs, Bart 1 Kassios, Ioannis T. 1 Kuiper, Ruurd 1 Leavens, Gary T. 1 Leino, K. Rustan M. 1 Luit, Erik J. 1 Middelkoop, Ronald 1 Müller, Peter 1 O’Hearn, Peter W. 1 Pierik, Cees 1 Piessens, Frank 1 Poetzsch-Heffter, Arnd 1 Sankaranarayanan, Sriram 1 Schäfer, Jan 1 Schulte, Wolfram 1 Sipma, Henny B. 1 Smans, Jan 1 Welch, James W. Cited in 4 Serials 4 Theoretical Computer Science 4 Formal Aspects of Computing 1 Science of Computer Programming 1 Formal Methods in System Design Cited in 2 Fields 14 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year