Pascal Baumann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICASSP | Evaluation of Deep Audio Representations for Hearables. | Fabian Grger, Pascal Baumann, Ludovic Amruthalingam, Laurent Simon, Ruksana Giurda, Simone Lionetti |
| 2024 | ICALP | Separability in Bchi VASS and Singly Non-Linear Systems of Inequalities. | Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche |
| 2023 | CONCUR | Monus Semantics in Vector Addition Systems with States. | Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche |
| 2023 | FOSSACS | Unboundedness Problems for Machines with Reversal-Bounded Counters. | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar H. Ibarra, Ian McQuillan, Lia Schtze, Georg Zetzsche |
| 2023 | ICALP | Context-Bounded Analysis of Concurrent Programs (Invited Talk). | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2023 | ICALP | Checking Refinement of Asynchronous Programs Against Context-Free Specifications. | Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2023 | STACS | Regular Separability in Bchi VASS. | Pascal Baumann, Roland Meyer, Georg Zetzsche |
| 2022 | STACS | Existential Definability over the Subword Ordering. | Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche |
| 2020 | ICALP | The Complexity of Bounded Context Switching with Dynamic Thread Creation. | Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |