234
Publications
14,530
Citations
54
h-index
127
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (30)
- Preprint (9)
- Book Chapter (5)
- Dissertation (1)
Filter by Open Access Type
- Open Access (17)
- Closed Access (28)
Filter by Authors
- R. Hoffmann (45)
- Alice Miller (6)
- Murray Ireland (5)
- Gethin Norman (5)
- Uwe Naumann (4)
Filter by Topics
- Formal Methods in Verification (5)
- Parallel Computing and Optimization Techniques (4)
- Planetary Science and Exploration (4)
- Geophysical and Geoelectrical Methods (4)
- Distributed systems and fault tolerance (4)