Skip to main content
Springer Nature Link
Log in

Theoretical Aspects of Computing – ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

  • Conference proceedings
  • © 2025

Overview

Editors:
  1. Chutiporn Anutariya

    1. Asian Institute of Technology, Pathum Thani, Thailand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcello M. Bonsangue

    1. LIACS – Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15373)

Included in the following conference series:

Conference proceedings info: ICTAC 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. 

The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.

Similar content being viewed by others

Keywords

Table of contents (22 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Keynote Presentations and Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Probabilistic Datatypes

      • Chris Chen, Annabelle McIver, Carroll Morgan
      Pages 3-16

    3. Disentangling the Gap Between Quantum and #SAT

      • Jingyi Mei, Jan Martens, Alfons Laarman
      Pages 17-40

  3. Automata, Languages, and Learning

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

      • Stefan Zetzsche, Wojciech Różowski
      Pages 43-61

    3. Jump Complexity of Deterministic Finite Automata with Translucent Letters

      • Szilárd Zsolt Fazekas, Victor Mitrana, Andrei Păun, Mihaela Păun
      Pages 62-77

    4. Learning Closed Signal Flow Graphs

      • Ekaterina Piotrovskaya, Leo Lobski, Fabio Zanasi
      Pages 78-95

    5. Dual Adjunction Between \(\varOmega \)-Automata and Wilke Algebra Quotients

      • Anton Chernev, Helle Hvid Hansen, Clemens Kupke
      Pages 96-113

    6. On Concurrent Program Algebra and Demonic Automata

      • Emil Sekerinski
      Pages 114-131

    7. Bisimulations and Logics for Higher-Dimensional Automata

      • Safa Zouari, Krzysztof Ziemiański, Uli Fahrenberg
      Pages 132-150

  4. Algorithms and Complexity

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Maximizing Weighted Dominance in the Plane

      • Waseem Akram, Sanjeev Saxena
      Pages 153-163

    3. Generalized Parikh Matrices for Tracking Subsequence Occurrences

      • Szilárd Zsolt Fazekas, Xinhao Huang
      Pages 164-181

    4. Card-Based Protocols with Single-Card Encoding

      • Kazumasa Shinagawa
      Pages 182-194

  5. Graphs and Games

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control

      • Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo
      Pages 197-214

    3. Disconnection Rules are Complete for Chemical Reactions

      • Ella Gale, Leo Lobski, Fabio Zanasi
      Pages 215-231

    4. Verification with Common Knowledge of Rationality for Graph Games

      • Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
      Pages 232-248

  6. Process Calculi

    1. Front Matter

      Pages 249-249
      Download chapter PDF
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2024

Editors and Affiliations

  • Asian Institute of Technology, Pathum Thani, Thailand

    Chutiporn Anutariya

  • LIACS – Leiden University, Leiden, The Netherlands

    Marcello M. Bonsangue

Bibliographic Information

  • Book Title: Theoretical Aspects of Computing – ICTAC 2024

  • Book Subtitle: 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings

  • Editors: Chutiporn Anutariya, Marcello M. Bonsangue

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-77019-7

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025

  • Softcover ISBN: 978-3-031-77018-0Published: 22 November 2024

  • eBook ISBN: 978-3-031-77019-7Published: 21 November 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 410

  • Number of Illustrations: 48 b/w illustrations, 24 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top