bibliographer - Petr Hliněný

bibliographer a curated TCS bibliography

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

Strategy Synthesis in Adversarial Patrolling Games Tomáš Brázdil Petr Hliněný Antonín Kučera Vojtěch Řehák Matúš Abaffy [github]

FO model checking on geometric graphs Petr Hliněný Filip Pokrývka Bodhayan Roy [github]

FO Model Checking on Posets of Bounded Width Jakub Gajarsky Petr Hlineny Daniel Lokshtanov Jan Obdrzalek Sebastian Ordyniak M.S. Ramanujan Saket Saurabh [github]

A New Perspective on FO Model Checking of Dense Graph Classes Jakub Gajarský Petr Hliněný Jan Obdrżálek Daniel Lokshtanov M. S. Ramanujan [github]

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

[show logs] [hide logs]