The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel J. Dougherty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
    Specifying and Reasoning About Dynamic Access-Control Policies. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:632-646 [Conf]
  2. Daniel J. Dougherty, Patricia Johann
    An Improved General E-Unification Method. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:261-275 [Conf]
  3. Daniel J. Dougherty, Patricia Johann
    A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:79-93 [Conf]
  4. Daniel J. Dougherty, Stephane Lengrand, Pierre Lescanne
    An Improved System of Intersection Types for Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:511-523 [Conf]
  5. Daniel J. Dougherty, Ramesh Subrahmanyam
    Equality between Functionals in the Presence of Coproducts [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:282-291 [Conf]
  6. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
    Strong Normalization of the Dual Classical Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:169-183 [Conf]
  7. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
    Characterizing strong normalization in a language with control operators. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:155-166 [Conf]
  8. Daniel J. Dougherty
    Adding Algebraic Rewriting to the Untyped Lambda Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    RTA, 1991, pp:37-48 [Conf]
  9. Daniel J. Dougherty
    Some Lambda Calculi with Categorial Sums and Products. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:137-151 [Conf]
  10. Daniel J. Dougherty, Claudio Gutiérrez
    Normal Forms and Reduction for Theories of Binary Relations. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:95-109 [Conf]
  11. Daniel J. Dougherty, Tomasz Wierzbicki
    A Decidable Variant of Higher Order Matching. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:340-351 [Conf]
  12. Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
    Some Independent Results for Equational Unification. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:367-381 [Conf]
  13. Daniel J. Dougherty, Pierre Lescanne
    Reductions, Intersection Types, and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:121-135 [Conf]
  14. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
    Intersection and Union Types in the lambda-my-my/tilde-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:153-172 [Journal]
  15. Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
    Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:57-82 [Journal]
  16. Daniel J. Dougherty
    Adding Algebraic Rewriting to the Untyped Lambda Calculus [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:101, n:2, pp:251-267 [Journal]
  17. Daniel J. Dougherty, Ramesh Subrahmanyam
    Equality between Functionals in the Presence of Coproducts. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:157, n:1-2, pp:52-83 [Journal]
  18. Stephane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
    Intersection types for explicit substitutions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:17-42 [Journal]
  19. Daniel J. Dougherty, Stanley M. Selkow
    The complexity of the certification of properties of Stable Marriage. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:92, n:6, pp:275-277 [Journal]
  20. Daniel J. Dougherty
    Decomposition of infinite matrices. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1987, v:45, n:2, pp:277-289 [Journal]
  21. Daniel J. Dougherty, Patricia Johann
    An Improved General E-Unification Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:14, n:4, pp:303-320 [Journal]
  22. Daniel J. Dougherty, Pierre Lescanne
    Reductions, Intersection Types, and Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:1, pp:55-85 [Journal]
  23. Daniel J. Dougherty
    Closed Categories and Categorial Grammar. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:36-49 [Journal]
  24. Murali Mani, Song Wang, Daniel J. Dougherty, Elke A. Rundensteiner
    Join minimization in XML-to-SQL translation: an algebraic approach. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2006, v:35, n:1, pp:20-25 [Journal]
  25. Daniel J. Dougherty
    Higher-Order Unification via Combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:2, pp:273-298 [Journal]
  26. Daniel J. Dougherty, Claudio Gutiérrez
    Normal forms for binary relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:228-246 [Journal]
  27. Daniel J. Dougherty, Patricia Johann
    A Combinatory Logic Approach to Higher-Order E-Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:207-242 [Journal]
  28. Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
    Equational Unification, Word Unification, and 2nd-Order Equational Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:198, n:1-2, pp:1-47 [Journal]
  29. Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
    Obligations and Their Interaction with Programs. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:375-389 [Conf]
  30. Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
    Modular Access Control Via Strategic Rewriting. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:578-593 [Conf]

  31. Multi-Join Continuous Query Optimization: Covering the Spectrum of Linear, Acyclic, and Cyclic Queries. [Citation Graph (, )][DBLP]


  32. Towards an Operational Semantics for Alloy. [Citation Graph (, )][DBLP]


  33. Alchemy: transmuting base alloy specifications into implementations. [Citation Graph (, )][DBLP]


  34. Extensional and Intensional Strategies [Citation Graph (, )][DBLP]


  35. An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications [Citation Graph (, )][DBLP]


  36. Preface. [Citation Graph (, )][DBLP]


Search in 0.132secs, Finished in 0.134secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002