Concepedia

Dan Dougherty

DD

Statistics

Publications

5

Citations

126

H-Index

5

Active since

2003

Affiliations

Worcester Polytechnic Institute(Current)

École Normale Supérieure de Lyon

Laboratoire de l'Informatique du Parallélisme

Dan Dougherty is an author at Worcester Polytechnic Institute specializing in computer science, computing, and type systems.

Publications per year

2003–2011

5

Publications

5

High-performance nested CEP query processing over event streams

Mo Liu, Elke A. Rundensteiner, Dan Dougherty et al. · 2011 · 53 citations

, , +16

Intersection types for explicit substitutions

Stéphane Lengrand, Pierre Lescanne, Dan Dougherty et al. · Information and Computation · 2003 · 36 citations

, , +9

Reductions, intersection types, and explicit substitutions

Dan Dougherty, Pierre Lescanne · Mathematical Structures in Computer Science · 2003 · 15 citations

, , +9

Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics

Dan Dougherty, Pierre Lescanne, Luigi Liquori et al. · Electronic Notes in Theoretical Computer Science · 2005 · 11 citations · Full text

, , +16

Characterizing strong normalization in a language with control operators

Dan Dougherty, Silvia Ghilezan, Pierre Lescanne · 2004 · 11 citations · Full text

, , +12

1–5 of 5