Jakub Michaliszyn

From MaRDI portal
Person:2009650

Available identifiers

zbMath Open michaliszyn.jakubMaRDI QIDQ2009650

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58753782023-02-03Paper
Learning infinite-word automata with loop-index queries2022-04-11Paper
``Most of leads to undecidability: failure of adding frequencies to LTL2021-10-18Paper
https://portal.mardi4nfdi.de/entity/Q51556902021-10-08Paper
Non-deterministic Weighted Automata on Random Words2021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q49993122021-07-06Paper
https://portal.mardi4nfdi.de/entity/Q49865112021-04-27Paper
Average Stack Cost of Büchi Pushdown Automata2020-11-25Paper
https://portal.mardi4nfdi.de/entity/Q51363352020-11-25Paper
Non-deterministic weighted automata evaluated over Markov chains2019-11-29Paper
Satisfiability versus Finite Satisfiability in Elementary Modal Logics2019-01-17Paper
https://portal.mardi4nfdi.de/entity/Q52830182017-07-18Paper
On the Decidability of Elementary Modal Logics2017-07-12Paper
Decidable Elementary Modal Logics2017-05-16Paper
Two-Variable First-Order Logic with Equivalence Closure2017-05-16Paper
Elementary Modal Logics over Transitive Structures2017-02-02Paper
Two-Variable First-Order Logic with Equivalence Closure2014-09-18Paper
https://portal.mardi4nfdi.de/entity/Q54198952014-06-11Paper
The Undecidability of the Logic of Subintervals2014-05-12Paper
Two-Variable Universal Logic with Transitive Closure2012-11-22Paper
Modal Logics Definable by Universal Three-Variable Formulas2012-08-31Paper
B and D Are Enough to Make the Halpern–Shoham Logic Undecidable2010-09-07Paper
Decidability of the Guarded Fragment with the Transitive Closure2009-07-14Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Jakub Michaliszyn