% csauthors.net - beta - BibTeX bibliography of Denis Thérien
@inproceedings{conf/icalp/Therien79,
title = {Languages of Nilpotent and Solvable Groups (Extended Abstract).},
year = {1979},
booktitle = {ICALP},
author = {{Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings}
}
@article{journals/tcs/Therien81,
title = {Classification of Finite Monoids: The Language Approach.},
year = {1981},
journal = {Theor. Comput. Sci.},
author = {{Denis Thérien}}
}
@article{journals/ita/WeissT86,
title = {Varieties of Finite Categories.},
year = {1986},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Alex Weiss} and {Denis Thérien}}
}
@inproceedings{conf/icalp/BarringtonT87,
title = {Non-Uniform Automata Over Groups.},
year = {1987},
booktitle = {ICALP},
author = {{David A. Mix Barrington} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings}
}
@inproceedings{conf/stoc/BarringtonT87,
title = {Finite Monoids and the Fine Structure of NC¹},
year = {1987},
booktitle = {STOC},
author = {{David A. Mix Barrington} and {Denis Thérien}},
publisher = {ACM},
booktitle = {Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987, New York, New York, USA}
}
@inproceedings{conf/icalp/StraubingTT88,
title = {regular Languages Defined with Generalized Quantifiers.},
year = {1988},
booktitle = {ICALP},
author = {{Howard Straubing} and {Denis Thérien} and {Wolfgang Thomas}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}
}
@inproceedings{conf/litp/StraubingT88,
title = {Finite automata and computational complexity.},
year = {1988},
booktitle = {Formal Properties of Finite Automata and Applications},
author = {{Howard Straubing} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings}
}
@article{journals/ita/Therien88,
title = {Categories Et Langages De Dot-Depth Un.},
year = {1988},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Denis Thérien}}
}
@article{journals/jacm/BarringtonT88,
title = {Finite monoids and the fine structure of NC1.},
year = {1988},
journal = {J. ACM},
author = {{David A. Mix Barrington} and {Denis Thérien}}
}
@inproceedings{conf/icalp/McKenzieT89,
title = {Automata Theory Meets Circuit Complexity.},
year = {1989},
booktitle = {ICALP},
author = {{Pierre McKenzie} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}
}
@inproceedings{conf/stacs/BeaudryMT89,
title = {Testing Membership: Beyond Permutation Groups (Extended Abstract).},
year = {1989},
booktitle = {STACS},
author = {{Martin Beaudry} and {Pierre McKenzie} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}
}
@inproceedings{conf/stacs/PinST89,
title = {New Results on the Generalized Star-Height Problem.},
year = {1989},
booktitle = {STACS},
author = {{Jean-Eric Pin} and {Howard Straubing} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}
}
@article{journals/tcs/Therien89,
title = {Programs over Aperiodic Monoids.},
year = {1989},
journal = {Theor. Comput. Sci.},
author = {{Denis Thérien}}
}
@article{journals/iandc/BarringtonST90,
title = {Non-Uniform Automata Over Groups},
year = {1990},
month = {December},
journal = {Inf. Comput.},
author = {{David A. Mix Barrington} and {Howard Straubing} and {Denis Thérien}}
}
@article{journals/cc/McKenziePT91,
title = {NC¹: The Automata-Theoretic Viewpoint.},
year = {1991},
journal = {Comput. Complex.},
author = {{Pierre McKenzie} and {Pierre Péladeau} and {Denis Thérien}}
}
@inproceedings{conf/latin/Therien92,
title = {Circuits Constructed with MODq Gates Cannot Compute AND in Sublinear Size.},
year = {1992},
booktitle = {LATIN},
author = {{Denis Thérien}},
publisher = {Springer},
booktitle = {LATIN '92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings}
}
@article{journals/jacm/BeaudryMT92,
title = {The Membership Problem in Aperiodic Transformation Monoids.},
year = {1992},
journal = {J. ACM},
author = {{Martin Beaudry} and {Pierre McKenzie} and {Denis Thérien}}
}
@article{journals/jcss/BarringtonCST92,
title = {Regular Languages in NC¹.},
year = {1992},
journal = {J. Comput. Syst. Sci.},
author = {{David A. Mix Barrington} and {Kevin J. Compton} and {Howard Straubing} and {Denis Thérien}}
}
@article{journals/iandc/PinST92,
title = {Some Results on the Generalized Star-Height Problem},
year = {1992},
month = {December},
journal = {Inf. Comput.},
author = {{Jean-Eric Pin} and {Howard Straubing} and {Denis Thérien}}
}
@inproceedings{conf/stacs/MacielT93,
title = {Threshold Circuits for Iterated Multiplication: Using AC0 for Free.},
year = {1993},
booktitle = {STACS},
author = {{Alexis Maciel} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings}
}
@article{journals/ijac/PinT93,
title = {The Bideterministic Concatenation Product.},
year = {1993},
journal = {Int. J. Algebra Comput.},
author = {{Jean-Eric Pin} and {Denis Thérien}}
}
@inproceedings{conf/csl/LautemannST94,
title = {Logics For Context-Free Languages.},
year = {1994},
booktitle = {CSL},
author = {{Clemens Lautemann} and {Thomas Schwentick} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers}
}
@article{journals/cc/McKenzieT94,
title = {Special Issue on Circuit Complexity: Foreword.},
year = {1994},
journal = {Comput. Complex.},
author = {{Pierre McKenzie} and {Denis Thérien}}
}
@article{journals/cc/Therien94,
title = {Circuits Constructed with Mod_q Gates Cannot Compute "And" in Sublinear Size.},
year = {1994},
journal = {Comput. Complex.},
author = {{Denis Thérien}}
}
@article{journals/iandc/StraubingTT95,
title = {Regular Languages Defined with Generalized Quanifiers},
year = {1995},
month = {May},
journal = {Inf. Comput.},
author = {{Howard Straubing} and {Denis Thérien} and {Wolfgang Thomas}}
}
@inproceedings{conf/coco/CaussinusMTV96,
title = {Nondeterministic NC1 Computation.},
year = {1996},
booktitle = {CCC},
author = {{Hervé Caussinus} and {Pierre McKenzie} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996}
}
@article{journals/iandc/JennerMT96,
title = {Logspace and Logtime Leaf Languages.},
year = {1996},
journal = {Inf. Comput.},
author = {{Birgit Jenner} and {Pierre McKenzie} and {Denis Thérien}}
}
@inproceedings{conf/coco/BermanDLMT97,
title = {Circuits and Expressions with NOn-Associative Gates.},
year = {1997},
booktitle = {CCC},
author = {{Joshua Berman} and {Arthur Drisko} and {François Lemieux} and {Cristopher Moore} and {Denis Thérien}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997}
}
@inproceedings{conf/icalp/BeaudryLT97,
title = {Finite Loops Recognize Exactly the Regular Open Languages.},
year = {1997},
booktitle = {ICALP},
author = {{Martin Beaudry} and {François Lemieux} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}
}
@article{journals/siamcomp/BeaudryMPT97,
title = {Finite Moniods: From Word to Circuit Evaluation.},
year = {1997},
journal = {SIAM J. Comput.},
author = {{Martin Beaudry} and {Pierre McKenzie} and {Pierre Péladeau} and {Denis Thérien}}
}
@article{journals/tcs/PeladeauST97,
title = {Finite Semigroup Varieties Defined by Programs.},
year = {1997},
journal = {Theor. Comput. Sci.},
author = {{Pierre Péladeau} and {Howard Straubing} and {Denis Thérien}}
}
@inproceedings{conf/icalp/RaymondTT98,
title = {An Algebraic Approach to Communication Complexity.},
year = {1998},
booktitle = {ICALP},
author = {{Jean-François Raymond} and {Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}
}
@inproceedings{conf/stoc/TherienW98,
title = {Over Words, Two Variables Are as Powerful as One Quantifier Alternation.},
year = {1998},
booktitle = {STOC},
author = {{Denis Thérien} and {Thomas Wilke}},
publisher = {ACM},
booktitle = {Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, Dallas, Texas, USA, May 23-26, 1998}
}
@article{journals/iandc/MacielT98,
title = {Threshold Circuits of Small Majority-Depth.},
year = {1998},
journal = {Inf. Comput.},
author = {{Alexis Maciel} and {Denis Thérien}}
}
@article{journals/jcss/CaussinusMTV98,
title = {Nondeterministic NC1 Computation.},
year = {1998},
journal = {J. Comput. Syst. Sci.},
author = {{Hervé Caussinus} and {Pierre McKenzie} and {Denis Thérien} and {Heribert Vollmer}}
}
@inproceedings{conf/lics/BaziramwaboMT99,
title = {Modular Temporal Logic.},
year = {1999},
booktitle = {LICS},
author = {{Augustin Baziramwabo} and {Pierre McKenzie} and {Denis Thérien}},
publisher = {IEEE Computer Society},
booktitle = {14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999}
}
@article{journals/iandc/MacielT99,
title = {Efficient Threshold Circuits for Power Series.},
year = {1999},
journal = {Inf. Comput.},
author = {{Alexis Maciel} and {Denis Thérien}}
}
@inproceedings{conf/mfcs/BarringtonMMTT00,
title = {Equation Satisfiability and Program Satisfiability for Finite Monoids.},
year = {2000},
booktitle = {MFCS},
author = {{David A. Mix Barrington} and {Pierre McKenzie} and {Cristopher Moore} and {Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}
}
@article{journals/ipl/GoldmannRT00,
title = {An ergodic theorem for read-once non-uniform deterministic finite automata.},
year = {2000},
journal = {Inf. Process. Lett.},
author = {{Mikael Goldmann} and {Alexander Russell} and {Denis Thérien}}
}
@article{journals/jcss/MooreTLBD00,
title = {Circuits and Expressions with Nonassociative Gates.},
year = {2000},
journal = {J. Comput. Syst. Sci.},
author = {{Cristopher Moore} and {Denis Thérien} and {François Lemieux} and {Joshua Berman} and {Arthur Drisko}}
}
@article{journals/tcs/MacielPT00,
title = {Programs over semigroups of dot-depth one.},
year = {2000},
journal = {Theor. Comput. Sci.},
author = {{Alexis Maciel} and {Pierre Péladeau} and {Denis Thérien}}
}
@inproceedings{conf/concur/BouyerPT01,
title = {An Algebraic Characterization of Data and Timed Languages.},
year = {2001},
booktitle = {CONCUR},
author = {{Patricia Bouyer} and {Antoine Petit 001} and {Denis Thérien}},
publisher = {Springer},
booktitle = {CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}
}
@inproceedings{conf/dlt/SchwentickTV01,
title = {Partially-Ordered Two-Way Automata: A New Characterization of DA.},
year = {2001},
booktitle = {Developments in Language Theory},
author = {{Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers}
}
@inproceedings{conf/lics/BarringtonILST01,
title = {The Crane Beach Conjecture.},
year = {2001},
booktitle = {LICS},
author = {{David A. Mix Barrington} and {Neil Immerman} and {Clemens Lautemann} and {Nicole Schweikardt} and {Denis Thérien}},
publisher = {IEEE Computer Society},
booktitle = {16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings}
}
@inproceedings{conf/mfcs/MooreTT01,
title = {Satisfiability of Systems of Equations over Finite Monoids.},
year = {2001},
booktitle = {MFCS},
author = {{Cristopher Moore} and {Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings}
}
@inproceedings{conf/stacs/BeaudryLT01,
title = {Star-Free Open Languages and Aperiodic Loops.},
year = {2001},
booktitle = {STACS},
author = {{Martin Beaudry} and {François Lemieux} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings}
}
@inproceedings{conf/stacs/GavaldaT01,
title = {Learning Expressions over Monoids.},
year = {2001},
booktitle = {STACS},
author = {{Ricard Gavaldà} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings}
}
@article{journals/eccc/ECCC-TR01-040,
title = {On the Languages Recognized by Nilpotent Groups (a translation of "Sur les Langages Reconnus par des Groupes Nilpotents")},
year = {2001},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Pierre Péladeau} and {Denis Thérien}}
}
@article{journals/siamcomp/TherienW01,
title = {Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy.},
year = {2001},
journal = {SIAM J. Comput.},
author = {{Denis Thérien} and {Thomas Wilke}}
}
@inproceedings{conf/latin/StraubingT02,
title = {Weakly Iterated Block Products of Finite Monoids.},
year = {2002},
booktitle = {LATIN},
author = {{Howard Straubing} and {Denis Thérien}},
publisher = {Springer},
booktitle = {LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings}
}
@article{journals/jalc/TessonT02,
title = {The Computing Power of Programs over Finite Monoids.},
year = {2002},
journal = {J. Autom. Lang. Comb.},
author = {{Pascal Tesson} and {Denis Thérien}}
}
@inproceedings{conf/icalp/ChattopadhyayT03,
title = {Locally Commutative Categories.},
year = {2003},
booktitle = {ICALP},
author = {{Arkadev Chattopadhyay} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}
}
@inproceedings{conf/stacs/GavaldaT03,
title = {Algebraic Characterizations of Small Classes of Boolean Functions.},
year = {2003},
booktitle = {STACS},
author = {{Ricard Gavaldà} and {Denis Thérien}},
publisher = {Springer},
booktitle = {STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings}
}
@article{journals/iandc/BouyerPT03,
title = {An algebraic approach to data languages and timed languages.},
year = {2003},
journal = {Inf. Comput.},
author = {{Patricia Bouyer} and {Antoine Petit 001} and {Denis Thérien}}
}
@article{journals/mst/StraubingT03,
title = {Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables.},
year = {2003},
journal = {Theory Comput. Syst.},
author = {{Howard Straubing} and {Denis Thérien}}
}
@inproceedings{conf/dlt/BorchertLSTT04,
title = {The Dot-Depth and the Polynomial Hierarchy Correspond on the Delta Levels.},
year = {2004},
booktitle = {Developments in Language Theory},
author = {{Bernd Borchert} and {Klaus-Jörn Lange} and {Frank Stephan 001} and {Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings}
}
@inproceedings{conf/fsttcs/Therien04,
title = {Regular Languages, Unambiguous Concatenation and Computational Complexity.},
year = {2004},
booktitle = {FSTTCS},
author = {{Denis Thérien}},
publisher = {Springer},
booktitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings}
}
@article{journals/eccc/ECCC-TR04-091,
title = {Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups},
year = {2004},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Ondrej Klíma 001} and {Pascal Tesson} and {Denis Thérien}}
}
@article{journals/ijac/TessonT04,
title = {Monoids and Computations.},
year = {2004},
journal = {Int. J. Algebra Comput.},
author = {{Pascal Tesson} and {Denis Thérien}}
}
@article{journals/mst/TherienW04,
title = {Nesting Until and Since in Linear Temporal Logic.},
year = {2004},
journal = {Theory Comput. Syst.},
author = {{Denis Thérien} and {Thomas Wilke}}
}
@inproceedings{conf/icalp/BeaudryLT05,
title = {Groupoids That Recognize Only Regular Languages.},
year = {2005},
booktitle = {ICALP},
author = {{Martin Beaudry} and {François Lemieux} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}
}
@inproceedings{conf/icalp/TessonT05,
title = {Restricted Two-Variable Sentences, Circuits and Communication Complexity.},
year = {2005},
booktitle = {ICALP},
author = {{Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}
}
@inproceedings{conf/stoc/KouckyPT05,
title = {Bounded-depth circuits: separating wires from gates.},
year = {2005},
booktitle = {STOC},
author = {{Michal Koucký 001} and {Pavel Pudlák} and {Denis Thérien}},
publisher = {ACM},
booktitle = {Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005}
}
@article{journals/eccc/ECCC-TR05-059,
title = {Tractable Clones of Polynomials over Semigroups},
year = {2005},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Víctor Dalmau} and {Ricard Gavaldà} and {Pascal Tesson} and {Denis Thérien}}
}
@article{journals/ijfcs/BorchertLSTT05,
title = {The dot-depth and the polynomial hierarchies correspond on the delta levels.},
year = {2005},
journal = {Int. J. Found. Comput. Sci.},
author = {{Bernd Borchert} and {Klaus-Jörn Lange} and {Frank Stephan 001} and {Pascal Tesson} and {Denis Thérien}}
}
@article{journals/ita/Therien05,
title = {Imre Simon: an exceptional graduate student.},
year = {2005},
journal = {RAIRO Theor. Informatics Appl.},
author = {{Denis Thérien}}
}
@article{journals/jcss/BarringtonILST05,
title = {First-order expressibility of languages with neutral letters or: The Crane Beach conjecture.},
year = {2005},
journal = {J. Comput. Syst. Sci.},
author = {{David A. Mix Barrington} and {Neil Immerman} and {Clemens Lautemann} and {Nicole Schweikardt} and {Denis Thérien}}
}
@article{journals/mst/TessonT05,
title = {Complete Classifications for the Communication Complexity of Regular Languages.},
year = {2005},
journal = {Theory Comput. Syst.},
author = {{Pascal Tesson} and {Denis Thérien}}
}
@inproceedings{conf/coco/KouckyLPT06,
title = {Circuit Lower Bounds via Ehrenfeucht-Fraisse Games.},
year = {2006},
booktitle = {CCC},
author = {{Michal Koucký 001} and {Clemens Lautemann} and {Sebastian Poloczek} and {Denis Thérien}},
publisher = {IEEE Computer Society},
booktitle = {21st Annual IEEE Conference on Computational Complexity (CCC 2006), 16-20 July 2006, Prague, Czech Republic}
}
@inproceedings{conf/csl/LautemannTT06,
title = {An Algebraic Point of View on the Crane Beach Property.},
year = {2006},
booktitle = {CSL},
author = {{Clemens Lautemann} and {Pascal Tesson} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings}
}
@inproceedings{conf/dagstuhl/SchwentickTV06,
title = {06451 Executive Summary -- Circuits, Logic, and Games .},
year = {2006},
booktitle = {Circuits, Logic, and Games},
author = {{Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
booktitle = {Circuits, Logic, and Games, 08.11. - 10.11.2006}
}
@inproceedings{conf/dagstuhl/SchwentickTV06a,
title = {06451 Abstracts Collection -- Circuits, Logic, and Games .},
year = {2006},
booktitle = {Circuits, Logic, and Games},
author = {{Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
booktitle = {Circuits, Logic, and Games, 08.11. - 10.11.2006}
}
@inproceedings{conf/focs/ChattopadhyayGPT06,
title = {Lower bounds for circuits with MOD_m gates.},
year = {2006},
booktitle = {FOCS},
author = {{Arkadev Chattopadhyay} and {Navin Goyal} and {Pavel Pudlák} and {Denis Thérien}},
publisher = {IEEE Computer Society},
booktitle = {47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings}
}
@article{journals/eatcs/TessonT06,
title = {Bridges between Algebraic Automata Theory and Complexity Theory.},
year = {2006},
journal = {Bull. EATCS},
author = {{Pascal Tesson} and {Denis Thérien}}
}
@article{journals/eccc/ChattopadhyayKKSTT06,
title = {Languages with Bounded Multiparty Communication Complexity.},
year = {2006},
journal = {Electron. Colloquium Comput. Complex.},
author = {{Arkadev Chattopadhyay} and {Michal Koucký 001} and {Andreas Krebs} and {Mario Szegedy} and {Pascal Tesson} and {Denis Thérien}}
}
@article{journals/iandc/GavaldaTT06,
title = {Learning expressions and programs over monoids.},
year = {2006},
journal = {Inf. Comput.},
author = {{Ricard Gavaldà} and {Pascal Tesson} and {Denis Thérien}}
}
@article{journals/jcss/McKenzieSTV06,
title = {The many faces of a translation.},
year = {2006},
journal = {J. Comput. Syst. Sci.},
author = {{Pierre McKenzie} and {Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}}
}
@article{journals/mst/AmbainisBGKMT06,
title = {Algebraic Results on Quantum Automata.},
year = {2006},
journal = {Theory Comput. Syst.},
author = {{Andris Ambainis} and {Martin Beaudry} and {Marats Golovkins} and {Arnolds Kikusts} and {Mark Mercer} and {Denis Thérien}}
}
@article{journals/mst/StraubingT06,
title = {A Note on MODp - MODm Circuits.},
year = {2006},
journal = {Theory Comput. Syst.},
author = {{Howard Straubing} and {Denis Thérien}}
}
@article{journals/lmcs/TessonT07,
title = {Logic Meets Algebra: the Case of Regular Languages.},
year = {2007},
journal = {Log. Methods Comput. Sci.},
author = {{Pascal Tesson} and {Denis Thérien}}
}
@inproceedings{conf/birthday/StraubingT08,
title = {Modular quantifiers.},
year = {2008},
booktitle = {Logic and Automata},
author = {{Howard Straubing} and {Denis Thérien}},
publisher = {Amsterdam University Press},
booktitle = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].}
}
@inproceedings{conf/alt/GavaldaT09,
title = {An Algebraic Perspective on Boolean Function Learning.},
year = {2009},
booktitle = {ALT},
author = {{Ricard Gavaldà} and {Denis Thérien}},
publisher = {Springer},
booktitle = {Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings}
}
@inproceedings{conf/dagstuhl/RossmanSTV10,
title = {10061 Abstracts Collection - Circuits, Logic, and Games.},
year = {2010},
booktitle = {Circuits, Logic, and Games},
author = {{Benjamin Rossman} and {Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Circuits, Logic, and Games, 07.02. - 12.02.2010}
}
@inproceedings{conf/dagstuhl/RossmanSTV10a,
title = {10061 Executive Summary - Circuits, Logic, and Games.},
year = {2010},
booktitle = {Circuits, Logic, and Games},
author = {{Benjamin Rossman} and {Thomas Schwentick} and {Denis Thérien} and {Heribert Vollmer}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Circuits, Logic, and Games, 07.02. - 12.02.2010}
}
@article{journals/ijac/StraubingTT10,
title = {Weakly Iterated Block Products and Applications to Logic and Complexity.},
year = {2010},
journal = {Int. J. Algebra Comput.},
author = {{Howard Straubing} and {Pascal Tesson} and {Denis Thérien}}
}
@inproceedings{conf/dcfs/Therien11,
title = {The Power of Diversity.},
year = {2011},
booktitle = {DCFS},
author = {{Denis Thérien}},
publisher = {Springer},
booktitle = {Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings}
}
@article{journals/mst/ChattopadhyayGHT14,
title = {Learning Read-Constant Polynomials of Constant Degree Modulo Composites.},
year = {2014},
journal = {Theory Comput. Syst.},
author = {{Arkadev Chattopadhyay} and {Ricard Gavaldà} and {Kristoffer Arnsfelt Hansen} and {Denis Thérien}}
}
@article{journals/corr/abs-2110-15245,
title = {From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence.},
year = {2021},
journal = {CoRR},
author = {{Nicholas Roy} and {Ingmar Posner} and {Tim D. Barfoot} and {Philippe Beaudoin} and {Yoshua Bengio} and {Jeannette Bohg} and {Oliver Brock} and {Isabelle Depatie} and {Dieter Fox} and {Daniel E. Koditschek} and {Tomás Lozano-Pérez} and {Vikash Mansinghka 001} and {Christopher J. Pal} and {Blake A. Richards} and {Dorsa Sadigh} and {Stefan Schaal} and {Gaurav S. Sukhatme} and {Denis Thérien} and {Marc Toussaint} and {Michiel van de Panne}}
}