60 citations
- Université Paris-SaclayFR43 papers
- Centre National de la Recherche ScientifiqueFR36 papers
- CentraleSupélecFR17 papers
- Institut national de recherche en sciences et technologies du numériqueFR14 papers
- École Normale Supérieure - PSLFR11 papers
- École Normale Supérieure Paris-SaclayFR8 papers
- Laboratoire de Biologie et Pharmacologie AppliquéeFR8 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR8 papers
- Centre Inria de SaclayFR6 papers
- Institut Universitaire de FranceFR6 papers
- Université de LorraineFR6 papers
- Aix-Marseille UniversitéFR5 papers
16 papers · 1 filter
Branch-Well-Structured Transition Systems and Extensions
Benedikt Bollig, Alain Finkel, Amrita Suresh
We propose a relaxation to the definition of well-structured transition systems (\WSTS) while retaining the decidability of boundedness and non-termination. In this class, the well…
Continuous R-valuations
Jean Goubault-Larrecq, Xiaodong Jia
We introduce continuous -valuations on directed-complete posets (dcpos, for short), as a generalization of continuous valuations in domain theory, by extending values of continu…
Natural Language Processing for Cognitive Analysis of Emotions
Gustave Cortal, Alain Finkel, Patrick Paroubek +1
Emotion analysis in texts suffers from two major limitations: annotated gold-standard corpora are mostly small and homogeneous, and emotion identification is often simplified as a…
A single-particle framework for unitary lattice gauge theory in discrete time
Pablo Arnault, Christopher Cedzich
We construct a real-time lattice-gauge-theory-type action for a spin-1/2 matter field of a single particle on a (1+1)-dimensional spacetime lattice. The framework is based on a dis…
A cone-theoretic barycenter existence theorem
Jean Goubault-Larrecq, Xiaodong Jia
We show that every continuous valuation on a locally convex, locally convex-compact, sober topological cone has a barycenter. This barycenter is unique, and the bary…
Zone-based verification of timed automata: extrapolations, simulations and what next?
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau +2
Timed automata have been introduced by Rajeev Alur and David Dill in the early 90's. In the last decades, timed automata have become the de facto model for the verification of real…