Daniel J. Dougherty

The margrave tool for firewall analysis

Tim Nelson, Christopher L. R. Barratt, Daniel J. Dougherty et al. · 2010 · 104 citations

Engineering, Information Security, Next-generation Firewall +18

S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of <i><b>Téoriá déduktivnyh sistém i éé priménéniá</b></i>. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.

Daniel J. Dougherty · Journal of Symbolic Logic · 1988 · 66 citations

Artificial Intelligence, Applied Logic, Engineering +16

Aluminum: Principled scenario exploration through minimality

Tim Nelson, Salman Saghafi, Daniel J. Dougherty et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 47 citations

Artificial Intelligence, Engineering, Verification +23

Adding algebraic rewriting to the untyped lambda calculus

Daniel J. Dougherty · Information and Computation · 1992 · 46 citations

Type Theory, Rewriting System, Untyped Lambda Calculus +1

A balance of power

Tim Nelson, Arjun Guha, Daniel J. Dougherty et al. · 2013 · 41 citations · Full text

Engineering, Computer Architecture, Network Analysis +23