author-photo

Roméo Courbis

University of Franche-Comté

10

Papers

27

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Cover mapping using ambient noise surface wave tomography

2021 Seg Technical Program Expanded Abstracts
Show All
- Source
- Cite
- Save
Citations (0)
Noise-based Ballistic Body-wave Passive Seismic Monitoring

2019
Show All
- Source
- Cite
- Save
Citations (0)
Rewriting approximations for properties verification over CCS specifications

2011 FSEN | Fundamentals of Software Engineering
- Roméo Courbis
Show All
- Source
- Cite
- Save
Citations (2)
Une approche parallèle et distribuée pour la complétion d'automates d'arbre

2010
Show All
- Source
- Cite
- Save
Citations (0)
Finer Is Better: Abstraction Refinement for Rewriting Approximations

2008 RTA | Rewriting Techniques and Applications
Show All
- Source
- Cite
- Save
Citations (16)
Handling Left-Quadratic Rules When Completing Tree Automata

2008 Electronic Notes in Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (1)