Bálint Kocsis

According to our database, Bálint Kocsis authored at least 3 papers in 2025.

Collaborative distances:

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

2025

Trees in Coalgebra from Generalized Reachability.

Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg

CoRR, March, 2025

Complete Test Suites for Automata in Monoidal Closed Categories.

Bálint Kocsis, Jurriaan Rot

Proceedings of the Foundations of Software Science and Computation Structures, 2025

Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl).

Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025