Edit Profile Dougherty, Daniel J. Compute Distance To: Compute Author ID: dougherty.daniel-j Published as: Dougherty, D. J.; Dougherty, Daniel; Dougherty, Daniel J. Documents Indexed: 21 Publications since 1986 all top 5 Co-Authors 6 single-authored 4 Lescanne, Pierre 3 Ghilezan, Silvia 3 Liquori, Luigi 2 Johann, Patricia 1 Ball, Richard N. 1 Danas, Ryan 1 de’Liguoro, Ugo 1 Fisler, Kathi 1 Gutiérrez, Claudio 1 Krishnamurthi, Shriram 1 Likavec, Silvia 1 Narendran, Paliath 1 Otto, Friedrich 1 Saghafi, Salman 1 Selkow, Stanley M. 1 Shortt, Rae Michael 1 Stolze, Claude 1 Subrahmanyam, Ramesh all top 5 Serials 5 Theoretical Computer Science 2 Notre Dame Journal of Formal Logic 2 Information and Computation 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Journal of Combinatorial Theory. Series A 1 Topology and its Applications 1 Journal of Symbolic Computation 1 MSCS. Mathematical Structures in Computer Science all top 5 Fields 13 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 15 Publications have been cited 48 times in 40 Documents Cited by ▼ Year ▼ Adding algebraic rewriting to the untyped lambda calculus. Zbl 0769.68058Dougherty, Daniel J. 13 1992 Specifying and reasoning about dynamic access-control policies. Zbl 1222.68361Dougherty, Daniel J.; Fisler, Kathi; Krishnamurthi, Shriram 6 2006 Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre 5 2008 Strong normalization of the dual classical sequent calculus. Zbl 1143.03360Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia 4 2005 Higher-order unification via combinators. Zbl 0772.68061Dougherty, Daniel J. 4 1993 Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre 3 2005 Normal forms for binary relations. Zbl 1097.03059Dougherty, Daniel J.; Gutiérrez, Claudio 2 2006 A combinatory logic approach to higher-order E-unification. Zbl 0874.68271Dougherty, Daniel J.; Johann, Patricia 2 1995 An improved general \(E\)-unification method. Zbl 0773.68063Dougherty, Daniel J.; Johann, Patricia 2 1992 Decomposition theorems for measures. Zbl 0635.28004Shortt, R. M.; Dougherty, D. J.; Ball, R. N. 2 1987 Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036Dougherty, Daniel J.; Liquori, Luigi 1 2010 Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi 1 2006 The complexity of the certification of properties of stable marriage. Zbl 1172.91334Dougherty, Daniel J.; Selkow, Stanley M. 1 2004 A strong Baire category theorem for products. Zbl 0756.54018Dougherty, Daniel J. 1 1991 Decomposition of infinite matrices. Zbl 0687.05005Dougherty, Daniel J. 1 1987 Logic and computation in a lambda calculus with intersection and union types. Zbl 1253.03036Dougherty, Daniel J.; Liquori, Luigi 1 2010 Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre 5 2008 Specifying and reasoning about dynamic access-control policies. Zbl 1222.68361Dougherty, Daniel J.; Fisler, Kathi; Krishnamurthi, Shriram 6 2006 Normal forms for binary relations. Zbl 1097.03059Dougherty, Daniel J.; Gutiérrez, Claudio 2 2006 Addressed term rewriting systems: application to a typed object calculus. Zbl 1122.68069Dougherty, Daniel J.; Lescanne, Pierre; Liquori, Luigi 1 2006 Strong normalization of the dual classical sequent calculus. Zbl 1143.03360Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia 4 2005 Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre 3 2005 The complexity of the certification of properties of stable marriage. Zbl 1172.91334Dougherty, Daniel J.; Selkow, Stanley M. 1 2004 A combinatory logic approach to higher-order E-unification. Zbl 0874.68271Dougherty, Daniel J.; Johann, Patricia 2 1995 Higher-order unification via combinators. Zbl 0772.68061Dougherty, Daniel J. 4 1993 Adding algebraic rewriting to the untyped lambda calculus. Zbl 0769.68058Dougherty, Daniel J. 13 1992 An improved general \(E\)-unification method. Zbl 0773.68063Dougherty, Daniel J.; Johann, Patricia 2 1992 A strong Baire category theorem for products. Zbl 0756.54018Dougherty, Daniel J. 1 1991 Decomposition theorems for measures. Zbl 0635.28004Shortt, R. M.; Dougherty, D. J.; Ball, R. N. 2 1987 Decomposition of infinite matrices. Zbl 0687.05005Dougherty, Daniel J. 1 1987 all cited Publications top 5 cited Publications all top 5 Cited by 66 Authors 5 Dougherty, Daniel J. 3 Fernández, Maribel 2 Arrighi, Pablo 2 Blanqui, Frédéric 2 de’Liguoro, Ugo 2 Dowek, Gilles 2 Ghilezan, Silvia 2 Johann, Patricia 2 Kesner, Delia 2 Kirchner, Claude 2 Lescanne, Pierre 2 Liquori, Luigi 2 van Bakel, Steffen 2 Vial, Pierre 1 Alves, Sandra 1 Balland, Emilie 1 Bao, Yibao 1 Barbanera, Franco 1 Basin, David A. 1 Berger, Ulrich 1 Bertolissi, Clara 1 Brauner, Paul 1 Breazu-Tannen, Val 1 Cantone, Domenico 1 Cosme, Llópez Enric 1 de Moor, Oege 1 Cavalcanti de Moura, Flávio Leonardo 1 Devesas Campos, Marco 1 Di Cosmo, Roberto 1 Díaz-Caro, Alejandro 1 Fang, Binxing 1 Fiore, Marcelo P. 1 Formisano, Andrea 1 Gabbay, Murdoch James 1 Gallier, Jean H. 1 Ghani, Neil 1 Gnaedig, Isabelle 1 Guo, Li 1 Hardin, Thérèse 1 Honsell, Furio 1 Huang, Hejiao 1 Ivetić, Jelena 1 Jouannaud, Jean-Pierre 1 Kellerer, Hans G. 1 Kirchner, Hélène 1 Klaedtke, Felix 1 Lengrand, Stéphane Jean Eric 1 Lenisa, Marina 1 Likavec, Silvia 1 Lisper, Björn 1 Miquel, Alexandre 1 Morawska, Barbara 1 Müller, Samuel 1 Nicolosi Asmundo, Marianna 1 Okada, Mitsuhiro 1 Omodeo, Eugenio Giovanni 1 Peng, Qingjin 1 Pous, Damien 1 Riba, Colin 1 Sittampalam, Ganesh 1 Socher, Rolf 1 Stolze, Claude 1 Valiron, Benoît 1 Wu, Lushen 1 Yin, Lihua 1 Zălinescu, Eugen all top 5 Cited in 14 Serials 8 Theoretical Computer Science 4 Information and Computation 3 Annals of Pure and Applied Logic 2 Logical Methods in Computer Science 1 Journal of Combinatorial Theory. Series A 1 Mathematische Zeitschrift 1 Notre Dame Journal of Formal Logic 1 Topology and its Applications 1 Journal of Automated Reasoning 1 Journal of Functional Programming 1 Journal of the ACM 1 Journal of Zhejiang University. Science A 1 Science China. Information Sciences 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 29 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Measure and integration (28-XX) 1 General topology (54-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year