Login / Signup
Mathieu Klein
Publication Activity (10 Years)
Years Active: 2008-2020
Publications (10 Years): 1
Top Topics
Temporal Logic
High Performance Data Mining
Ai Community
Parallel Computation
Top Venues
CoRR
RV
</>
Publications
</>
Mathieu Klein
,
Thomas Carpentier
,
Eric Jeanclaude
,
Rami Kassab
,
Konstantinos Varelas
,
Nico de Bruijn
,
Frédéric Barbaresco
,
Yann Briheche
,
Yann Semet
,
Florence Aligne
AI-Augmented Multi Function Radar Engineering with Digital Twin: Towards Proactivity.
CoRR
(2020)
Benjamin Barre
,
Mathieu Klein
,
Maxime Soucy-Boivin
,
Pierre-Antoine Ollivier
,
Sylvain Hallé
MapReduce for Parallel Trace Validation of LTL Properties.
RV
(2012)
Gabriel Michel
,
Mathieu Klein
Utilisabilité et discrimination: étude préliminaire des machines à voter françaises.
IHM
(2008)