KG
850
Publications
24,168
Citations
69
h-index
347
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (451)
- Book Chapter (302)
- Preprint (54)
- Book (20)
- Dataset (9)
Filter by Open Access Type
- Open Access (408)
- Closed Access (442)
Filter by Authors
- Kim G. Larsen (850)
- Jǐŕı Srba (94)
- Axel Legay (82)
- Alexandre David (81)
- Marius Mikučionis (63)
Filter by Topics
- Formal Methods in Verification (539)
- Software Testing and Debugging Techniques (163)
- Logic, programming, and type systems (160)
- Model-Driven Software Engineering Techniques (135)
- Software Reliability and Analysis Research (128)