default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniel J. Dougherty
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[i4]Daniel J. Dougherty, Joshua D. Guttman
:
Molly: A Verified Compiler for Cryptoprotocol Roles. CoRR abs/2311.13692 (2023)- 2021
- [c46]Daniel J. Dougherty:
Model Finding for Exploration. Protocols, Strands, and Logic 2021: 156-174
2010 – 2019
- 2018
- [c45]Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell:
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. IFM 2018: 130-150 - [i3]Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell:
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. CoRR abs/1804.07158 (2018) - 2017
- [c44]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:
CAESAR: Context-Aware Event Stream Analytics for Urban Transportation Services. EDBT 2017: 590-593 - [c43]Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty:
User Studies of Principled Model Finder Output. SEFM 2017: 168-184 - [c42]Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi:
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE 2017: 106-116 - 2016
- [c41]Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze:
A Realizability Interpretation for Intersection and Union Types. APLAS 2016: 187-205 - [c40]Olga Poppe, Chuan Lei, Elke A. Rundensteiner, Daniel J. Dougherty:
Context-Aware Event Stream Analytics. EDBT 2016: 413-424 - 2015
- [c39]Salman Saghafi, Ryan Danas, Daniel J. Dougherty:
Exploring Theories with a Model-Finding Assistant. CADE 2015: 434-449 - 2014
- [c38]Salman Saghafi, Daniel J. Dougherty:
Razor: Provenance and Exploration in Model-Finding. PAAR@IJCAR 2014: 76-93 - [c37]Daniel J. Dougherty, Joshua D. Guttman:
Decidability for Lightweight Diffie-Hellman Protocols. CSF 2014: 217-231 - [c36]John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe:
A Hybrid Analysis for Security Protocols with State. IFM 2014: 272-287 - [i2]John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe:
A Hybrid Analysis for Security Protocols with State. CoRR abs/1404.3899 (2014) - 2013
- [c35]Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Aluminum: principled scenario exploration through minimality. ICSE 2013: 232-241 - [c34]Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
A balance of power: expressive, analyzable controller programming. HotSDN 2013: 79-84 - 2012
- [c33]Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Toward a More Complete Alloy. ABZ 2012: 136-149 - [c32]Mo Liu, Medhabi Ray, Dazhi Zhang, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari:
Realtime healthcare services via nested complex event processing technology. EDBT 2012: 622-625 - [c31]Daniel J. Dougherty, Joshua D. Guttman:
An Algebra for Symbolic Diffie-Hellman Protocol Analysis. TGC 2012: 164-181 - [i1]Daniel J. Dougherty, Joshua D. Guttman:
Symbolic Protocol Analysis for Diffie-Hellman. CoRR abs/1202.2168 (2012) - 2011
- [c30]Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta:
High-performance nested CEP query processing over event streams. ICDE 2011: 123-134 - [c29]Medhabi Ray, Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Abhay Mehta, Ismail Ari:
Optimizing complex sequence pattern extraction using caching. ICDE Workshops 2011: 243-248 - 2010
- [c28]Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta:
NEEL: The Nested Complex Event Language for Real-Time Event Analytics. BIRTE 2010: 116-132 - [c27]Mo Liu, Medhabi Ray, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta:
Processing nested complex sequence pattern queries over event streams. DMSN 2010: 14-19 - [c26]Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
The Margrave Tool for Firewall Analysis. LISA 2010 - [c25]Daniel J. Dougherty, Luigi Liquori:
Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) 2010: 173-191 - [c24]Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty:
Embracing policy engineering. FoSER 2010: 109-110
2000 – 2009
- 2009
- [c23]Venkatesh Raghavan, Yali Zhu, Elke A. Rundensteiner, Daniel J. Dougherty:
Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. BNCOD 2009: 91-106 - [c22]Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Towards an Operational Semantics for Alloy. FM 2009: 483-498 - [c21]Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner:
Extensional and Intensional Strategies. WRS 2009: 1-19 - [c20]Daniel J. Dougherty:
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications. RULE 2009: 77-89 - [e1]Daniel J. Dougherty, Santiago Escobar:
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 [contents] - 2008
- [j16]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398(1-3): 114-128 (2008) - [c19]Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo:
Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169 - [c18]Daniel J. Dougherty, Santiago Escobar:
Preface. SecReT@LICS/CSF 2008: 1-2 - 2007
- [c17]Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Obligations and Their Interaction with Programs. ESORICS 2007: 375-389 - [c16]Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira:
Modular Access Control Via Strategic Rewriting. ESORICS 2007: 578-593 - 2006
- [j15]Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori:
Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. 16(4): 667-709 (2006) - [j14]Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner:
Join minimization in XML-to-SQL translation: an algebraic approach. SIGMOD Rec. 35(1): 20-25 (2006) - [j13]Daniel J. Dougherty, Claudio Gutierrez:
Normal forms for binary relations. Theor. Comput. Sci. 360(1-3): 228-246 (2006) - [c15]Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646 - 2005
- [c14]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec:
Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183 - 2004
- [j12]Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel:
Intersection types for explicit substitutions. Inf. Comput. 189(1): 17-42 (2004) - [j11]Daniel J. Dougherty, Stanley M. Selkow:
The complexity of the certification of properties of Stable Marriage. Inf. Process. Lett. 92(6): 275-277 (2004) - [c13]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166 - [c12]Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH 2004: 57-82 - [c11]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Intersection and Union Types in the lambda-my-my/tilde-calculus. ITRS 2004: 153-172 - 2003
- [j10]Daniel J. Dougherty, Pierre Lescanne:
Reductions, Intersection Types, and Explicit Substitutions. Math. Struct. Comput. Sci. 13(1): 55-85 (2003) - 2002
- [c10]Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne:
An Improved System of Intersection Types for Explicit Substitutions. IFIP TCS 2002: 511-523 - [c9]Daniel J. Dougherty, Tomasz Wierzbicki:
A Decidable Variant of Higher Order Matching. RTA 2002: 340-351 - 2001
- [c8]Daniel J. Dougherty, Pierre Lescanne:
Reductions, Intersection Types, and Explicit Substitutions. TLCA 2001: 121-135 - 2000
- [j9]Daniel J. Dougherty, Ramesh Subrahmanyam:
Equality between Functionals in the Presence of Coproducts. Inf. Comput. 157(1-2): 52-83 (2000) - [c7]Daniel J. Dougherty, Claudio Gutierrez:
Normal Forms and Reduction for Theories of Binary Relations. RTA 2000: 95-109
1990 – 1999
- 1998
- [j8]Friedrich Otto, Paliath Narendran, Daniel J. Dougherty:
Equational Unification, Word Unification, and 2nd-Order Equational Unification. Theor. Comput. Sci. 198(1-2): 1-47 (1998) - 1995
- [j7]Daniel J. Dougherty, Patricia Johann:
A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. 139(1&2): 207-242 (1995) - [c6]Daniel J. Dougherty, Ramesh Subrahmanyam:
Equality between Functionals in the Presence of Coproducts. LICS 1995: 282-291 - [c5]Friedrich Otto, Paliath Narendran, Daniel J. Dougherty:
Some Independent Results for Equational Unification. RTA 1995: 367-381 - 1993
- [j6]Daniel J. Dougherty:
Closed Categories and Categorial Grammar. Notre Dame J. Formal Log. 34(1): 36-49 (1993) - [j5]Daniel J. Dougherty:
Higher-Order Unification via Combinators. Theor. Comput. Sci. 114(2): 273-298 (1993) - [c4]Daniel J. Dougherty:
Some Lambda Calculi with Categorial Sums and Products. RTA 1993: 137-151 - 1992
- [j4]Daniel J. Dougherty:
Adding Algebraic Rewriting to the Untyped Lambda Calculus. Inf. Comput. 101(2): 251-267 (1992) - [j3]Daniel J. Dougherty, Patricia Johann:
An Improved General E-Unification Method. J. Symb. Comput. 14(4): 303-320 (1992) - [c3]Daniel J. Dougherty, Patricia Johann:
A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE 1992: 79-93 - 1991
- [c2]Daniel J. Dougherty:
Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). RTA 1991: 37-48 - 1990
- [c1]Daniel J. Dougherty, Patricia Johann:
An Improved General E-Unification Method. CADE 1990: 261-275
1980 – 1989
- 1987
- [j2]Daniel J. Dougherty:
Decomposition of infinite matrices. J. Comb. Theory A 45(2): 277-289 (1987) - 1986
- [j1]Daniel J. Dougherty:
Gentzen systems, resolution, and literal trees. Notre Dame J. Formal Log. 27(4): 483-503 (1986)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
