Jakub Michaliszyn

Identifiers

• name variant Jakub Michaliszyn 0.60 · backfill

Papers (9)

1. Approximate Learning of Limit-Average Automata cs.FL · 2019 · author #1
2. Elementary Multimodal Logics cs.LO · 2018 · author #1
3. Average Stack Cost of Buechi Pushdown Automata cs.FL · 2017 · author #1
4. Querying Best Paths in Graph Databases cs.DB · 2017 · author #1
5. Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions cs.LO · 2015 · author #2
6. Satisfiability vs. Finite Satisfiability in Elementary Modal Logics cs.LO · 2012 · author #1
7. On Injective Embeddings of Tree Patterns cs.DB · 2012 · author #1
8. The Last Paper on the Halpern-Shoham Interval Temporal Logic cs.LO · 2010 · author #2
9. The cost of being co-Buchi is nonlinear cs.FL · 2009 · author #2

Mentions

• 1509.00608 #2 · backfill · confidence 0.70 Jakub Michaliszyn
• 1210.2481 #1 · backfill · confidence 0.70 Jakub Michaliszyn
• 1204.4948 #1 · backfill · confidence 0.70 Jakub Michaliszyn
• 1010.4529 #2 · backfill · confidence 0.70 Jakub Michaliszyn
• 0906.0072 #2 · backfill · confidence 0.70 Jakub Michaliszyn

Frequent Coauthors

• Jan Otop 4 shared papers
• Jerzy Marcinkowski 2 shared papers
• Piotr Wieczorek 2 shared papers
• Alessio Lomuscio 1 shared papers
• Anca Muscholl 1 shared papers
• Piotr Witkowski 1 shared papers
• S{\l}awek Staworko 1 shared papers
• Zhilin Wu 1 shared papers