BG
29
Publications
1,139
Citations
11
h-index
13
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (21)
- Preprint (5)
- Book Chapter (2)
- Book (1)
Filter by Open Access Type
- Open Access (11)
- Closed Access (18)
Filter by Authors
- Bernd Grobauer (29)
- Alexander Pretschner (6)
- Patrick Stöckle (6)
- Zhe Yang (4)
- Olivier Danvy (3)
Filter by Topics
- Logic, programming, and type systems (14)
- Formal Methods in Verification (13)
- Software Testing and Debugging Techniques (7)
- Parallel Computing and Optimization Techniques (5)
- Advanced Malware Detection Techniques (5)