Pascal Baumann
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The complexity of bounded context switching with dynamic thread creation | 2026-03-18 | Paper |
| Separability in Büchi VASS and singly nonlinear systems of inequalities | 2026-01-14 | Paper |
| Monus semantics in vector addition systems with states | 2025-06-26 | Paper |
| Context-bounded analysis of concurrent programs (invited talk) | 2024-11-14 | Paper |
| Checking refinement of asynchronous programs against context-free specifications | 2024-11-14 | Paper |
| Regular separability in Büchi VASS | 2024-10-08 | Paper |
| Existential definability over the subword ordering | 2024-04-23 | Paper |
| Existential Definability over the Subword Ordering Logical Methods in Computer Science | 2024-01-16 | Paper |
| Unboundedness problems for machines with reversal-bounded counters Lecture Notes in Computer Science | 2023-11-24 | Paper |
Research outcomes over time
This page was built for person: Pascal Baumann
