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
Showing 2019Show all
3 papers · 1 filter
cs.AI2019★ 13 cited
Anti-Alignments -- Measuring The Precision of Process Models and Event Logs
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Processes are a crucial artefact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyse the un…
cs.PL2019★ 1 cited
Revisiting Occurrence Typing
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent +1
We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although oc…
quant-ph2019★ 44 cited
A quantum cellular automaton for one-dimensional QED
Pablo Arrighi, Cédric Bény, Terry Farrelly
We propose a discrete spacetime formulation of quantum electrodynamics in one-dimension (a.k.a the Schwinger model) in terms of quantum cellular automata, i.e. translationally inva…