MW
Markus Wenzel
26
Publications
3,421
Citations
15
h-index
17
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (15)
- Book Chapter (10)
- Book (1)
Filter by Open Access Type
- Open Access (4)
- Closed Access (22)
Filter by Authors
- Markus Wenzel (26)
- Lawrence C. Paulson (6)
- Tobias Nipkow (4)
- Gertrud Bauer (3)
- Christian Welzel (2)
Filter by Topics
- Logic, programming, and type systems (16)
- Logic, Reasoning, and Knowledge (9)
- Formal Methods in Verification (7)
- Membrane Separation Technologies (3)
- Security and Verification in Computing (3)