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)