Isabella Kaufmann

Available identifiers

zbMath Open kaufmann.isabellaMaRDI QIDQ1662531

List of research outcomes

Publication	Date of Publication	Type
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions	2022-09-01	Paper
Model checking and synthesis for branching multi-weighted logics	2019-06-20	Paper
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*	2018-10-02	Paper
Extended dependency graphs and efficient distributed fixed-point computation	2018-08-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Isabella Kaufmann