Anton Varonka
From MaRDI portal
Person:2327541
Available identifiers
zbMath Open varonka.antonMaRDI QIDQ2327541
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| From Polynomial Invariants to Linear Loops | 2023-11-03 | Paper |
| What else is undecidable about loops? | 2023-08-17 | Paper |
| Words of minimum rank in deterministic finite automata | 2019-10-15 | Paper |
| Linear Loop Synthesis for Quadratic Invariants | 0001-01-03 | 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: Anton Varonka
