Travelled to:1 × Austria
1 × Czech Republic
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:B.Klin E.Kopczynski M.Bojanczyk J.Ochremiak S.Lasota ∅ A.Atserias P.Parys L.Segoufin A.Degorre L.Doyen R.Gentilini J.Raskin
Talks about:problem (3) constraint (2) satisfact (2) machin (2) finit (2) ture (2) atom (2) imperfect (1) homogeniz (1) structur (1)
Person: Szymon Torunczyk
DBLP: Torunczyk:Szymon
Contributed to:
201520142013
2013
2012
20102016
2017Wrote 9 papers:
- 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.
- PODS-2013-BojanczykST #verification
- Verification of database-driven systems via amalgamation (MB, LS, ST), pp. 63–74.
- ICALP-v2-2012-Torunczyk #problem #word
- Languages of Profinite Words and the Limitedness Problem (ST), pp. 377–389.
- CSL-2010-DegorreDGRT #energy #game studies
- Energy and Mean-Payoff Games with Imperfect Information (AD, LD, RG, JFR, ST), pp. 260–274.
- CSL-2016-AtseriasT #finite
- Non-Homogenizable Classes of Finite Structures (AA, ST), p. 16.
- CSL-2016-ParysT #logic #modelling #λ-calculus
- Models of Lambda-Calculus and the Weak MSO Logic (PP, ST), p. 12.
- POPL-2017-KopczynskiT #named #semantics #syntax
- LOIS: syntax and semantics (EK, ST), pp. 586–598.