Semantic Query Processing: Estimating Relational Purity. - Jan-Christoph Kalo; Christoph Lofi; René Pascasl Maseli; Wolf-Tilo Balke (LWDA, 2017)

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)