Archive Offers

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