BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Greece
1 × Italy
2 × France
Collaborated with:
E.Kieronski A.Lomuscio J.Otop J.Marcinkowski I.Pratt-Hartmann L.Tendera
Talks about:
logic (6) transit (3) closur (3) elementari (2) variabl (2) undecid (2) halpern (2) system (2) shoham (2) modal (2)

Person: Jakub Michaliszyn

DBLP DBLP: Michaliszyn:Jakub

Contributed to:

KR 20142014
CSL 20132013
CSL 20122012
LICS 20122012
LICS 20112011
ICALP (2) 20102010
ICALP (2) 20092009

Wrote 9 papers:

KR-2014-LomuscioM #abstraction #atl #multi #specification #verification
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (AL, JM).
KR-2014-LomuscioM14a #bound #model checking
Model Checking Unbounded Artifact-Centric Systems (AL, JM).
CSL-2013-MichaliszynO #logic #transitive
Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.
CSL-2012-KieronskiM #logic #transitive
Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
LICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
LICS-2012-MichaliszynO #decidability #logic
Decidable Elementary Modal Logics (JM, JO), pp. 491–500.
LICS-2011-MarcinkowskiM #logic
The Ultimate Undecidability Result for the Halpern-Shoham Logic (JM, JM), pp. 377–386.
ICALP-v2-2010-MarcinkowskiMK #decidability #logic
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable (JM, JM, EK), pp. 357–368.
ICALP-v2-2009-Michaliszyn #decidability #transitive
Decidability of the Guarded Fragment with the Transitive Closure (JM), pp. 261–272.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.