OG
200
Publications
17,409
Citations
42
h-index
98
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (97)
- Book Chapter (86)
- Book (8)
- Preprint (5)
- Report (4)
Filter by Open Access Type
- Open Access (44)
- Closed Access (156)
Filter by Authors
- Orna Grümberg (200)
- Sharon Shoham (20)
- Assaf Schuster (16)
- Edmund M. Clarke (16)
- E. M. Clarke (16)
Filter by Topics
- Formal Methods in Verification (161)
- Logic, programming, and type systems (79)
- Software Testing and Debugging Techniques (66)
- Model-Driven Software Engineering Techniques (46)
- Software Reliability and Analysis Research (37)