-
Extracting Herbrand trees from Coq
Software certification aims at proving the correctness of programs but in many cases, the use of external libraries allows only a conditional proof: it depends on the... -
Assistance à maîtrise d'ouvrage pour la demande d'élaboration d'un projet par...
This dataset has no description
-
Mise en place d'un think tank frontalier
This dataset has no description
-
Hardness and approximation of gathering in static radio networks
In this paper, we address the problem of gathering information in a specific node (or \emph{sink}) of a radio network, where interference constraints are present. We... -
Mise en place de l'observatoire OSER 70
This dataset has no description
-
Topology-preserving diffusion of divergence-free vector fields and magnetic r...
International audience -
Pour une approche globale des territoires appliquée à l'action sociale
This dataset has no description
-
Mobilité résidentielle transfrontalière entre canton de Neuchâtel et départem...
This dataset has no description
-
Analyses territoriales et gouvernance locale dans le domaine de l'eau : Diagn...
This dataset has no description
-
A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
This paper presents a compositional escape analysis adapted for use in resource limited embedded systems. This analysis covers the full Java language, including... -
Le mobilier céramique de Saint-Vincent-de-Soulages, zone 2 et 3, fouilles 2012
This dataset has no description
-
Étude du matériel céramique : Zone E : quartier potier [Paykend, Oasis de Bou...
This dataset has no description
-
Empirical optimization of divisor arithmetic on hyperelliptic curves over $\m...
A significant amount of effort has been devoted to improving divisor arithmetic on low-genus hyperelliptic curves via explicit versions of generic algorithms. Moderate... -
Embedding of Security Components in Untrusted Third-Party Websites
Security-sensitive components, such as single sign-on APIs, need to be safely deployed on untrusted webpages. We present several new attacks on security components... -
Quelques modes de gestion du temps dans le procès pénal international, Peut -...
Participation au contrat de recherche ANR " MAJICE " et rédaction dune étude de 14 pages. -
Discovering Concrete Attacks on Website Authorization by Formal Analysis
Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by... -
De quoi est faite une trace d'exécution ?
This paper presents the structure of program execution traces. This study extends previous works from many researchers aiming to quantify ILP. Our goal is to...
