Optimisation of silver paste for flexography printing on LTCC substrate. - Rita Faddoul; Nadège Reverdy-Bruas; Anne Blayo; Thomas Haas; Christian Zeilmann (Microelectron. Reliab., 2012)

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. - Kittiphon Phalakarn; Toru Takisaka; Thomas Haas; Ichiro Hasuo (CAV (2), 2020)

Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution). - Hernán Ponce de León; Thomas Haas; Roland Meyer 001 (TACAS (2), 2021)

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. - Antonio Paolillo; Hernán Ponce de León; Thomas Haas; Diogo Behrens; Rafael Lourenco de Lima Chehab; Ming Fu; Roland Meyer 001 (CoRR, 2021)

Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). - Hernán Ponce de León; Thomas Haas; Roland Meyer 001 (TACAS (2), 2022)

CAAT: consistency as a theory. - Thomas Haas; Roland Meyer 001; Hernán Ponce de León (Proc. ACM Program. Lang., 2022)

Static Analysis of Memory Models for SMT Encodings. - Thomas Haas; René Pascasl Maseli; Roland Meyer 001; Hernán Ponce de León (Proc. ACM Program. Lang., 2023)

Physical Trace Gas Identification with the Photo Electron Ionization Spectrometer (PEIS). - Theodor Doll; Victor M. Fuenzalida; Helmut Schütte; Stefan Gassmann; Juan J. Velasco-Velez; Robert Köhler; Alex Kontschev; Thomas Haas; Bert Ungethüm; Andreas Walte; Jonas Oberröhrmann; Adrian Onken; et al. (Sensors, 2024)