24
Publications
820
Citations
7
h-index
5
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (20)
- Preprint (2)
- Dataset (1)
- Dissertation (1)
Filter by Open Access Type
- Open Access (7)
- Closed Access (17)
Filter by Authors
- Thomas Kœhler (24)
- Michel Steuwer (7)
- Johannes Lenfers (3)
- Bastian Hagedorn (3)
- Xueying Qin (3)
Filter by Topics
- Parallel Computing and Optimization Techniques (6)
- Logic, programming, and type systems (5)
- Formal Methods in Verification (2)
- Wheat and Barley Genetics and Pathology (2)
- Distributed systems and fault tolerance (2)