( en | de | ru )

 

Disambiguierung von "Clarkson, Michael R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polyglot: An Extensible Compiler Framework for Java.

, , und . CC, Volume 2622 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2003)

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.

Robert Clarkson

Tanja Clarkson-Grabs

Michael R Schön

Michael R Glaubitz

Michael R Koch

 

Weitere Publikationen von Autoren mit dem selben Namen

Hyperproperties., und . CSF, Seite 51-65. IEEE Computer Society, (2008)Hyperproperties, und . Journal of Computer Security, 18 (6): 1157--1210 (2010)Formal Methods Application: An Empirical Tale of Software Development, und . IEEE Transactions on Software Engineering, 28 (3): 308-320 (März 2002)Quantifying information flow with beliefs., , und . Journal of Computer Security, 17 (5): 655-701 (2009)Information-Flow Security for Interactive Programs., , und . CSFW, Seite 190-201. IEEE Computer Society, (2006)Du-Vote: Remote Electronic Voting with Untrusted Computers., , , und . CSF, Seite 155-169. IEEE Computer Society, (2015)Quantification and Formalization of Security.. Cornell University, USA, (2010)Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'", und . IEEE Transactions on Software Engineering, 29 (6): 572-575 (2003)Quantification of Integrity., und . CSF, Seite 28-43. IEEE Computer Society, (2010)Polyglot: An Extensible Compiler Framework for Java., , und . CC, Volume 2622 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2003)