( en | de | ru )

 

Disambiguierung von "Fisher, Kathleen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Calculus for Concurrent Objects.

, und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 655-670. Springer, (1996)

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.

Paul Fisher

André Fisher

Angelika Fisher

Robert Fisher

Robert Fisher

 

Weitere Publikationen von Autoren mit dem selben Namen

An Introduction to Data Representation Synthesis, , , , und . Communications of the ACM, 55 (12): 91-99 (Dezember 2012)Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples., , und . PLAS@CCS, Seite 25-34. ACM, (2020)Using formal methods to enable more secure vehicles: DARPA's HACMS program.. ICFP, Seite 1. ACM, (2014)Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report., , , , und . SIGCSE, Seite 132-133. ACM, (2009)PADS: a domain-specific language for processing ad hoc data., und . PLDI, Seite 295-304. ACM, (2005)Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration)., und . Haskell@ICFP, Seite 38-40. ACM, (2018)Verbatim++: verified, optimized, and semantically rich lexing with derivatives., , und . CPP, Seite 27-39. ACM, (2022)A Calculus for Compiling and Linking Classes., , und . ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 135-149. Springer, (2000)A Calculus for Concurrent Objects., und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 655-670. Springer, (1996)An Application-Specific Database., , , und . DBPL, Volume 2397 von Lecture Notes in Computer Science, Seite 213-227. Springer, (2001)