Univ.-Prof. Dr. phil. nat. Helmut Seidl - Forschungsprojekte

DocML
Seidl, Helmut; (2000 - 2002)

SPARAMAT - automatic detection of SPARse matrix computations in Application programs by pattern MATching techniques
Seidl, Helmut; (1997 - 2000)

Programmanalyse
Seidl, Helmut; 

Fixpunktalgorithmen
Seidl, Helmut; 

M-Kalkül
Seidl, Helmut; 

Baum-Automaten und praktische Anwendungen
Seidl, Helmut; 

Parallele Programmiersprachen
Seidl, Helmut;