Johannes Marti
Orcid: 0009-0008-3193-0450
According to our database1,
Johannes Marti
authored at least 24 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
2
1
1
1
3
1
2
2
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Frame Definability in Conditional Logic.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2023
Rev. Symb. Log., June, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
CoRR, 2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
2020
Order, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
2017
Proceedings of the Dynamic Logic. New Trends and Applications, 2017
2016
2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2012
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012