- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| j2 |      | Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu: Intrusion detection inter-component adaptive negotiation. Computer Networks 34(4): 605-621 (2000) |
| 1999 | ||
| j1 | | Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt: LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test., Verif. Reliab. 9(2): 107-133 (1999) |
| c3 | | Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark Heckman, Dave Peticolas, Rick Crawford, Lee Benzinger, Sue Rho, Stephen Wu: Intrusion Detection Inter-component Adaptive Negotiation. Recent Advances in Intrusion Detection 1999 |
| 1997 | ||
| c2 | | Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: Verification of a Distributed Computing. HICSS (5) 1997: 252-261 |
| 1996 | ||
| c1 | | Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson: Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs 1996: 235-250 |
| 1 | Brian R. Becker | |
| 2 | Lee Benzinger | |
| 3 | Rick Crawford | |
| 4 | Richard J. Feiertag | |
| 5 | Mark Heckman | |
| 6 | Karl N. Levitt | |
| 7 | Ronald A. Olsson | |
| 8 | Sue Rho | |
| 9 | Stuart Staniford-Chen (Stuart Staniford) | |
| 10 | Stephen Wu | |
| 11 | Cui Zhang |
Data released under the ODC-BY 1.0 license — See also our legal information page