Moritz Lichter
Orcid: 0000-0001-5437-8074
According to our database1,
Moritz Lichter
authored at least 14 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems.
CoRR, 2024
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2019
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
2018
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015