( en | de | ru )

 

Disambiguierung von "Smith, Scott F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic Dependency Monitoring to Secure Information Flow.

, , und . CSF, Seite 203-217. IEEE Computer Society, (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.

Pierre-François Scotto

Martina Christine Scotti

Peter Scott

Felix Markus Hubertus Scotti

James Wesley Scott

 

Weitere Publikationen von Autoren mit dem selben Namen

Extracting Recursive Programs in Type Theory.. AMAST, Seite 341-349. Springer, (1991)Modular Reasoning for Actor Specification Diagrams., und . FMOODS, Volume 139 von IFIP Conference Proceedings, Kluwer, (1999)Refactoring programs to secure information flows., und . PLAS, Seite 75-84. ACM, (2006)Partial Objects In Constructive Type Theory, und . LICS, Seite 183-193. IEEE Computer Society, (1987)Higher-Order Demand-Driven Program Analysis (Artifact)., , und . Dagstuhl Artifacts Ser., 2 (1): 09:1-09:2 (2016)A Theory of Classes for a Functional Language with Effects., , , und . CSL, Volume 702 von Lecture Notes in Computer Science, Seite 309-326. Springer, (1992)An Interpretation of Typed OOP in a Language with State., , , und . LISP Symb. Comput., 8 (4): 357-397 (1995)Improved Covariance Model Parameter Estimation Using RNA Thermodynamic Properties., und . BIONETICS, Seite 185-191. ICST / IEEE, (2007)Correct Compilation of Specifications to Deterministic Asynchronous Circuits., und . CHARME, Volume 683 von Lecture Notes in Computer Science, Seite 179-190. Springer, (1993)A Systematic Approach to Static Access Control., , und . ESOP, Volume 2028 von Lecture Notes in Computer Science, Seite 30-45. Springer, (2001)