Two Automated Methods in Implementation Proofs. - Leo Marcus; Timothy Redmond (CADE, 1988)

A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. - Leo Marcus; Timothy Redmond (CSFW, 1988)

Formal Policies for Trusted Processes. - Jaisook Landauer; Timothy Redmond; Terry Benzel (CSFW, 1989)

A Framework for Composition of Security Models. - Jaisook Landauer; Timothy Redmond (CSFW, 1992)

Unwinding and the LOCK Proof Referees Study. - Sandra Rawlings Murphy; Stephen D. Crocker; Timothy Redmond (CSFW, 1992)

A Lattice of Information. - Jaisook Landauer; Timothy Redmond (CSFW, 1993)

From a Polynomial Riemann Hypothesis to Alternating Sign Matrices. - Ömer Egecioglu; Timothy Redmond; Charles Ryavec (Electron. J. Comb., 2001)

Noninterference and Intrusion Detection. - Calvin Ko; Timothy Redmond (S&P, 2002)

Managing Change: An Ontology Version Control System. - Timothy Redmond; Michael Smith 001; Nick Drummond; Tania Tudorache (OWLED, 2008)

Almost Product Evaluation of Hankel Determinants. - Ömer Egecioglu; Timothy Redmond; Charles Ryavec (Electron. J. Comb., 2008)

An Open Source Database Backend for the OWL API and Protege 4. - Timothy Redmond (OWLED, 2010)

A multilinear operator for almost product evaluation of Hankel determinants. - Ömer Egecioglu; Timothy Redmond; Charles Ryavec (J. Comb. Theory A, 2010)

FDMM: A Formalism for Describing ADOxx Meta Models and Models. - Hans-Georg Fill; Timothy Redmond; Dimitris Karagiannis (ICEIS (3), 2012)

Formalizing Meta Models with FDMM: The ADOxx Case. - Hans-Georg Fill; Timothy Redmond; Dimitris Karagiannis (ICEIS, 2012)

Binary OWL. - Matthew Horridge; Timothy Redmond; Tania Tudorache; Mark A. Musen (OWLED, 2013)

Ontology Repositories and Semantic Artefact Catalogues with the OntoPortal Technology. - 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 (ISWC, 2023)