Irène Durand

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!

Publication	Date of Publication	Type
On using SAT solvers for graph computations Discrete Applied Mathematics	2025-12-16	Paper
On defining linear orders by automata Moscow Journal of Combinatorics and Number Theory	2020-11-10	Paper
Decidable call by need computations in term rewriting (extended abstract) Automated Deduction—CADE-14	2019-10-01	Paper
Computations by fly-automata beyond monadic second-order logic Theoretical Computer Science	2016-02-26	Paper
Bottom-up rewriting for words and terms Journal of Symbolic Computation	2014-09-11	Paper
\texttt{Autowrite}: a tool for term rewrite systems and tree automata	2013-09-20	Paper
Model-checking by infinite fly-automata Algebraic Informatics	2013-09-20	Paper
Automata for the verification of monadic second-order graph properties Journal of Applied Logic	2013-05-02	Paper
Termination of linear bounded term rewriting systems	2012-04-25	Paper
Left-linear bounded TRSs are inverse recognizability preserving	2012-04-24	Paper
Fly-automata, their properties and applications Implementation and Application of Automata	2011-07-29	Paper
A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation	2009-08-26	Paper
Bottom-Up Rewriting Is Inverse Recognizability Preserving Lecture Notes in Computer Science	2008-01-02	Paper
Decidable call-by-need computations in term rewriting Information and Computation	2005-02-22	Paper
scientific article; zbMATH DE number 2090086 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1701352 (Why is no real title available?)	2002-02-05	Paper
Bounded, strongly sequential and forward-branching term rewriting systems Journal of Symbolic Computation	1995-06-08	Paper
Constructor equivalent term rewriting systems are strongly sequential: A direct proof Information Processing Letters	1994-11-20	Paper
Constructor equivalent term rewriting systems Information Processing Letters	1993-11-15	Paper

Research outcomes over time

This page was built for person: Irène Durand