Universität Trier
Fachbereich IV - Informatikwissenschaften
Address
Behringstraße
54296 Trier
Deutschland
GERiT
This institution in GERiT
54296 Trier
Projects
Research Grants
Completed projects
Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER)
(Applicant
Müller, Norbert
)
Geometrisches Runden und Vereinfachen und Grundlagen exakten geometrischen Rechnens mit algebraischen Zahlen
(Applicants
Näher, Stefan
;
Schirra, Stefan
)
Quantitative Uniform Complexity Theory of Multivalued Real Functions and Operators in Analysis
(Applicant
Streicher, Thomas
)
Wrapping Representations in Exact Real Arithmetic (WERA)
(Applicant
Müller, Norbert
)
Priority Programmes
Completed projects
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Mutzel, Petra
)
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Jünger, Michael
)
Design, Analyse, Implementierung, Evaluierung und experimentelle Anwendung von Algorithmen zum Zeichnen von Graphen
(Applicant
Näher, Stefan
)
