output
20042011
most citedInverse problems for two by two reaction-diffusion system using a Carleman estimate with one observation

66 citations

researchers with a paper here
collaborating institutions

19 papers

cs.DM2009★ 8 cited

Coding cells of digital spaces: a framework to write generic digital topology algorithms

Jacques-Olivier Lachaud

This paper proposes a concise coding of the cells of n-dimensional finite regular grids. It induces a simple, generic and efficient framework for implementing classical digital top…

cs.CV2009★ 20 cited

Maximal digital straight segments and convergence of discrete geometric estimators

F. De Vieilleville, Jacques-Olivier Lachaud, F. Feschet

Discrete geometric estimators approach geometric quantities on digitized shapes without any knowledge of the continuous shape. A classical yet difficult problem is to show that an…

cs.SE2009

Personal report of the 3rd ECMDA-FA'07 conference

Benoît Combemale

Manuscripts notes taken during the conference ECMDA 2008. I give the full conference program (title of the article and name of the person who introduced) detailing some of the pres…

cs.DS2008★ 21 cited

Accelerated Data-Flow Analysis

Jérôme Leroux, Gregoire Sutre

Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…

math.CO2008

Indecomposable Permutations, Hypermaps and Labeled Dyck Paths

Robert Cori

Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecom…

math.OC2008

Design of Cooperative Processes in a Customer-Supplier Relationship: An Approach Based on Simulation and Decision Theory

François Galasso, Caroline Thierry

Performance improvement in supply chains, taking into account customer demand in the tactical planning process is essential. It is more and more difficult for the customers to ensu…