|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel J. Dougherty, Joshua D. Guttman |
Symbolic Protocol Analysis for Diffie-Hellman  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Luigi Liquori |
Logic and Computation in a Lambda Calculus with Intersection and Union Types. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty |
Embracing policy engineering. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Santiago Escobar |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner |
Extensional and Intensional Strategies |
WRS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications |
RULE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Towards an Operational Semantics for Alloy. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo |
Alchemy: transmuting base alloy specifications into implementations. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
relational specification, program synthesis, alloy |
| 1 | Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira |
Modular Access Control Via Strategic Rewriting. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Obligations and Their Interaction with Programs. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Claudio Gutiérrez |
Normal forms for binary relations. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori |
Addressed term rewriting systems: application to a typed object calculus. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner |
Join minimization in XML-to-SQL translation: an algebraic approach. |
SIGMOD Record |
2006 |
DBLP DOI BibTeX RDF |
XML, SQL |
| 1 | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
Specifying and Reasoning About Dynamic Access-Control Policies. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang |
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Intersection and Union Types in the lambda-my-my/tilde-calculus. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec |
Strong Normalization of the Dual Classical Sequent Calculus. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Stanley M. Selkow |
The complexity of the certification of properties of Stable Marriage. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel |
Intersection types for explicit substitutions. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
Characterizing strong normalization in a language with control operators. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
functional programming, continuations, classical logic, intersection type |
| 1 | Daniel J. Dougherty, Pierre Lescanne |
Reductions, Intersection Types, and Explicit Substitutions. |
Mathematical Structures in Computer Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Tomasz Wierzbicki |
A Decidable Variant of Higher Order Matching. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne |
An Improved System of Intersection Types for Explicit Substitutions. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Pierre Lescanne |
Reductions, Intersection Types, and Explicit Substitutions. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Ramesh Subrahmanyam |
Equality between Functionals in the Presence of Coproducts. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Claudio Gutiérrez |
Normal Forms and Reduction for Theories of Binary Relations. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Paliath Narendran, Daniel J. Dougherty |
Equational Unification, Word Unification, and 2nd-Order Equational Unification. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Patricia Johann |
A Combinatory Logic Approach to Higher-Order E-Unification. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Paliath Narendran, Daniel J. Dougherty |
Some Independent Results for Equational Unification. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Ramesh Subrahmanyam |
Equality between Functionals in the Presence of Coproducts |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Higher-Order Unification via Combinators. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Closed Categories and Categorial Grammar. |
Notre Dame Journal of Formal Logic |
1993 |
DBLP BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Some Lambda Calculi with Categorial Sums and Products. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Patricia Johann |
An Improved General E-Unification Method. |
J. Symb. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Adding Algebraic Rewriting to the Untyped Lambda Calculus |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Patricia Johann |
A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty, Patricia Johann |
An Improved General E-Unification Method. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Dougherty |
Decomposition of infinite matrices. |
J. Comb. Theory, Ser. A |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")