Université Rennes 2

output

20062013

most citedDiffusion of a granular pulse in a rotating drum

53 citations

researchers with a paper here

F. Benatti2 · h 32
A. B. Németh1
Arnaud Guyader1
Bastien Maubert1
C. Poloni1 · h 18
É. Matzner-Lober1 · h 14
Fulvia Confortola1 · h 10
H. Guerin1 · h 9
I. Cantat1 · h 27
Laura Bozzelli1
N. Fournier1 · h 30
N. Hengartner1 · h 30

collaborating institutions

Université de RennesFR8 papers
Institut de recherche mathématique de RennesFR3 papers
Centre National de la Recherche ScientifiqueFR2 papers
Amplitude Systèmes (France)FR1 paper
Babeș-Bolyai UniversityRO1 paper
Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC)ES1 paper
École Supérieure de Commerce de RennesFR1 paper
Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
Institut national de recherche en sciences et technologies du numériqueFR1 paper
Istituto Nazionale di Fisica Nucleare, Sezione di TriesteIT1 paper
Laboratoire d’Analyse et de Mathématiques AppliquéesFR1 paper
Los Alamos National LaboratoryUS1 paper

Showing 2010 · cs.LOShow all

1 paper · 2 filters

cs.LO2010★ 2 cited

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer, Thomas Genet

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…