Offers > Archive
2025
- Metabolic Pathway Analysis in the Presence of Biological Constraints novembre 13, 2025
- Safety Analysis of Real-Time Discrete-Event and Hybrid Systems novembre 13, 2025
- A New Semantics for Boolean Networks Based on Regulatory Threshold Constraints Consistency novembre 12, 2025
- Variants of Higher-Dimensional Automata septembre 24, 2025
- Signalling Strategies in Distributed Networks avril 21, 2025
- Quatre postes d'EC au LMF en 2025 février 04, 2025
- Un poste d'enseignant·e-chercheur·e (professeur·e) à l'ENS Paris-Saclay janvier 31, 2025
- Un poste d'enseignant·e-chercheur·e (professeur·e) à la Faculté des Sciences, Université Paris-Saclay janvier 31, 2025
- Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à la Faculté des Sciences, Université Paris-Saclay janvier 31, 2025
- Un poste d'enseignant·e-chercheur·e (maître·sse de conférences) à Polytech, Université Paris-Saclay janvier 31, 2025
2024
2023
2022
2021
- Synchronization in Stochastic Games décembre 13, 2021
- A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol décembre 13, 2021
- Génération de simulations d'automobiles autonomes à partir d’un modèle formel décembre 09, 2021
- Génération de simulations automobile à partir d’un modèle formel décembre 09, 2021
- Quantum networks theory novembre 03, 2021
- Quantum Networks Theory novembre 03, 2021
- Deciding the Logic of Subsequences avril 27, 2021
- Specification and Verification of Properties of Neural Networks avril 04, 2021
- Observe locally, control globally avril 03, 2021
- Observe locally, control globally avril 03, 2021
