Daniel J. Dougherty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
13
Active years
1990–2018
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IFM | Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
| 2017 | EDBT | 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, Robert Hollinger, Devin Roberts, Daniel Tocco |
| 2017 | SEFM | User Studies of Principled Model Finder Output. | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
| 2016 | APLAS | A Realizability Interpretation for Intersection and Union Types. | Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze |
| 2016 | EDBT | Context-Aware Event Stream Analytics. | Olga Poppe, Chuan Lei, Elke A. Rundensteiner, Daniel J. Dougherty |
| 2015 | CADE | Exploring Theories with a Model-Finding Assistant. | Salman Saghafi, Ryan Danas, Daniel J. Dougherty |
| 2014 | CADE | Razor: Provenance and Exploration in Model-Finding. | Salman Saghafi, Daniel J. Dougherty |
| 2014 | IFM | A Hybrid Analysis for Security Protocols with State. | John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman, Paul D. Rowe |
| 2013 | ICSE | Aluminum: principled scenario exploration through minimality. | Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | SIGCOMM | A balance of power: expressive, analyzable controller programming. | Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2012 | EDBT | Realtime healthcare services via nested complex event processing technology. | Mo Liu, Medhabi Ray, Dazhi Zhang, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari |
| 2011 | ICDE | High-performance nested CEP query processing over event streams. | Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, Abhay Mehta |
| 2011 | ICDE | Optimizing complex sequence pattern extraction using caching. | Medhabi Ray, Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Abhay Mehta, Ismail Ari |
| 2010 | LPAR | Logic and Computation in a Lambda Calculus with Intersection and Union Types. | Daniel J. Dougherty, Luigi Liquori |
| 2009 | FM | Towards an Operational Semantics for Alloy. | Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2007 | ESORICS | Obligations and Their Interaction with Programs. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2007 | ESORICS | Modular Access Control Via Strategic Rewriting. | Daniel J. Dougherty, Claude Kirchner, Hlne Kirchner, Anderson Santana de Oliveira |
| 2006 | CADE | Specifying and Reasoning About Dynamic Access-Control Policies. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2005 | LPAR | Strong Normalization of the Dual Classical Sequent Calculus. | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec |
| 2004 | PPDP | Characterizing strong normalization in a language with control operators. | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
| 1995 | LICS | Equality between Functionals in the Presence of Coproducts | Daniel J. Dougherty, Ramesh Subrahmanyam |
| 1992 | CADE | A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). | Daniel J. Dougherty, Patricia Johann |
| 1990 | CADE | An Improved General E-Unification Method. | Daniel J. Dougherty, Patricia Johann |