Johanna Brunar

According to our database¹, Johanna Brunar authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Janus-faces of temporal constraint languages: a dichotomy of expressivity.

[BibT_eX]

[DOI]

CoRR, September, 2025

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems.

[BibT_eX]

[DOI]

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