( en | de | ru )

 

Disambiguierung von "Redmond, Timothy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unwinding and the LOCK Proof Referees Study.

, , und . CSFW, Seite 9-21. IEEE Computer Society, (1992)

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.

Petra Redmond

Timothy Saunders

Timothy Sulo

Timothy Leung

Timothy Creech

 

Weitere Publikationen von Autoren mit dem selben Namen

Unwinding and the LOCK Proof Referees Study., , und . CSFW, Seite 9-21. IEEE Computer Society, (1992)A Framework for Composition of Security Models., und . CSFW, Seite 157-166. IEEE Computer Society, (1992)Two Automated Methods in Implementation Proofs., und . CADE, Volume 310 von Lecture Notes in Computer Science, Seite 622-642. Springer, (1988)Noninterference and Intrusion Detection., und . S&P, Seite 177-187. IEEE Computer Society, (2002)FDMM: A Formalism for Describing ADOxx Meta Models and Models., , und . ICEIS (3), Seite 133-144. SciTePress, (2012)Ontology Repositories and Semantic Artefact Catalogues with the OntoPortal Technology., , , , , , , , , und 1 andere Autor(en). ISWC, Volume 14266 von Lecture Notes in Computer Science, Seite 38-58. Springer, (2023)Formal Policies for Trusted Processes., , und . CSFW, Seite 31-40. IEEE Computer Society, (1989)A Lattice of Information., und . CSFW, Seite 65-70. IEEE Computer Society, (1993)Managing Change: An Ontology Version Control System., , , und . OWLED, Volume 432 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)An Open Source Database Backend for the OWL API and Protege 4.. OWLED, Volume 614 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)