Daniel J. Dougherty

	2012
45		Daniel J. Dougherty, Joshua D. Guttman: Symbolic Protocol Analysis for Diffie-Hellman CoRR abs/1202.2168: (2012)
	2011
44		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
43		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
42		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
41		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
40		Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty: Embracing policy engineering. FoSER 2010: 109-110
39		Daniel J. Dougherty, Luigi Liquori: Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) 2010: 173-191
	2009
38		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
37		Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Towards an Operational Semantics for Alloy. FM 2009: 483-498
36		Daniel J. Dougherty: An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications RULE 2009: 77-89
35		Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies WRS 2009: 1-19
34		Daniel J. Dougherty, Santiago Escobar: Preface. Electr. Notes Theor. Comput. Sci. 234: 1-2 (2009)
	2008
33		Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
32		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)
	2007
31		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
30		Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira: Modular Access Control Via Strategic Rewriting. ESORICS 2007: 578-593
	2006
29		Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
28		Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori: Addressed term rewriting systems: application to a typed object calculus. Mathematical Structures in Computer Science 16(4): 667-709 (2006)
27		Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner: Join minimization in XML-to-SQL translation: an algebraic approach. SIGMOD Record 35(1): 20-25 (2006)
26		Daniel J. Dougherty, Claudio Gutiérrez: Normal forms for binary relations. Theor. Comput. Sci. 360(1-3): 228-246 (2006)
	2005
25		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec: Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183
24		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. 127(5): 57-82 (2005)
23		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Intersection and Union Types in the lambda-my-my/tilde-calculus. Electr. Notes Theor. Comput. Sci. 136: 153-172 (2005)
	2004
22		Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166
21		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)
20		Daniel J. Dougherty, Stanley M. Selkow: The complexity of the certification of properties of Stable Marriage. Inf. Process. Lett. 92(6): 275-277 (2004)
	2003
19		Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. Mathematical Structures in Computer Science 13(1): 55-85 (2003)
	2002
18		Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne: An Improved System of Intersection Types for Explicit Substitutions. IFIP TCS 2002: 511-523
17		Daniel J. Dougherty, Tomasz Wierzbicki: A Decidable Variant of Higher Order Matching. RTA 2002: 340-351
	2001
16		Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. TLCA 2001: 121-135
	2000
15		Daniel J. Dougherty, Claudio Gutiérrez: Normal Forms and Reduction for Theories of Binary Relations. RTA 2000: 95-109
14		Daniel J. Dougherty, Ramesh Subrahmanyam: Equality between Functionals in the Presence of Coproducts. Inf. Comput. 157(1-2): 52-83 (2000)
	1998
13		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
12		Daniel J. Dougherty, Ramesh Subrahmanyam: Equality between Functionals in the Presence of Coproducts LICS 1995: 282-291
11		Friedrich Otto, Paliath Narendran, Daniel J. Dougherty: Some Independent Results for Equational Unification. RTA 1995: 367-381
10		Daniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. 139(1&2): 207-242 (1995)
	1993
9		Daniel J. Dougherty: Some Lambda Calculi with Categorial Sums and Products. RTA 1993: 137-151
8		Daniel J. Dougherty: Closed Categories and Categorial Grammar. Notre Dame Journal of Formal Logic 34(1): 36-49 (1993)
7		Daniel J. Dougherty: Higher-Order Unification via Combinators. Theor. Comput. Sci. 114(2): 273-298 (1993)
	1992
6		Daniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE 1992: 79-93
5		Daniel J. Dougherty: Adding Algebraic Rewriting to the Untyped Lambda Calculus Inf. Comput. 101(2): 251-267 (1992)
4		Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. J. Symb. Comput. 14(4): 303-320 (1992)
	1991
3		Daniel J. Dougherty: Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). RTA 1991: 37-48
	1990
2		Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. CADE 1990: 261-275
	1987
1		Daniel J. Dougherty: Decomposition of infinite matrices. J. Comb. Theory, Ser. A 45(2): 277-289 (1987)

Coauthor Index

1	Ismail Ari	[41] [42] [43] [44]
2	Steffen van Bakel	[21]
3	Tony Bourdier	[35]
4	Horatiu Cirstea	[35]
5	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[21]
6	Santiago Escobar	[34]
7	Kathi Fisler	[29] [31] [33] [37] [40]
8	Silvia Ghilezan	[22] [23] [25] [32]
9	Theophilos Giannakopoulos	[37]
10	Chetan Gupta	[41] [42] [43] [44]
11	Claudio Gutierrez (Claudio Gutiérrez)	[15] [26]
12	Joshua D. Guttman	[45]
13	Patricia Johann	[2] [4] [6] [10]
14	Claude Kirchner	[30]
15	Hélène Kirchner	[30] [35]
16	Shriram Krishnamurthi	[29] [31] [33] [37] [40]
17	Frédéric Lang	[24]
18	Stéphane Lengrand	[18] [21]
19	Pierre Lescanne	[16] [18] [19] [21] [22] [23] [24] [25] [28] [32]
20	Silvia Likavec	[25]
21	Luigi Liquori	[24] [28] [39]
22	Mo Liu	[41] [42] [43] [44]
23	Murali Mani	[27]
24	Abhay Mehta	[41] [42] [43] [44]
25	Paliath Narendran	[11] [13]
26	Anderson Santana de Oliveira (Anderson Santana)	[30]
27	Friedrich Otto	[11] [13]
28	Venkatesh Raghavan	[38]
29	Medhabi Ray	[41] [43]
30	Elke A. Rundensteiner	[27] [38] [41] [42] [43] [44]
31	Stanley M. Selkow	[20]
32	Ramesh Subrahmanyam	[12] [14]
33	Song Wang	[27] [41] [42] [43] [44]
34	Tomasz Wierzbicki	[17]
35	Daniel Yoo	[33]
36	Yali Zhu	[38]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page