Search results for: Daniel J. Dougherty
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Formal Methods in Security III > 578-593
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 173-191
Theoretical Computer Science > 2008 > 398 > 1-3 > 114-128
Theoretical Computer Science > 2006 > 360 > 1-3 > 228-246
Electronic Notes in Theoretical Computer Science > 2005 > 136 > Complete > 153-172
Information Processing Letters > 2004 > 92 > 6 > 275-277
Information and Computation > 2000 > 157 > 1-2 > 52-83
Theoretical Computer Science > 1998 > 198 > 1-2 > 1-47
Theoretical Computer Science > 1995 > 139 > 1-2 > 207-242