Isabella Kaufmann
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 |
|---|---|---|
| Synthesis for multi-weighted games with branching-time winning conditions Application and Theory of Petri Nets and Concurrency | 2022-09-01 | Paper |
| Model checking and synthesis for branching multi-weighted logics Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| A distributed fixed-point algorithm for extended dependency graphs Fundamenta Informaticae | 2018-10-02 | Paper |
| Extended dependency graphs and efficient distributed fixed-point computation | 2018-08-20 | Paper |
Research outcomes over time
This page was built for person: Isabella Kaufmann
