Jakub Michaliszyn
4 papers · 2013–2021 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
📈
Trend Setter
Venues
Top co-authors
Research topics
Keywords
graph querying
(1)
weighted automata
(1)
satisfiability problem
(1)
knowledge graph
(1)
model checking
(1)
epistemic logic
(1)
interval temporal logic
(1)
regular expression
(1)
multi-agent system
(1)
limit-average automata
(1)
automata minimization
(1)
angluin lstar algorithm
(1)
syntactic queries
(1)