bibliographer - Rémi Morvan

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Homomorphism Problems in Graph Databases and Automatic Structures Rémi Morvan [github]

The Algebras for Automatic Relations Rémi Morvan [github]

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391) Nathanaël Fijalkow Bernd Finkbeiner Guillermo A. Pérez Elizabeth Polgreen Rémi Morvan [github]

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries Diego Figueira Rémi Morvan [github]

A symmetric attractor-decomposition lifting algorithm for parity games Marcin Jurdziński Rémi Morvan Pierre Ohlmann K.~S. Thejaswini [github]

Separating Automatic Relations Pablo Barceló Diego Figueira Rémi Morvan [github]

Universal Algorithms for Parity Games and Nested Fixpoints Marcin Jurdziński Rémi Morvan K. S. Thejaswini [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]