Home > Research > Researchers > Dr Thomas Ball > Publications

Research

Dr Thomas Ball

Honorary Researcher, Honorary Professor

1 - 2 out of 2Page size: 100
RSS feed of this list
  1. 2025
  2. Published

    Symbolic Automata: Omega-Regularity Modulo Theories

    Veanes, M., Ball, T., Ebner, G. & Zhuchko, E., 9/01/2025, In: Proceedings of the ACM on Programming Languages. 9, p. 33-66 34 p., 2.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. 2024
  4. Published

    Jacdac: Service-Based Prototyping of Embedded Systems

    Ball, T., de Halleux, P., Devine, J., Hodges, S. & Moskal, M., 20/06/2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 692-715 24 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Back to top