dblp.uni-trier.dewww.uni-trier.de

Timothy Redmond Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
9EETimothy Redmond, Michael Smith, Nick Drummond, Tania Tudorache: Managing Change: An Ontology Version Control System. OWLED 2008
2002
8EECalvin Ko, Timothy Redmond: Noninterference and Intrusion Detection. IEEE Symposium on Security and Privacy 2002: 177-187
2001
7EEÖmer Egecioglu, Timothy Redmond, Charles Ryavec: From a Polynomial Riemann Hypothesis to Alternating Sign Matrices. Electr. J. Comb. 8(1): (2001)
1993
6 Jaisook Landauer, Timothy Redmond: A Lattice of Information. CSFW 1993: 65-70
1992
5 Jaisook Landauer, Timothy Redmond: A Framework for Composition of Security Models. CSFW 1992: 157-166
4 Sandra Rawlings Murphy, Stephen Crocker, Timothy Redmond: Unwinding and the LOCK Proof Referees Study. CSFW 1992: 9-21
1989
3 Jaisook Landauer, Timothy Redmond, Terry Benzel: Formal Policies for Trusted Processes. CSFW 1989: 31-40
1988
2EELeo Marcus, Timothy Redmond: Two Automated Methods in Implementation Proofs. CADE 1988: 622-642
1 Leo Marcus, Timothy Redmond: A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. CSFW 1988: 127-138

Coauthor Index

1Terry Benzel [3]
2Stephen Crocker [4]
3Nick Drummond [9]
4Ömer Egecioglu [7]
5Calvin Ko [8]
6Jaisook Landauer [3] [5] [6]
7Leo Marcus [1] [2]
8Sandra Rawlings Murphy [4]
9Charles Ryavec [7]
10Michael Smith [9]
11Tania Tudorache [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)