Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Synchronous programming of reactive systems. Kluwer Academic Pub., (1993)Cartesian Factoring of Polyhedra for Linear Relation Analysis, , und . Static Analysis Symposium, Volume 2694 von LNCS, Seite 355--365. Springer, (2003)Automatic discovery of linear restraints among the variables of a program, und . POPL'78, Seite 84--97. (Januar 1978)POLyhedra desK cAlculator (POLKA), und . VERIMAG, Montbonnot, France, (September 1995)