↓ Skip to main content

Theoretical Aspects of Computing – ICTAC 2018

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
  3. Altmetric Badge
    Chapter 2 LTL Semantic Tableaux and Alternating $$\omega $$ω-automata via Linear Factors
  4. Altmetric Badge
    Chapter 3 Proof Nets and the Linear Substitution Calculus
  5. Altmetric Badge
    Chapter 4 Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms
  6. Altmetric Badge
    Chapter 5 An Automata-Based View on Configurability and Uncertainty
  7. Altmetric Badge
    Chapter 6 Formalising Boost POSIX Regular Expression Matching
  8. Altmetric Badge
    Chapter 7 Monoidal Multiplexing
  9. Altmetric Badge
    Chapter 8 Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism
  10. Altmetric Badge
    Chapter 9 Layer by Layer – Combining Monads
  11. Altmetric Badge
    Chapter 10 Layer Systems for Confluence—Formalized
  12. Altmetric Badge
    Chapter 11 A Metalanguage for Guarded Iteration
  13. Altmetric Badge
    Chapter 12 Generating Armstrong ABoxes for $$\mathcal {ALC}$$ALC TBoxes
  14. Altmetric Badge
    Chapter 13 Spatio-Temporal Domains: An Overview
  15. Altmetric Badge
    Chapter 14 Checking Modal Contracts for Virtually Timed Ambients
  16. Altmetric Badge
    Chapter 15 Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
  17. Altmetric Badge
    Chapter 16 Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
  18. Altmetric Badge
    Chapter 17 Symbolic Computation via Program Transformation
  19. Altmetric Badge
    Chapter 18 Double Applicative Functors
  20. Altmetric Badge
    Chapter 19 Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving
  21. Altmetric Badge
    Chapter 20 Explicit Auditing
  22. Altmetric Badge
    Chapter 21 Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
  23. Altmetric Badge
    Chapter 22 Complexity Results on Register Context-Free Grammars and Register Tree Automata
  24. Altmetric Badge
    Chapter 23 Information Flow Certificates
  25. Altmetric Badge
    Chapter 24 The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers
  26. Altmetric Badge
    Chapter 25 Convex Language Semantics for Nondeterministic Probabilistic Automata
  27. Altmetric Badge
    Chapter 26 Fast Computations on Ordered Nominal Sets
  28. Altmetric Badge
    Chapter 27 Non-preemptive Semantics for Data-Race-Free Programs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
5 X users
reddit
1 Redditor

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
2 Mendeley