Publications

A preprint version of these publications is available here.


  • 2025
    • Thomas Place and Marc Zeitoun. Closing star-free closure. In: ACM Transactions on Computational Logic (2025). doi: 10.1145/3733831.
    • Thomas Place and Marc Zeitoun. A first taste of MeSCaL, a tool for solving membership problems for regular languages. In: Proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025. Ed. by Giuseppa Castiglione and Sabrina Mantaci. Lecture Notes in Computer Science. Springer, 2025.
    • Thomas Place and Marc Zeitoun. In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages. In: Proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025. Ed. by Giuseppa Castiglione and Sabrina Mantaci. Lecture Notes in Computer Science. Palermo, Italy: Springer, 2025.
    • Thomas Place and Marc Zeitoun. Navigational hierarchies of regular languages. In: Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS’25. 2025.