Gentzen systems, resolution, and literal trees. - Daniel J. Dougherty (Notre Dame J. Formal Log., 1986)

Decomposition of infinite matrices. - Daniel J. Dougherty (J. Comb. Theory A, 1987)

Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). - Daniel J. Dougherty (RTA, 1991)

A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). - Daniel J. Dougherty; Patricia Johann (CADE, 1992)

An Improved General E-Unification Method. - Daniel J. Dougherty; Patricia Johann (J. Symb. Comput., 1992)

Adding Algebraic Rewriting to the Untyped Lambda Calculus - Daniel J. Dougherty (Inf. Comput., 1992)

Some Lambda Calculi with Categorial Sums and Products. - Daniel J. Dougherty (RTA, 1993)

Closed Categories and Categorial Grammar. - Daniel J. Dougherty (Notre Dame J. Formal Log., 1993)

Higher-Order Unification via Combinators. - Daniel J. Dougherty (Theor. Comput. Sci., 1993)

Some Independent Results for Equational Unification. - Friedrich Otto; Paliath Narendran; Daniel J. Dougherty (RTA, 1995)

A Combinatory Logic Approach to Higher-Order E-Unification. - Daniel J. Dougherty; Patricia Johann (Theor. Comput. Sci., 1995)

Equational Unification, Word Unification, and 2nd-Order Equational Unification. - Friedrich Otto; Paliath Narendran; Daniel J. Dougherty (Theor. Comput. Sci., 1998)

Normal Forms and Reduction for Theories of Binary Relations. - Daniel J. Dougherty; Claudio Gutierrez 001 (RTA, 2000)

Equality between Functionals in the Presence of Coproducts. - Daniel J. Dougherty; Ramesh Subrahmanyam (Inf. Comput., 2000)

An Improved System of Intersection Types for Explicit Substitutions. - Daniel J. Dougherty; Stéphane Lengrand; Pierre Lescanne (IFIP TCS, 2002)

A Decidable Variant of Higher Order Matching. - Daniel J. Dougherty; Tomasz Wierzbicki (RTA, 2002)

Reductions, Intersection Types, and Explicit Substitutions. - Daniel J. Dougherty; Pierre Lescanne (Math. Struct. Comput. Sci., 2003)

Characterizing strong normalization in a language with control operators. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne (PPDP, 2004)

Intersection and Union Types in the lambda-my-my/tilde-calculus. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne (ITRS, 2004)

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. - Daniel J. Dougherty; Pierre Lescanne; Luigi Liquori; Frédéric Lang (TERMGRAPH, 2004)

Intersection types for explicit substitutions. - Stéphane Lengrand; Pierre Lescanne; Daniel J. Dougherty; Mariangiola Dezani-Ciancaglini; Steffen van Bakel (Inf. Comput., 2004)

The complexity of the certification of properties of Stable Marriage. - Daniel J. Dougherty; Stanley M. Selkow (Inf. Process. Lett., 2004)

Strong Normalization of the Dual Classical Sequent Calculus. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne; Silvia Likavec (LPAR, 2005)

Specifying and Reasoning About Dynamic Access-Control Policies. - Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (IJCAR, 2006)

Addressed term rewriting systems: application to a typed object calculus. - Daniel J. Dougherty; Pierre Lescanne; Luigi Liquori (Math. Struct. Comput. Sci., 2006)

Join minimization in XML-to-SQL translation: an algebraic approach. - Murali Mani; Song Wang 001; Daniel J. Dougherty; Elke A. Rundensteiner (SIGMOD Rec., 2006)

Normal forms for binary relations. - Daniel J. Dougherty; Claudio Gutierrez 001 (Theor. Comput. Sci., 2006)

Obligations and Their Interaction with Programs. - Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ESORICS, 2007)

Modular Access Control Via Strategic Rewriting. - Daniel J. Dougherty; Claude Kirchner; Hélène Kirchner; Anderson Santana de Oliveira (ESORICS, 2007)

Alchemy: transmuting base alloy specifications into implementations. - Shriram Krishnamurthi; Kathi Fisler; Daniel J. Dougherty; Daniel Yoo (SIGSOFT FSE, 2008)

Preface. - Daniel J. Dougherty; Santiago Escobar 001 (SecReT@LICS/CSF, 2008)

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne (Theor. Comput. Sci., 2008)

Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. - Venkatesh Raghavan; Yali Zhu; Elke A. Rundensteiner; Daniel J. Dougherty (BNCOD, 2009)

Towards an Operational Semantics for Alloy. - Theophilos Giannakopoulos; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (FM, 2009)

Extensional and Intensional Strategies - Tony Bourdier; Horatiu Cirstea; Daniel J. Dougherty; Hélène Kirchner (WRS, 2009)

An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications - Daniel J. Dougherty (RULE, 2009)

NEEL: The Nested Complex Event Language for Real-Time Event Analytics. - Mo Liu 001; Elke A. Rundensteiner; Daniel J. Dougherty; Chetan Gupta 001; Song Wang 001; Ismail Ari; Abhay Mehta (BIRTE, 2010)

Processing nested complex sequence pattern queries over event streams. - Mo Liu 001; Medhabi Ray; Elke A. Rundensteiner; Daniel J. Dougherty; Chetan Gupta 001; Song Wang 001; Ismail Ari; Abhay Mehta (DMSN, 2010)

The Margrave Tool for Firewall Analysis. - Timothy Nelson 001; Christopher Barratt; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (LISA, 2010)

Logic and Computation in a Lambda Calculus with Intersection and Union Types. - Daniel J. Dougherty; Luigi Liquori (LPAR (Dakar), 2010)

Embracing policy engineering. - Kathi Fisler; Shriram Krishnamurthi; Daniel J. Dougherty (FoSER, 2010)

High-performance nested CEP query processing over event streams. - Mo Liu 001; Elke A. Rundensteiner; Daniel J. Dougherty; Chetan Gupta 001; Song Wang 001; Ismail Ari; Abhay Mehta (ICDE, 2011)

Optimizing complex sequence pattern extraction using caching. - Medhabi Ray; Mo Liu 001; Elke A. Rundensteiner; Daniel J. Dougherty; Chetan Gupta 001; Song Wang 001; Abhay Mehta; Ismail Ari (ICDE Workshops, 2011)

Toward a More Complete Alloy. - Timothy Nelson 001; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ABZ, 2012)

Realtime healthcare services via nested complex event processing technology. - Mo Liu 001; Medhabi Ray; Dazhi Zhang; Elke A. Rundensteiner; Daniel J. Dougherty; Chetan Gupta 001; Song Wang 001; Ismail Ari (EDBT, 2012)

An Algebra for Symbolic Diffie-Hellman Protocol Analysis. - Daniel J. Dougherty; Joshua D. Guttman (TGC, 2012)

Symbolic Protocol Analysis for Diffie-Hellman - Daniel J. Dougherty; Joshua D. Guttman (CoRR, 2012)

Aluminum: principled scenario exploration through minimality. - Tim Nelson; Salman Saghafi; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ICSE, 2013)

A balance of power: expressive, analyzable controller programming. - Tim Nelson; Arjun Guha; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (HotSDN, 2013)

Razor: Provenance and Exploration in Model-Finding. - Salman Saghafi; Daniel J. Dougherty (PAAR@IJCAR, 2014)

Decidability for Lightweight Diffie-Hellman Protocols. - Daniel J. Dougherty; Joshua D. Guttman (CSF, 2014)

A Hybrid Analysis for Security Protocols with State. - John D. Ramsdell; Daniel J. Dougherty; Joshua D. Guttman; Paul D. Rowe (IFM, 2014)

Exploring Theories with a Model-Finding Assistant. - Salman Saghafi; Ryan Danas; Daniel J. Dougherty (CADE, 2015)

A Realizability Interpretation for Intersection and Union Types. - Daniel J. Dougherty; Ugo de'Liguoro; Luigi Liquori; Claude Stolze (APLAS, 2016)

Context-Aware Event Stream Analytics. - Olga Poppe; Chuan Lei; Elke A. Rundensteiner; Daniel J. Dougherty (EDBT, 2016)

CAESAR: Context-Aware Event Stream Analytics for Urban Transportation Services. - Olga Poppe; Chuan Lei; Elke A. Rundensteiner; Daniel J. Dougherty; Goutham Deva; Nicholas Fajardo; James Owens; Thomas Schweich; MaryAnn Van Valkenburg; Sarun Paisarnsrisomsuk; Pitchaya Wiratchotisatian; George Gettel; et al. (EDBT, 2017)

User Studies of Principled Model Finder Output. - Natasha Danas; Tim Nelson; Lane Harrison; Shriram Krishnamurthi; Daniel J. Dougherty (SEFM, 2017)

The power of "why" and "why not": enriching scenario exploration with provenance. - Tim Nelson; Natasha Danas; Daniel J. Dougherty; Shriram Krishnamurthi (ESEC/SIGSOFT FSE, 2017)

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. - Daniel J. Dougherty; Joshua D. Guttman; John D. Ramsdell (IFM, 2018)

Homomorphisms and Minimality for Enrich-by-Need Security Analysis. - Daniel J. Dougherty; Joshua D. Guttman; John D. Ramsdell (CoRR, 2018)

Model Finding for Exploration. - Daniel J. Dougherty (Protocols, Strands, and Logic, 2021)

Molly: A Verified Compiler for Cryptoprotocol Roles. - Daniel J. Dougherty; Joshua D. Guttman (CoRR, 2023)

A Coq Formalization of Unification Modulo Exclusive-Or. - Yichi Xu; Daniel J. Dougherty; Rose Bohrer (ICLP, 2024)