Giorgio Cignarale

Projektass.(FWF) Dott.mag.

Giorgio Cignarale

Role

PreDoc Researcher
Theory and Logic, E192-05

Contact

Projects

Reasoning about Knowledge in Byzantine Distributed Systems
2020 – 2025 / Austrian Science Fund (FWF)
Publications: 135862 / 138795 / 139841 / 153197 / 153663 / 153250 / 154041 / 191139 / 190040 / 191632 / 190029 / 189852 / 190629 / 191144 / 191422 / 193444 / 192652 / 192758 / 192762 / 192722 / 193899 / 193320 / 193705 / 193728 / 197171 / 200368 / 58204 / 58247 / 58669 / 58670 / 135853 / 81441 / 87072 / 87263

Publications

Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling / Cignarale, G., Kuznets, R., & Schlögl, T. (2024). Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling. In Foundations of Information and Knowledge Systems (pp. 165–181). Springer. https://doi.org/10.1007/978-3-031-56940-1_9
Projects: ByzDEL (2020–2025) / DMAC (2019–2024)
Logic of Communication Interpretation: How to Not Get Lost in Translation / Cignarale, G., Kuznets, R., Rincón Galeana, H., & Schmid, U. (2023). Logic of Communication Interpretation: How to Not Get Lost in Translation. In U. Sattler & M. Suda (Eds.), Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings (pp. 119–136). Springer. https://doi.org/10.1007/978-3-031-43369-6_7
Download: PDF (339 KB)
Project: ByzDEL (2020–2025)
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems / Cignarale, G., Schmid, U., Tahko, T. E., & Kuznets, R. (2023). The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. Minds and Machines, 33(2), 293–319. https://doi.org/10.1007/s11023-023-09631-3
Download: publisher pdf (1.12 MB)
Project: ByzDEL (2020–2025)
A Tribute to Philosophical A Priori Knowledge Research in the Design and Analysis of Fault-Tolerant Distributed Systems / Cignarale, G. (2022, January 18). A Tribute to Philosophical A Priori Knowledge Research in the Design and Analysis of Fault-Tolerant Distributed Systems [Conference Presentation]. Meeting Eight Ticamore, Wien, Austria. http://hdl.handle.net/20.500.12708/153250
Project: ByzDEL (2020–2025)
A Multi-Agent Depth Bounded Boolean Logic / Cignarale, G., & Primiero, G. (2020). A Multi-Agent Depth Bounded Boolean Logic. In Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops (pp. 176–191). https://doi.org/10.1007/978-3-030-67220-1_14
Project: ByzDEL (2020–2025)