×
Compute Distance To:
Author ID: barnett.mike Recent zbMATH articles by "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

Publications by Year

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.68338
Barnett, Mike; Naumann, David A.
11
2004
The calculation of supersonic viscous flows using the parabolized Navier- Stokes equations. Zbl 0599.76077
Davis, R. T.; Barnett, M.; Rakich, J. V.
6
1986
Towards imperative modules: reasoning about invariants and sharing of mutable state. Zbl 1118.68088
Naumann, David A.; Barnett, Mike
3
2006
Using AsmL for runtime verification. Zbl 1021.68521
Barnett, Mike; Schulte, Wolfram; Tillmann, Nikolai
1
2003
Implicit boundary conditions for the solution of the parabolized Navier- Stokes equations for supersonic flows. Zbl 0494.76037
Barnett, M.; Davis, R. T.; Rakich, J. V.
1
1982
Towards imperative modules: reasoning about invariants and sharing of mutable state. Zbl 1118.68088
Naumann, David A.; Barnett, Mike
3
2006
Friends need a bit more: Maintaining invariants over shared state. Zbl 1106.68338
Barnett, Mike; Naumann, David A.
11
2004
Using AsmL for runtime verification. Zbl 1021.68521
Barnett, Mike; Schulte, Wolfram; Tillmann, Nikolai
1
2003
The calculation of supersonic viscous flows using the parabolized Navier- Stokes equations. Zbl 0599.76077
Davis, 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.76037
Barnett, M.; Davis, R. T.; Rakich, J. V.
1
1982

Citations by Year