Name Card

Full name Familienname, Vorname
Fruzsa, Krisztina
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-10 of 10 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman Framing faultiness Kripke stylePresentation Vortrag6-Sep-2022
2Fruzsa, Krisztina New hope for epistemic reasoning in byzantine fault-tolerant distributed systemsPresentation Vortrag9-Jun-2022
3van Ditmarsch-2022-A new hope-vor.pdf.jpgvan Ditmarsch, Hans ; Fruzsa, Krisztina ; Kuznets, Roman A new hopeInproceedings Konferenzbeitrag 2022
4Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Knowledge-based analysis of the Firing Rebels problemPresentation Vortrag2-Nov-2021
5Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
6Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Byzantine Causal ConePräsentation Presentation2019
7Fruzsa, Krisztina Hope for Epistemic Reasoning with Faulty Agents!Konferenzbeitrag Inproceedings 2019
8Prosperi, Laurent ; Kuznets, Roman ; Schmid, Ulrich ; Fruzsa, Krisztina ; Gréaux, Lucas Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal ConeBericht Report2019
9Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Epistemic Reasoning with Byzantine-Faulty AgentsKonferenzbeitrag Inproceedings 2019
10Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Causality and Epistemic Reasoning in Byzantine Multi-Agent SystemsKonferenzbeitrag Inproceedings 2019