Timothy Redmond

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 1

Top Topics

Domain Specific Ontologies

Semantic Web Technologies

Semantically Enriched

Top Venues

Publications

Clément Jonquet, John Graybeal, Syphax Bouazzouni, Michael Dorf, Nicola Fiore, Xeni Kechagioglou, Timothy Redmond, Ilaria Rosati, Alex Skrenchuk, Jennifer Vendetti, Mark A. Musen
Ontology Repositories and Semantic Artefact Catalogues with the OntoPortal Technology. ISWC (2023)
Matthew Horridge, Timothy Redmond, Tania Tudorache, Mark A. Musen
Binary OWL. OWLED (2013)
Hans-Georg Fill, Timothy Redmond, Dimitris Karagiannis
FDMM: A Formalism for Describing ADOxx Meta Models and Models. ICEIS (3) (2012)
Hans-Georg Fill, Timothy Redmond, Dimitris Karagiannis
Formalizing Meta Models with FDMM: The ADOxx Case. ICEIS (2012)
Ömer Egecioglu, Timothy Redmond, Charles Ryavec
A multilinear operator for almost product evaluation of Hankel determinants. J. Comb. Theory, Ser. A 117 (1) (2010)
Timothy Redmond
An Open Source Database Backend for the OWL API and Protege 4. OWLED (2010)
Timothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache
Managing Change: An Ontology Version Control System. OWLED (2008)
Ömer Egecioglu, Timothy Redmond, Charles Ryavec
Almost Product Evaluation of Hankel Determinants. Electron. J. Comb. 15 (1) (2008)
Calvin Ko, Timothy Redmond
Noninterference and Intrusion Detection. IEEE Symposium on Security and Privacy (2002)
Ömer Egecioglu, Timothy Redmond, Charles Ryavec
From a Polynomial Riemann Hypothesis to Alternating Sign Matrices. Electron. J. Comb. 8 (1) (2001)
Jaisook Landauer, Timothy Redmond
A Lattice of Information. CSFW (1993)
Jaisook Landauer, Timothy Redmond
A Framework for Composition of Security Models. CSFW (1992)
Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond
Unwinding and the LOCK Proof Referees Study. CSFW (1992)
Jaisook Landauer, Timothy Redmond, Terry Benzel
Formal Policies for Trusted Processes. CSFW (1989)
Leo Marcus, Timothy Redmond
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. CSFW (1988)
Leo Marcus, Timothy Redmond
Two Automated Methods in Implementation Proofs. CADE (1988)