Anton Chernev

According to our database, Anton Chernev authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Unambiguous Acceptance of Thin Coalgebras.

Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, October, 2025

Thin Coalgebraic Behaviours Are Inductive.

Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients.

Anton Chernev, Helle Hvid Hansen, Clemens Kupke

CoRR, 2024

Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients.

Anton Chernev, Helle Hvid Hansen, Clemens Kupke

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024