Concepedia

Irène Durand

ID

Statistics

Publications

8

Citations

143

H-Index

8

Active since

1991

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Université de Bordeaux

Centre National de la Recherche Scientifique

Irène Durand is an author at Laboratoire Bordelais de Recherche en Informatique specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGrammarCompilersData ScienceGraph TheorySemantic Web

Publications per year

1991–2020

8

Publications

8

Automata for the verification of monadic second-order graph properties

Bruno Courcelle, Irène Durand · Journal of Applied Logic · 2012 · 28 citations

Logical Automaton, Engineering, Graph Theory +6

Computations by fly-automata beyond monadic second-order logic

Bruno Courcelle, Irène Durand · Theoretical Computer Science · 2015 · 20 citations · Full text

Computational Logic, Logical Automaton, Monadic Second-order Logic +6

Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems

Irène Durand · Journal of Symbolic Computation · 1994 · 20 citations

Strongly Sequential, Engineering, Automated Reasoning +6

Decidable call-by-need computations in term rewriting

Irène Durand, Aart Middeldorp · Information and Computation · 2005 · 20 citations

Term Rewriting, Engineering, Automated Reasoning +6

Verifying monadic second order graph properties with tree automata

Bruno Courcelle, Irène Durand · 2010 · 18 citations

1–5 of 8