|
|
Duploid situations in concurrent games
Pierre Clairambault
,
Guillaume Munch-Maccagnoni
12th Workshop on Games for Logic and Programming Languages (GaLoP XII), Juha Kontinen, Marina Lenisa, Apr 2017, Uppsala, Sweden
Conference papers
hal-01991555v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Deciding contextual equivalence of ν-calculus with effectful contexts (full version)
Daniel Hirschkoff
,
Guilhem Jaber
,
Enguerrand Prebet
2023
Preprints, Working Papers, ...
hal-03955303v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Hyperparameter selection for Discrete Mumford-Shah
Charles-Gérard Lucas
,
Barbara Pascal
,
Nelly Pustelnik
,
Patrice Abry
Signal, Image and Video Processing, 2022
Journal articles
hal-03356059v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
Hélène Coullon
,
Ludovic Henrio
,
Frédéric Loulergue
,
Simon Robillard
Journal articles
hal-04067909v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Credibility Intervals for the Reproduction Number of the Covid-19 Pandemic Using Proximal Langevin Samplers
Patrice Abry
,
Gersende Fort
,
Barbara Pascal
,
Nelly Pustelnik
2022
Preprints, Working Papers, ...
hal-03902144v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Etat de l’art sur la co-simulation robotique et réseau des systèmes multi-robots
Théotime Balaguer
,
Olivier Simonin
,
Isabelle Guérin Lassous
,
Isabelle Fantoni
31èmes Journées Francophones des Systèmes Multi-Agents (JFSM 2023), Jul 2023, Strasbourg, France
Conference papers
hal-04105508v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Compared performance of Covid19 reproduction number estimators based on realistic synthetic data
Juliana Du
,
Barbara Pascal
,
Patrice Abry
2023
Preprints, Working Papers, ...
hal-04032614v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
End-to-End Statistical Model Checking for Parametric ODE Models
David Julien
,
Guillaume Cantin
,
Benoît Delahaye
Conference papers
hal-03824899v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|