MB
432
Publications
7,112
Citations
40
h-index
141
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (237)
- Book Chapter (133)
- Book (20)
- Preprint (15)
- Dataset (8)
Filter by Open Access Type
- Open Access (160)
- Closed Access (272)
Filter by Authors
- Michael Butler (432)
- Colin Snook (67)
- Thai Son Hoang (63)
- Asieh Salehi Fathabadi (42)
- Dana Dghaym (27)
Filter by Topics
- Formal Methods in Verification (167)
- Model-Driven Software Engineering Techniques (78)
- Advanced Software Engineering Methodologies (71)
- Logic, programming, and type systems (62)
- Distributed systems and fault tolerance (53)