Universität Karlsruhe
cand. inform. Karsten Sperling

Arbeitsgebiete

Übersetzer-Verifikation

Projekte

Abgeschlossen
Aktionsplan Informatik
Eliteförderprogramm fĂŒr Postdoktoranden

Bearbeitete Studien- und Diplomarbeiten

Studienarbeit
Verifikation unimodularer Schleifentransformationen (abgeschlossen)

Veröffentlichungen

2004
Sperling, Verifikation unimodularer Schleifentransformation
Login
Links