26
Publications
1.2K
Citations
16
H-Index
1951
Active since
Michael P. Barnett is an author at Princeton University specializing in engineering, computer science, and computational chemistry.
Top concepts
EngineeringComputer ScienceComputational ChemistryFormal MethodsNatural SciencesProgram AnalysisQuantum ChemistrySoftware AnalysisChemistryAutomated Reasoning
Publications per year
1951–2012
26
26
Manuel Fähndrich, Michael P. Barnett, Francesco Logozzo · 2010 · 118 citations
Engineering, Own Specification Language, Software Engineering +23
Rows per page
1–5 of 26