Stage M2
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
2023
- Modeling Cyber-Physical Systems with HOL-CyberPhi octobre 17, 2023
2022
- Faithful Nash equilibria in games over graphs novembre 09, 2022
- Graphical Language for Clifford Hermiticians in Quantum Computing octobre 14, 2022
2021
- Synchronization in Stochastic Games 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