Agns Arnould
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1995–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LOPSTR | Program Synthesis for Geometric Modeling. | Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agns Arnould |
| 2007 | LATA | Topology-based Geometric Modelling for Biological Cellular Processes. | Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agns Arnould, Philippe Meseure |
| 2006 | ICSEA | Automatic Generation of Functional Programs from CASL Specifications. | Agns Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet |
| 1996 | EDCC | Dynamic Testing from Bounded Data Type Specifications. | Agns Arnould, Pascale Le Gall, Bruno Marre |
| 1995 | COMPASS | Formal Specifications and Test: Correctness and Oracle. | Pascale Le Gall, Agns Arnould |