- Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule:
Propositional Proof Skeletons. TACAS (1) 2023: 329-347 - Yahui Song, Wei-Ngan Chin:
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. TACAS (1) 2023: 569-587 - Bernardo Subercaseaux, Marijn J. H. Heule:
The Packing Chromatic Number of the Infinite Square Grid is 15. TACAS (1) 2023: 389-406 - Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - Anton Wijs, Muhammad Osama:
A GPU Tree Database for Many-Core Explicit State Space Exploration. TACAS (1) 2023: 684-703 - Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents]