Professor Dr. Norbert Müller

Address Universität Trier
Fachbereich IV - Informatikwissenschaften
Behringstraße
54296 Trier

Projects

As Applicant
- Completed projects
  - Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants)
  - Wrapping Representations in Exact Real Arithmetic (WERA) (Research Grants)
As Participating Person
- Completed projects
  - Quantitative Uniform Complexity Theory of Multivalued Real Functions and Operators in Analysis (Research Grants)