| On the Correctness Problem for Serializability
|
2021 |
König, Jürgen |
| A Divide & Conquer Approach to Conditional Stable Model Checking
|
2021 |
Phyo, Yati |
| A Mechanically Verified Theory of Contracts
|
2021 |
Kastenbaum, Stephane |
| A New Connective in Natural Deduction, and Its Application to Quantum Computing
|
2021 |
Diaz-Caro, Alejandro |
| An Incentive Mechanism for Trading Personal Data in Data Markets
|
2021 |
Biswas, Sayan |
| Normalising Lustre Preserves Security
|
2021 |
Prasad, Sanjiva |
| Certifying Choreography Compilation
|
2021 |
Cruz-Filipe, Luis |
| Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
|
2021 |
Manabe, Yoshifumi |
| Compositional Analysis of Protocol Equivalence in the Applied x-Calculus Using Quasi-open Bisimilarity
|
2021 |
Horne, Ross |
| Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions
|
2021 |
Eisentraut, Julia |
| A Calculus for Attribute-Based Memory Updates
|
2021 |
Miculan, Marino |
| Some Aspects of the Database Resilience
|
2021 |
Bustamante, Luis Henrique |
| Accelerating SPDMV Multiplication in Probabilistic Model Checkers Using GPUS
|
2021 |
Khan, Muhammad Hannan |
| AlCons: Deductive Synthesis of Sorting Algorithms in Theorema
|
2021 |
Drämnesc, Isabela |
| COMPLEXITYPARSER: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
|
2021 |
Hainry, Emmanuel |
| A Proof Method for Local Sufficient Completeness of Term Rewriting Systems
|
2021 |
Shiraishi, Tomoki |
| Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things
|
2021 |
Dix, Alan |
| Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins
|
2021 |
Aalst, Wil M. P. van der |
| A Set Automaton to Locate All Pattern Matches in a Term
|
2021 |
Erkens, Rick |
| A Complete Semantics of K and Its Translation to Isabelle
|
2021 |
Li, Liyi |
Tag hinzufügen