dblp.uni-trier.dewww.uni-trier.de

Daniel J. Dougherty

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
33EEShriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo: Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
32EEDaniel 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
31EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
30EEDaniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira: Modular Access Control Via Strategic Rewriting. ESORICS 2007: 578-593
2006
29EEDaniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi: Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
28EEDaniel 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)
27EEMurali 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)
26EEDaniel J. Dougherty, Claudio Gutiérrez: Normal forms for binary relations. Theor. Comput. Sci. 360(1-3): 228-246 (2006)
2005
25EEDaniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec: Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183
24EEDaniel 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)
23EEDaniel 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
22EEDaniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne: Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166
21EESté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)
20EEDaniel 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
17EEDaniel J. Dougherty, Tomasz Wierzbicki: A Decidable Variant of Higher Order Matching. RTA 2002: 340-351
2001
16EEDaniel 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
13EEFriedrich 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
10EEDaniel 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
1EEDaniel J. Dougherty: Decomposition of infinite matrices. J. Comb. Theory, Ser. A 45(2): 277-289 (1987)

Coauthor Index

1Steffen van Bakel [21]
2Mariangiola Dezani-Ciancaglini [21]
3Kathi Fisler [29] [31] [33]
4Silvia Ghilezan [22] [23] [25] [32]
5Claudio Gutierrez (Claudio Gutiérrez) [15] [26]
6Patricia Johann [2] [4] [6] [10]
7Claude Kirchner [30]
8Hélène Kirchner [30]
9Shriram Krishnamurthi [29] [31] [33]
10Frédéric Lang [24]
11Stéphane Lengrand [18] [21]
12Pierre Lescanne [16] [18] [19] [21] [22] [23] [24] [25] [28] [32]
13Silvia Likavec [25]
14Luigi Liquori [24] [28]
15Murali Mani [27]
16Paliath Narendran [11] [13]
17Anderson Santana de Oliveira (Anderson Santana) [30]
18Friedrich Otto [11] [13]
19Elke A. Rundensteiner [27]
20Stanley M. Selkow [20]
21Ramesh Subrahmanyam [12] [14]
22Song Wang [27]
23Tomasz Wierzbicki [17]
24Daniel Yoo [33]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)