MB
Mike Barnett
95
Publications
5,032
Citations
27
h-index
51
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (80)
- Book Chapter (12)
- Book (3)
Filter by Open Access Type
- Open Access (12)
- Closed Access (83)
Filter by Authors
- Mike Barnett (95)
- Wolfram Schulte (23)
- Robert DeLine (11)
- Badrish Chandramouli (9)
- K. Rustan M. Leino (9)
Filter by Topics
- Formal Methods in Verification (27)
- Logic, programming, and type systems (23)
- Software Testing and Debugging Techniques (18)
- Advanced Software Engineering Methodologies (16)
- Software Reliability and Analysis Research (14)