Travelled to:1 × Austria
1 × Canada
1 × Hungary
1 × Italy
1 × Japan
1 × Poland
1 × United Kingdom
2 × USA
Collaborated with:S.Lasota M.Bojanczyk S.Torunczyk J.Rot J.Ochremiak V.Sassone ∅ M.Lelyk E.Kopczynski L.Braud L.Schröder T.Mossakowski A.Tarlecki P.Hoffman J.Moerman M.Sammartino A.S.0001 Michal Szynwelski
Talks about:semant (4) atom (3) constraint (2) satisfact (2) automata (2) problem (2) machin (2) nomin (2) modal (2) logic (2)
Person: Bartek Klin
DBLP: Klin:Bartek
Contributed to:
2015
201520142013
2012201120082007
2001
20172017Wrote 11 papers:
- FoSSaCS-2015-KlinR #algebra #logic #semantics
- Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.
- LICS-2015-KlinKOT #constraints #finite #problem
- Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
- LICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine
- Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.
- LICS-2013-BojanczykKLT #turing machine
- Turing Machines with Atoms (MB, BK, SL, ST), pp. 183–192.
- POPL-2012-BojanczykBKL #towards
- Towards nominal computation (MB, LB, BK, SL), pp. 401–412.
- LICS-2011-BojanczykKL #automaton
- Automata with Group Actions (MB, BK, SL), pp. 355–364.
- FoSSaCS-2008-KlinS #calculus #probability #process #semantics
- Structural Operational Semantics for Stochastic Process Calculi (BK, VS), pp. 428–442.
- LICS-2007-Klin #algebra #logic #semantics
- Bialgebraic Operational Semantics and Modal Logic (BK), pp. 336–345.
- FASE-2001-SchroderMTKH #architecture #semantics #specification
- Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.
- CSL-2017-KlinL #calculus
- Modal mu-Calculus with Atoms (BK, ML), p. 21.
- POPL-2017-MoermanS0KS #automaton #learning
- Learning nominal automata (JM, MS, AS0, BK, MS), pp. 613–625.