Timothy Redmond

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