Baumann, Pascal
- Context-Bounded Verification of Thread Pools
2021/11/17 by Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S. +1 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)
- Evaluation of Deep Audio Representations for Hearables
2025/02/10 by Gröger, Fabian, Baumann, Pascal, Amruthalingam, Ludovic +3 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Sound (cs.SD)