Roman Kuznets
Orcid: 0000-0001-5894-8724Affiliations:
- TU Wien, Vienna, Autria
- University of Bern, Switzerland
According to our database1,
Roman Kuznets
authored at least 52 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on ltg.unibe.ch
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Logic, Language, Information, and Computation, 2024
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
Minimizing Agents' State Corruption Resulting from Leak-Free Epistemic Communication Modeling.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024
Bisimulation for Impure Simplicial Complexes.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2023
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.
Minds Mach., June, 2023
Log. Methods Comput. Sci., 2023
Dagstuhl Reports, 2023
Proceedings of the Fourteenth International Symposium on Games, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023
2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
J. Log. Comput., 2021
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021
Proceedings of the Logic, Language, Information, and Computation, 2021
2020
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
2019
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
2018
Ann. Pure Appl. Log., 2018
Proceedings of the Advances in Modal Logic 12, 2018
2016
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
2014
2013
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013
2012
Realization for justification logics via nested sequents: Modularity through embedding.
Ann. Pure Appl. Log., 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Proceedings of the Logic, Language, Information and Computation, 2011
Proceedings of the Logic, Language, and Computation, 2011
2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
2008
Proceedings of the Computer Science, 2008
2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2000
Proceedings of the Computer Science Logic, 2000