PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hym, Samuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Adding recursion to Dpi.

, und . Theor. Comput. Sci., 373 (3): 182-212 (2007)

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.

Samuel Lehmköster University of Stuttgart

Samuel Morgan University of Stuttgart

Samuel Pilch University of Stuttgart

Samuel Wazynski University of Stuttgart

Samuel Kaufmann University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Proof of Dynamic Memory Isolation Based on MMU., , , und . TASE, Seite 73-80. IEEE Computer Society, (2016)Verifiable Control Flow Policies for Java Bytecode., , und . Formal Aspects in Security and Trust, Volume 7140 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2011)Adding Recursion to Dpi: (Extended Abstract)., und . Electron. Notes Theor. Comput. Sci., 156 (1): 115-133 (2006)Typage et contrôle de la mobilité. (Typing and control of mobility).. Paris Diderot University, France, (2006)Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base., , , , und . ECEASST, (2018)Validating RDF with Shape Expressions., , , , , und . CoRR, (2014)On-Device Control Flow Verification for Java Programs., , und . ESSoS, Volume 6542 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2011)Adding recursion to Dpi., und . Theor. Comput. Sci., 373 (3): 182-212 (2007)Mobility control via passports.. Inf. Comput., 207 (2): 171-193 (2009)Mobility Control Via Passports.. CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 349-363. Springer, (2007)