| Reachability Games and Parity Games
|
2022 |
Diekert, Volker |
| Quantitative Weak Linearisation
|
2022 |
Alves, Sandra |
| Denotational and Algebraic Semantics for the CaIT Calculus
|
2022 |
Chen, Ningning |
| Unsatisfiability of Comparison-Based Non-malleability for Commitments
|
2022 |
Firsov, Denis |
| Functional Choreographic Programming
|
2022 |
Cruz-Filipe, Luís |
| A Specification Logic for Programs in the Probabilistic Guarded Command Language
|
2022 |
Pardo, Raúl |
| Runners for Interleaving Algebraic Effects
|
2022 |
Voorneveld, Niels F. W. |
| Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
|
2022 |
Beckert, Bernhard |
| Spatial and Timing Properties in Highway Traffic
|
2022 |
Bischopink, Christopher |
| On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems
|
2022 |
Alturki, Musab A. |
| A Combinatorial Study of Async/Await Processes
|
2022 |
Dien, Matthieu |
| Alternating Automatic Register Machines
|
2022 |
Gao, Ziyuan |
| A Matching Logic Foundation for AIk
|
2022 |
Lungu, Alexandru-Ioan |
| Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs
|
2022 |
Shikata, Hayato |
| Formal Grammars for Turn-Bounded Deterministic Context-Free Languages
|
2022 |
Yamakamni, Tomoyuki |
| A PO Characterisation of Reconfiguration
|
2022 |
Alrahman, Yehia Abd |
| Reconciling Communication Delays and Negation
|
2022 |
Cruz-Filipe, Luís |
| A Verified Implementation of B*-Trees in Isabelle/HOL
|
2022 |
Mündler, Niels |
| Towards a User Interface Description Language Based on Bigraphs
|
2022 |
Nalpon, Nicolas |
| Towards a Unifying Logical Framework for Neural Networks
|
2022 |
Zhang, Xiyue |
Tag hinzufügen