Archive Offers
- Un poste d'enseignant-chercheur à la Faculté des Sciences, Université Paris-Saclay February 06, 2023
2022
- Semantics of Boolean Networks December 13, 2022
- Safety Analysis of Real-Time Discrete-Event and Hybrid Systems December 13, 2022
- Introduction of Timing Aspects into Event-B November 25, 2022
- The compositional structure of indefinite causal order November 18, 2022
- Sectorial constaints in quantum physics November 18, 2022
- Faithful Nash equilibria in games over graphs November 09, 2022
- Synthesizing coalition strategies in parameterized concurrent games November 02, 2022
- Graphical Language for Clifford Hermiticians in Quantum Computing October 14, 2022
- Various subjects on proof system interoperability January 13, 2022
2021
- Synchronization in Stochastic Games December 14, 2021
- A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol December 13, 2021
- Connecting Isabelle/C with Isabelle/Clean December 13, 2021
- Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
- Génération de simulations automobile à partir d’un modèle formel December 09, 2021
- Quantum Networks Theory November 03, 2021
- Quantum networks theory November 03, 2021
- Deciding the Logic of Subsequences April 27, 2021
- Specification and Verification of Properties of Neural Networks April 04, 2021
- Observe locally, control globally April 03, 2021