On-Chip Memory Access Reduction for Energy-Efficient Dilated Convolution Processing. - Simon Friedrich; Thomas Nalapat; Robert Wittig; Emil Matús; Gerhard P. Fettweis (SAMOS, 2023)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification. - Deepak Narayan Gadde; Thomas Nalapat; Aman Kumar; Djones Lettnin; Wolfgang Kunz; Sebastian Simon (SMACD, 2024)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification. - Deepak Narayan Gadde; Aman Kumar; Thomas Nalapat; Evgenii Rezunov; Fabio Cappellini (CoRR, 2024)