Theoretical Aspects of Computing - ICTAC 2021 [E-Book] : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings / edited by Antonio Cerone, Peter Csaba Ölveczky.
This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtual...
Saved in:
Full text |
|
Personal Name(s): | Cerone, Antonio, editor |
Ölveczky, Peter Csaba, editor | |
Edition: |
1st edition 2021. |
Imprint: |
Cham :
Springer,
2021
|
Physical Description: |
XIV, 405 pages 98 illustrations, 46 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783030853150 |
DOI: |
10.1007/978-3-030-85315-0 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Theoretical Computer Science and General Issues ;
12819 /* Depending on the record driver, $field may either be an array with "name" and "number" keys or a flat string containing only the series name. We should account for both cases to maximize compatibility. */?> Lecture Notes in Computer Science |
Subject (LOC): |
- Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins
- Qualitative-Quantitative Reasoning: thinking informally about formal things
- Model Checking and Machine Learning Joining Forces in Uppaal
- Databases and Distributed Transactions Some Aspects of the Database Resilience
- On the Correctness Problem for Serializability
- Efficient Model Checking Methods A Set Automaton to Locate All Pattern Matches in a Term
- Groote Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs
- A divide & conquer approach to conditional stable model checking
- Formalization and Verification in Coq and Isabelle Certifying Choreography Compilation
- Mechanically Verified Theory of Contracts
- A Complete Semantics of K and Its Translation to Isabelle
- Quantum Computing A New Connective in Natural Deduction, and its Application to Quantum Computing
- Security and Privacy An Incentive Mechanism for Trading Personal Data in Data Markets
- Palamidessi Assessing Security of Crypto-Currencies with Attack-Defense Trees: Proof of Concept and Future Directions
- Compositional Analysis of Protocol Equivalence in the Applied π-calculus using Quasi-Open Bisimilarity
- Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
- Ono Normalising Lustre Preserves Security
- Synthesis and Learning Learning Probabilistic Automata using Residuals
- Deductive Synthesis of Sorting Algorithms in Theorema
- Reactive Synthesis from Visibly Register Pushdown Automata
- Systems Calculi and Analysis ComplexityParser: an automatic tool for certifying poly-time complexity of Java programs
- A Calculus for Attribute-based Memory Updates
- A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.