Get started
Author

Timothy Redmond

Observed names: Redmond, Timothy, T. Redmond
Institution: Stanford University
ORCID: 0009-0006-2218-4789
Observed ORCID: 0009-0006-2218-4789
OpenAlex ID: A5004671873
A lattice of information
2002 · J. Landauer, T. Redmond · IEEE Computer Security Foundations Workshop (CSFW) · 66
FDMM: A Formalism for Describing ADOxx Meta Models and Models
2012 · Hans-Georg Fill, Timothy Redmond, et al. · International Conference on Enterprise Information Systems · 48
Frames and OWL Side by Side
2006 · Hai H. Wang, Natasha Noy, et al. · 43
Noninterference and intrusion detection
2005 · C. Ko, T. Redmond · IEEE Symposium on Security and Privacy (S&P) · 42
Formalizing Meta Models with FDMM: The ADOxx Case
2013 · Hans-Georg Fill, Timothy Redmond, et al. · Lecture notes in business information processing · 32
Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++
2006 · Matthew Horridge, Dmitry Tsarkov, et al. · Research Explorer (The University of Manchester) · 31
Ontology Repositories and Semantic Artefact Catalogues with the OntoPortal Technology
2023 · Clement Jonquet, John Graybeal, et al. · Lecture notes in computer science · 28
PDF
Managing Change: An Ontology Version Control System.
2008 · Timothy Redmond, Michael E. Smith, et al. · 27
Intrusion detection inter-component adaptive negotiation
2000 · Richard Feiertag, Sue Rho, et al. · Computer Networks · 24
From a Polynomial Riemann Hypothesis to Alternating Sign Matrices
2001 · Ömer Eğecioğlu, Timothy Redmond, et al. · The Electronic Journal of Combinatorics · 21
PDF
BioPortal: an open community resource for sharing, searching, and utilizing biomedical ontologies
2025 · Jennifer Vendetti, Nomi L Harris, et al. · Nucleic Acids Research · 20
PDF
Almost Product Evaluation of Hankel Determinants
2008 · Ömer Eğecioğlu, Timothy Redmond, et al. · The Electronic Journal of Combinatorics · 18
PDF
Formal policies for trusted processes
2003 · J. Landauer, T. Redmond, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 17
A multilinear operator for almost product evaluation of Hankel determinants
2009 · Ömer Eğecioğlu, Timothy Redmond, et al. · Journal of Combinatorial Theory Series A · 14
Enhancing operating system resistance to information warfare
2002 · D. Hollingworth, T. Redmond · IEEE Military Communications Conference (MILCOM) · 8
A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies.
1988 · Leo Marcus, Timothy Redmond · IEEE Computer Security Foundations Workshop (CSFW) · 6
Evaluation of a Special Hankel Determinant of Binomial Coefficients
2008 · Ömer Eugeciouglu, Timothy Redmond, et al. · Discrete Mathematics & Theoretical Computer Science · 5
PDF
A framework for building composable replaceable security services
2002 · R. Feiertag, T. Redmond, et al. · DARPA Information Survivability Conference and Exposition · 5
An Open Source Database Backend for the OWL API and Protege 4.
2010 · Timothy Redmond · 3
The NCBO OBOF to OWL Mapping
2009 · Dilvan Moreira, Christopher Mungall, et al. · Nature Precedings · 2
PDF
Security policy realization in an extensible operating system
2002 · D. Hollingworth, T. Redmond, et al. · DARPA Information Survivability Conference and Exposition · 2
BesselK Series for the Riemann Zeta function
2017 · Redmond, Timothy, Ryavec, Charles · arXiv (Cornell University) · 1
PDF
Policy migration in large agent-based systems
2006 · R. Feiertag, Jaisook Rho, et al. · International Conference on Integration of Knowledge Intensive Multi-Agent Systems · 1
A framework for composition of security models
2003 · J. Landauer, T. Redmond · IEEE Computer Security Foundations Workshop (CSFW) · 1
A Prime Power Equation
2022 · Redmond, Timothy, Ryavec, Charles · arXiv (Cornell University)
PDF
Works count: 45
Citation count: 465
H-index: 14
I10-index: 14
Year
Topic
Type