Rachel Faran
From MaRDI portal
Person:1629749
Available identifiers
zbMath Open faran.rachelMaRDI QIDQ1629749
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| On (I/O)-Aware Good-For-Games Automata | 2022-12-22 | Paper |
| On Synthesis of Specifications with Arithmetic | 2020-07-20 | Paper |
| A Parametrized Analysis of Algorithms on Hierarchical Graphs | 2019-12-10 | Paper |
| LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems | 2019-07-04 | Paper |
| Spanning the spectrum from safety to liveness | 2018-12-12 | Paper |
| A parametrized analysis of algorithms on hierarchical graphs | 2017-08-31 | Paper |
| Spanning the Spectrum from Safety to Liveness | 2016-01-08 | 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: Rachel Faran
