Jakub Gajarsk\'y (Masaryk University

Identifiers

• name variant Jakub Gajarsk\'y (Masaryk University 0.60 · backfill

Papers (1)

1. Faster Existential FO Model Checking on Posets cs.LO · 2014 · author #1

Mentions

• 1409.4433 #1 · backfill · confidence 0.70 Jakub Gajarsk\'y (Masaryk University

Frequent Coauthors

• Brno) 1 shared papers
• Jan Obdr\v{z}\'alek (Masaryk University 1 shared papers
• Petr Hlin\v{e}n\'y (Masaryk University 1 shared papers
• Sebastian Ordyniak (Masaryk University 1 shared papers