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: Michaliszyn:Jakub
Contributed to:
2014
20132012
20122011
20102009Wrote 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.