Denis Thérien

From MaRDI portal
(Redirected from Person:685707)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
New results on the generalized star-height problem
STACS 89
2022-08-16Paper
Testing membership: Beyond permutation groups
STACS 89
2022-08-16Paper
Finite loops recognize exactly the regular open languages
Automata, Languages and Programming
2018-07-04Paper
Learning read-constant polynomials of constant degree modulo composites
Theory of Computing Systems
2015-02-05Paper
The power of diversity
Descriptional Complexity of Formal Systems
2011-07-29Paper
Learning Read-Constant Polynomials of Constant Degree Modulo Composites
Computer Science – Theory and Applications
2011-06-17Paper
Modular quantifiers2011-03-30Paper
Bounded-depth circuits
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
2010-08-16Paper
Weakly iterated block products and applications to logic and complexity
International Journal of Algebra and Computation
2010-05-25Paper
An Algebraic Perspective on Boolean Function Learning
Lecture Notes in Computer Science
2009-12-01Paper
scientific article; zbMATH DE number 5605078 (Why is no real title available?)2009-09-19Paper
An Algebraic Point of View on the Crane Beach Property
Computer Science Logic
2009-03-12Paper
Tractable Clones of Polynomials over Semigroups
Principles and Practice of Constraint Programming - CP 2005
2008-09-09Paper
Logic Meets Algebra: the Case of Regular Languages
Logical Methods in Computer Science
2007-10-11Paper
STACS 2004
Lecture Notes in Computer Science
2007-10-01Paper
Languages with Bounded Multiparty Communication Complexity
STACS 2007
2007-09-03Paper
Dichotomies in the complexity of solving systems of equations over finite semigroups
Theory of Computing Systems
2007-03-12Paper
Algebraic results on quantum automata
Theory of Computing Systems
2006-10-25Paper
A note on \(\mathbf{MOD}_{p}\)-\(\mathbf{MOD}_{m}\) circuits
Theory of Computing Systems
2006-10-16Paper
Learning expressions and programs over monoids
Information and Computation
2006-04-28Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2006-01-10Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2006-01-10Paper
The many faces of a translation
Journal of Computer and System Sciences
2006-01-10Paper
Developments in Language Theory
Lecture Notes in Computer Science
2005-12-22Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science
2005-08-12Paper
THE DOT-DEPTH AND THE POLYNOMIAL HIERARCHIES CORRESPOND ON THE DELTA LEVELS
International Journal of Foundations of Computer Science
2005-08-03Paper
Imre Simon: an exceptional graduate student
RAIRO - Theoretical Informatics and Applications
2005-06-07Paper
Imre Simon: an exceptional graduate student
RAIRO - Theoretical Informatics and Applications
2005-06-07Paper
Imre Simon: an exceptional graduate student
RAIRO - Theoretical Informatics and Applications
2005-06-07Paper
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture
Journal of Computer and System Sciences
2005-05-12Paper
Complete classifications for the communication complexity of regular languages
Theory of Computing Systems
2005-04-19Paper
MONOIDS AND COMPUTATIONS
International Journal of Algebra and Computation
2005-03-18Paper
Nesting until and since in linear temporal logic
Theory of Computing Systems
2005-01-25Paper
scientific article; zbMATH DE number 2097987 (Why is no real title available?)2004-09-07Paper
scientific article; zbMATH DE number 2086221 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2086407 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2087227 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 2079028 (Why is no real title available?)2004-07-21Paper
scientific article; zbMATH DE number 2038769 (Why is no real title available?)2004-02-08Paper
scientific article; zbMATH DE number 1944133 (Why is no real title available?)2003-11-30Paper
scientific article; zbMATH DE number 1744112 (Why is no real title available?)2003-09-18Paper
Regular languages defined by generalized first-order formulas with a bounded number of bound variables
Theory of Computing Systems
2003-08-26Paper
scientific article; zbMATH DE number 1962825 (Why is no real title available?)2003-08-11Paper
scientific article; zbMATH DE number 1962802 (Why is no real title available?)2003-08-11Paper
An algebraic approach to data languages and timed languages
Information and Computation
2003-07-29Paper
scientific article; zbMATH DE number 1916674 (Why is no real title available?)2003-05-26Paper
scientific article; zbMATH DE number 1863168 (Why is no real title available?)2003-02-03Paper
Efficient threshold circuits for power series
Information and Computation
2003-01-14Paper
scientific article; zbMATH DE number 1834675 (Why is no real title available?)2002-11-25Paper
scientific article; zbMATH DE number 1759404 (Why is no real title available?)2002-11-04Paper
scientific article; zbMATH DE number 1775408 (Why is no real title available?)2002-09-17Paper
Temporal logic and semidirect products: An effective characterization of the until hierarchy
SIAM Journal on Computing
2002-04-23Paper
scientific article; zbMATH DE number 1688392 (Why is no real title available?)2002-01-09Paper
scientific article; zbMATH DE number 1688356 (Why is no real title available?)2002-01-09Paper
scientific article; zbMATH DE number 1688371 (Why is no real title available?)2002-01-09Paper
scientific article; zbMATH DE number 1670879 (Why is no real title available?)2001-11-11Paper
Programs over semigroups of dot-depth one
Theoretical Computer Science
2000-08-21Paper
scientific article; zbMATH DE number 1419257 (Why is no real title available?)2000-03-21Paper
Circuits and expressions with nonassociative gates
Journal of Computer and System Sciences
2000-01-01Paper
scientific article; zbMATH DE number 1223708 (Why is no real title available?)1999-03-30Paper
Threshold circuits of small majority-depth
Information and Computation
1999-01-06Paper
Finite semigroup varieties defined by programs
Theoretical Computer Science
1998-07-22Paper
Nondeterministic \(NC^1\) computation
Journal of Computer and System Sciences
1998-01-01Paper
scientific article; zbMATH DE number 988809 (Why is no real title available?)1997-10-16Paper
Finite Monoids: From Word to Circuit Evaluation
SIAM Journal on Computing
1997-08-03Paper
Logspace and logtime leaf languages
Information and Computation
1997-02-23Paper
Robert Knast (1940-1994)
Semigroup Forum
1996-03-20Paper
Regular languages defined with generalized quantifiers
Information and Computation
1995-07-10Paper
Circuits constructed with MOD\(_ q\) gates cannot compute ``and in sublinear size
Computational Complexity
1995-04-06Paper
The membership problem in aperiodic transformation monoids
Journal of the ACM
1995-01-05Paper
THE BIDETERMINISTIC CONCATENATION PRODUCT
International Journal of Algebra and Computation
1994-04-17Paper
scientific article; zbMATH DE number 512860 (Why is no real title available?)1994-03-10Paper
\(NC^ 1\): The automata-theoretic viewpoint
Computational Complexity
1993-10-10Paper
Some results on the generalized star-height problem
Information and Computation
1993-05-16Paper
scientific article; zbMATH DE number 139630 (Why is no real title available?)1993-03-28Paper
Regular languages in \(NC\)
Journal of Computer and System Sciences
1992-09-27Paper
Two-sided wreath product of categories
Journal of Pure and Applied Algebra
1992-06-27Paper
Non-uniform automata over groups
Information and Computation
1990-01-01Paper
scientific article; zbMATH DE number 4117877 (Why is no real title available?)1989-01-01Paper
Programs over aperiodic monoids
Theoretical Computer Science
1989-01-01Paper
Finite monoids and the fine structure of NC 1
Journal of the ACM
1988-01-01Paper
Locally trivial categories and unambiguous concatenation
Journal of Pure and Applied Algebra
1988-01-01Paper
Partially ordered finite monoids and a theorem of I. Simon
Journal of Algebra
1988-01-01Paper
scientific article; zbMATH DE number 4041299 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4076666 (Why is no real title available?)1988-01-01Paper
On the equation \(x^ t=x^{t+q}\) in categories
Semigroup Forum
1988-01-01Paper
Catégories et langages de dot-depth un
RAIRO - Theoretical Informatics and Applications
1988-01-01Paper
scientific article; zbMATH DE number 4033093 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 4010794 (Why is no real title available?)1987-01-01Paper
Varieties of finite categories
RAIRO - Theoretical Informatics and Applications
1986-01-01Paper
Graph congruences and wreath products
Journal of Pure and Applied Algebra
1985-01-01Paper
scientific article; zbMATH DE number 3912646 (Why is no real title available?)1984-01-01Paper
A language theoretic interpretation of the Schützenberger representations with applications to certain varieties of languages
Semigroup Forum
1984-01-01Paper
scientific article; zbMATH DE number 3912645 (Why is no real title available?)1983-01-01Paper
Sur les monoides dont tous les groupes sont resolubles
Semigroup Forum
1983-01-01Paper
Classification of finite monoids: the language approach
Theoretical Computer Science
1981-01-01Paper
Recognizable languages and congruences
Semigroup Forum
1981-01-01Paper
scientific article; zbMATH DE number 3647158 (Why is no real title available?)1979-01-01Paper


Research outcomes over time


This page was built for person: Denis Thérien