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

Outline of a Tool for Document Manipulation., , , , und . IFIP Congress, Seite 615-620. North-Holland/IFIP, (1983)Ariane 5 Flight 501 Failure Report by the Inquiry Board, , , , , , , , und . Paris, France, (Juli 1996)Extracting Text from Proofs., , und . TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 109-123. Springer, (1995)On the formal definition of ADA., , und . Semantics-Directed Compiler Generation, Volume 94 von Lecture Notes in Computer Science, Seite 475-489. Springer, (1980)CENTAUR: The System., , , , , , und . Software Development Environments (SDE), Seite 14-24. ACM, (1988)Proof by Pointing., , und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 141-160. Springer, (1994)CENTAUR: Towards a "Software Tool Box" for Programming Environments., , und . SEE, Volume 467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (1989)An Approach to System Correctness.. SOSP, Seite 86-94. ACM, (1971)Operating System Review 6(1-2).Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples., , und . ICALP, Volume 14 von Lecture Notes in Computer Science, Seite 200-213. Springer, (1974)The Semantics of a Simple Language for Parallel Programming.. IFIP Congress, Seite 471-475. North-Holland, (1974)