Concepedia

Denis Thérien

DT

42

Publications

1.9K

Citations

25

H-Index

1980

Active since

Affiliations

McGill University(Current)

Université de Montréal

University of Massachusetts Amherst

Johannes Gutenberg University Mainz

Denis Thérien is an author at McGill University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsLinguisticsComputational ComplexityLanguageFormal VerificationAutomated ReasoningDiscrete MathematicsCircuit Complexity

Publications per year

1980–2021

42

Publications

42

Finite monoids and the fine structure of <i>NC</i> <sup>1</sup>

David A. Mix Barrington, Denis Thérien · Journal of the ACM · 1988 · 163 citations · Full text

Engineering, Nc 1, Formal Methods +11

Non-uniform automata over groups

David A. Mix Barrington, Howard Straubing, Denis Thérien · Information and Computation · 1990 · 117 citations

Non-uniform Automata, Logical Automaton, Engineering +5

Classification of finite monoids: the language approach

Denis Thérien · Theoretical Computer Science · 1981 · 112 citations

Combinatorics On Word, Abstract Algebra, Polymorphism (Computer Science) +5

Over words, two variables are as powerful as one quantifier alternation

Denis Thérien, Thomas Wilke · 1998 · 104 citations · Full text

Regular languages in NC1

David A. Mix Barrington, Kevin J. Compton, Howard Straubing et al. · Journal of Computer and System Sciences · 1992 · 101 citations

Syntax, Formal Language, Computational Linguistics +4

Rows per page

1–5 of 42