( en | de | ru )

 

Disambiguierung von "Gonthier, Georges"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A publication culture in software engineering (panel).

, , , , , , und . ESEC/SIGSOFT FSE, Seite 19-23. ACM, (2013)

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.

Elisabeth Gonthier

Georges Kiesel

Margarete Georges

Georges Aletan

Georges Zerf

 

Weitere Publikationen von Autoren mit dem selben Namen

A Hierarchy of Equivalences for Asynchronous Calculi., und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 844-855. Springer, (1998)Secure Communications Processing for Distributed Languages., , und . S&P, Seite 74-88. IEEE Computer Society, (1999)An abstract standardisation theorem, , und . LICS, Seite 72-81. IEEE Computer Society, (1992)Linear Logic Without Boxes, , und . LICS, Seite 223-234. IEEE Computer Society, (1992)Type design patterns for computer mathematics.. TLDI, Seite 1-2. ACM, (2011)Authentication Primitives and Their Compilation., , und . POPL, Seite 302-315. ACM, (2000)Verifying the Safety of a Practical Concurrent Garbage Collector.. CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 462-465. Springer, (1996)The Four Colour Theorem: Engineering of a Formal Proof.. ASCM, Volume 5081 von Lecture Notes in Computer Science, Seite 333. Springer, (2007)Portable, Unobtrusive Garbage Collection for Multiprocessor Systems., und . POPL, Seite 70-83. ACM Press, (1994)Secure Implementation of Channel Abstractions., , und . Inf. Comput., 174 (1): 37-83 (2002)