Daniel J. Dougherty

68 papers A* 3A 7B 10C 2Journal 20Unranked 25

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	A Coq Formalization of Unification Modulo Exclusive-Or. ICLP Yichi Xu, Daniel J. Dougherty, Rose Bohrer
2023	J	`jnl`	Molly: A Verified Compiler for Cryptoprotocol Roles. CoRR Daniel J. Dougherty, Joshua D. Guttman
2021	—	`conf`	Model Finding for Exploration. Protocols, Strands, and Logic Daniel J. Dougherty
2018	J	`jnl`	Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2018	B	`conf`	Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
2017	B	`conf`	CAESAR: Context-Aware Event Stream Analytics for Urban Transportation Services. EDBT 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, Robert Hollinger, Devin Roberts, Daniel Tocco
2017	—	`conf`	The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
2017	B	`conf`	User Studies of Principled Model Finder Output. SEFM Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
2016	B	`conf`	A Realizability Interpretation for Intersection and Union Types. APLAS Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
2016	B	`conf`	Context-Aware Event Stream Analytics. EDBT Olga Poppe, Chuan Lei, Elke A. Rundensteiner, Daniel J. Dougherty
2015	A	`conf`	Exploring Theories with a Model-Finding Assistant. CADE Salman Saghafi, Ryan Danas, Daniel J. Dougherty
2014	B	`conf`	A Hybrid Analysis for Security Protocols with State. IFM John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
2014	J	`jnl`	A Hybrid Analysis for Security Protocols with State. CoRR John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe
2014	A	`conf`	Decidability for Lightweight Diffie-Hellman Protocols. CSF Daniel J. Dougherty, Joshua D. Guttman
2014	—	`conf`	Razor: Provenance and Exploration in Model-Finding. PAAR@IJCAR Salman Saghafi, Daniel J. Dougherty
2013	—	`conf`	A balance of power: expressive, analyzable controller programming. HotSDN Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2013	A*	`conf`	Aluminum: principled scenario exploration through minimality. ICSE Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2012	—	`conf`	An Algebra for Symbolic Diffie-Hellman Protocol Analysis. TGC Daniel J. Dougherty, Joshua D. Guttman
2012	B	`conf`	Realtime healthcare services via nested complex event processing technology. EDBT Mo Liu, Medhabi Ray, Dazhi Zhang, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari
2012	J	`jnl`	Symbolic Protocol Analysis for Diffie-Hellman CoRR Daniel J. Dougherty, Joshua D. Guttman
2012	C	`conf`	Toward a More Complete Alloy. ABZ Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2011	A*	`conf`	High-performance nested CEP query processing over event streams. ICDE Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
2011	—	`conf`	Optimizing complex sequence pattern extraction using caching. ICDE Workshops Medhabi Ray, Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Abhay Mehta, Ismail Ari
2010	—	`conf`	Embracing policy engineering. FoSER Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty
2010	—	`conf`	Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) Daniel J. Dougherty, Luigi Liquori
2010	—	`conf`	NEEL: The Nested Complex Event Language for Real-Time Event Analytics. BIRTE Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
2010	—	`conf`	Processing nested complex sequence pattern queries over event streams. DMSN Mo Liu, Medhabi Ray, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta
2010	—	`conf`	The Margrave Tool for Firewall Analysis. LISA Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2009	—	`conf`	An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications RULE Daniel J. Dougherty
2009	—	`conf`	Extensional and Intensional Strategies WRS Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
2009	—	`conf`	Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. BNCOD Venkatesh Raghavan, Yali Zhu, Elke A. Rundensteiner, Daniel J. Dougherty
2009	—	`ed.`	Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008 SecReT@LICS/CSF Daniel J. Dougherty, Santiago Escobar
2009	B	`conf`	Towards an Operational Semantics for Alloy. FM Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2008	—	`conf`	Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo
2008	J	`jnl`	Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2008	—	`conf`	Preface. SecReT@LICS/CSF Daniel J. Dougherty, Santiago Escobar
2007	A	`conf`	Modular Access Control Via Strategic Rewriting. ESORICS Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2007	A	`conf`	Obligations and Their Interaction with Programs. ESORICS Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2006	J	`jnl`	Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
2006	J	`jnl`	Join minimization in XML-to-SQL translation: an algebraic approach. SIGMOD Rec. Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner
2006	J	`jnl`	Normal forms for binary relations. Theor. Comput. Sci. Daniel J. Dougherty, Claudio Gutierrez
2006	A	`conf`	Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2005	B	`conf`	Strong Normalization of the Dual Classical Sequent Calculus. LPAR Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
2004	—	`conf`	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
2004	C	`conf`	Characterizing strong normalization in a language with control operators. PPDP Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2004	—	`conf`	Intersection and Union Types in the lambda-my-my/tilde-calculus. ITRS Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2004	J	`jnl`	Intersection types for explicit substitutions. Inf. Comput. Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
2004	J	`jnl`	The complexity of the certification of properties of Stable Marriage. Inf. Process. Lett. Daniel J. Dougherty, Stanley M. Selkow
2003	J	`jnl`	Reductions, Intersection Types, and Explicit Substitutions. Math. Struct. Comput. Sci. Daniel J. Dougherty, Pierre Lescanne
2002	—	`conf`	A Decidable Variant of Higher Order Matching. RTA Daniel J. Dougherty, Tomasz Wierzbicki
2002	—	`conf`	An Improved System of Intersection Types for Explicit Substitutions. IFIP TCS Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne
2001	—	`conf`	Reductions, Intersection Types, and Explicit Substitutions. TLCA Daniel J. Dougherty, Pierre Lescanne
2000	J	`jnl`	Equality between Functionals in the Presence of Coproducts. Inf. Comput. Daniel J. Dougherty, Ramesh Subrahmanyam
2000	—	`conf`	Normal Forms and Reduction for Theories of Binary Relations. RTA Daniel J. Dougherty, Claudio Gutierrez
1998	J	`jnl`	Equational Unification, Word Unification, and 2nd-Order Equational Unification. Theor. Comput. Sci. Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
1995	J	`jnl`	A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. Daniel J. Dougherty, Patricia Johann
1995	A*	`conf`	Equality between Functionals in the Presence of Coproducts LICS Daniel J. Dougherty, Ramesh Subrahmanyam
1995	—	`conf`	Some Independent Results for Equational Unification. RTA Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
1993	J	`jnl`	Closed Categories and Categorial Grammar. Notre Dame J. Formal Log. Daniel J. Dougherty
1993	J	`jnl`	Higher-Order Unification via Combinators. Theor. Comput. Sci. Daniel J. Dougherty
1993	—	`conf`	Some Lambda Calculi with Categorial Sums and Products. RTA Daniel J. Dougherty
1992	A	`conf`	A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE Daniel J. Dougherty, Patricia Johann
1992	J	`jnl`	Adding Algebraic Rewriting to the Untyped Lambda Calculus Inf. Comput. Daniel J. Dougherty
1992	J	`jnl`	An Improved General E-Unification Method. J. Symb. Comput. Daniel J. Dougherty, Patricia Johann
1991	—	`conf`	Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). RTA Daniel J. Dougherty
1990	A	`conf`	An Improved General E-Unification Method. CADE Daniel J. Dougherty, Patricia Johann
1987	J	`jnl`	Decomposition of infinite matrices. J. Comb. Theory A Daniel J. Dougherty
1986	J	`jnl`	Gentzen systems, resolution, and literal trees. Notre Dame J. Formal Log. Daniel J. Dougherty