↓ Skip to main content
What is this page? Embed badge

Theoretical Aspects of Computing – ICTAC 2023

Overview of attention for book
Cover of 'Theoretical Aspects of Computing – ICTAC 2023'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Optimal Route Synthesis in Space DTN Using Markov Decision Processes
  3. Altmetric Badge
    Chapter 2 Without Loss of Satisfaction
  4. Altmetric Badge
    Chapter 3 Modelling and Verifying Robotic Software that Uses Neural Networks
  5. Altmetric Badge
    Chapter 4 A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy
  6. Altmetric Badge
    Chapter 5 Learning Attack Trees by Genetic Algorithms
  7. Altmetric Badge
    Chapter 6 The Landscape of Computing Symmetric n -Variable Functions with 2 n Cards
  8. Altmetric Badge
    Chapter 7 On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions
  9. Altmetric Badge
    Chapter 8 Towards the Complexity Analysis of Programming Language Proof Methods
  10. Altmetric Badge
    Chapter 9 A Dynamic Temporal Logic for Quality of Service in Choreographic Models
  11. Altmetric Badge
    Chapter 10 Interactive Matching Logic Proofs in Coq
  12. Altmetric Badge
    Chapter 11 An Autonomous Data Language
  13. Altmetric Badge
    Chapter 12 Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
  14. Altmetric Badge
    Chapter 13 Strong Call-by-Value and Multi Types
  15. Altmetric Badge
    Chapter 14 Algorithms for Checking Intersection Non-emptiness of Regular Expressions
  16. Altmetric Badge
    Chapter 15 Realisability of Global Models of Interaction
  17. Altmetric Badge
    Chapter 16 Efficient Reactive Synthesis Using Mode Decomposition
  18. Altmetric Badge
    Chapter 17 A Categorical Approach to Synthetic Chemistry
  19. Altmetric Badge
    Chapter 18 Closure and Decision Properties for Higher-Dimensional Automata
  20. Altmetric Badge
    Chapter 19 Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
  21. Altmetric Badge
    Chapter 20 Synchronous Agents, Verification, and Blame—A Deontic View
  22. Altmetric Badge
    Chapter 21 Store Locally, Prove Globally
  23. Altmetric Badge
    Chapter 22 Denotational Semantics for Symbolic Execution
  24. Altmetric Badge
    Chapter 23 TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
  25. Altmetric Badge
    Chapter 24 Simplifying Process Parameters by Unfolding Algebraic Data Types
  26. Altmetric Badge
    Chapter 25 Modular Soundness Checking of Feature Model Evolution Plans
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theoretical Aspects of Computing – ICTAC 2023
Published by
Springer Nature Switzerland, December 2023
DOI 10.1007/978-3-031-47963-2
ISBNs
978-3-03-147962-5, 978-3-03-147963-2
Editors

Ábrahám, Erika, Dubslaff, Clemens, Tarifa, Silvia Lizeth Tapia

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.