( en | de | ru )

 

Disambiguierung von "Eisenbach, Susan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strengthening the Zipper.

, und . LDTA, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 3-18. Elsevier, (2009)

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.

Astrid Sunarti Susanto-Sunario

Anneliese Eisenbach

Georg Eisenbach

Timotius Susantija

Yeni Susanti

 

Weitere Publikationen von Autoren mit dem selben Namen

Evolution of Distributed Java Programs., , und . Component Deployment, Volume 2370 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2002)Ephemeral Java Source Code., und . FTDCS, Seite 9-14. IEEE Computer Society, (1999)Strengthening the Zipper., und . LDTA, Volume 253 von Electronic Notes in Theoretical Computer Science, Seite 3-18. Elsevier, (2009)Safe Upgrading without Restarting., und . ICSM, Seite 129-137. IEEE Computer Society, (2003)Necessity Specifications for Robustness., , , und . (September 2022)Modelling Darwin in the Pi-Caculus., , und . Dagstuhl Seminar on Distributed Systems, Volume 938 von Lecture Notes in Computer Science, Seite 133-152. Springer, (1994)REGIS-DARWIN specified in the π-calculus., , und . CDS, Seite 213. IEEE Computer Society, (1994)Verification of Policy-Based Self-Managed Cell Interactions Using Alloy., , , und . POLICY, Seite 37-40. IEEE Computer Society, (2009)LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!)., und . LISA, Seite 199-210. USENIX, (2001)Higher-order type-level programming in Haskell., , , und . Proc. ACM Program. Lang., 3 (ICFP): 102:1-102:26 (2019)