109
Publications
3,513
Citations
23
h-index
39
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (63)
- Book Chapter (23)
- Preprint (18)
- Book (2)
- Dissertation (1)
Filter by Open Access Type
- Open Access (51)
- Closed Access (58)
Filter by Authors
- Goran Frehse (109)
- Marcelo Forets (12)
- Sergiy Bogomolov (11)
- Matthias Althoff (10)
- R. L. Ray (10)
Filter by Topics
- Formal Methods in Verification (67)
- Software Testing and Debugging Techniques (22)
- Software Reliability and Analysis Research (21)
- Model-Driven Software Engineering Techniques (19)
- Logic, programming, and type systems (17)