Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Szymon Toruńczyk
2018
- Jakub Gajarský, Stephan Kreutzer, Jaroslav Nešetřil, Patrice Ossona de Mendez, Michał Pilipczuk, Sebastian Siebertz and Szymon Toruńczyk, First-Order Interpretations of Bounded Expansion Classes, in: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, p. 126:1–126:14.see in PBN
- Michał Pilipczuk, Sebastian Siebertz and Szymon Toruńczyk, Parameterized circuit complexity of model-checking on sparse structures, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 2018, p. 789–798.see in PBN
- Michał Pilipczuk, Sebastian Siebertz and Szymon Toruńczyk, On the number of types in sparse graphs, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 2018, p. 799–808.see in PBN
- Mikołaj Bojańczyk and Szymon Toruńczyk, On computability and tractability for infinite sets, in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, 2018, p. 145–154.see in PBN
2017
- Eryk Kopczyński and Szymon Toruńczyk, LOIS: Syntax and Semantics, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, ACM, 2017, p. 586–598.see in PBN
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter and Lorenzo ClementeFilip Murlak (ed.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.see in PBN
- Tomasz Gogacz and Szymon Toruńczyk, Entropy Bounds for Conjunctive Queries with Functional Dependencies, in: 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 15, p. 15:1–15:17.see in PBN
2016
- Eryk Kopczyński and Szymon Toruńczyk, LOIS: an Application of SMT Solvers, in: Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016, CEUR-WS.org, 2016, p. 51–60.see in PBN
- Mikołaj Bojańczyk, Paweł Parys and Szymon Toruńczyk, The MSO+U Theory of (N,<) Is Undecidable, in: 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), Schloss Dagstuhl, 2016, r. 21, p. 21:1–21:8.see in PBN
- Bartosz Klin, Sławomir Lasota, Joanna Ochremiak and Szymon Toruńczyk, Homomorphism Problems for First-Order Definable Structures, in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), 2016, r. 14, p. 14:1–14:15.see in PBN
- Paweł Parys and Szymon Toruńczyk, Models of Lambda-Calculus and the Weak MSO Logic, in: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Schloss Dagstuhl 2016, r. 11, p. 11:1–11:12.see in PBN
- Michał Pilipczuk and Szymon Toruńczyk, On Ultralimits of Sparse Graph Classes, Electronic Journal Of Combinatorics 23 (2) 2016, p. P2.32.see in PBN
- Thomas Colcombet, Denis Kuperberg, Amaldev Manuel and Szymon Toruńczyk, Cost Functions Definable by Min/Max Automata, in: 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016), Schloss Dagstuhl, 2016, r. 29, p. 29:1–29:13.see in PBN
2015
- Bartosz Klin, Eryk Kopczyński, Joanna Ochremiak and Szymon Toruńczyk, Locally Finite Constraint Satisfaction Problems, in: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, IEEE, 2015, p. 475–486.see in PBN
2014
- Bartosz Klin, Sławomir Lasota, Joanna Ochremiak and Szymon Toruńczyk, Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity, in: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014.see in PBN
2013
- Mikołaj Bojańczyk, Bartosz Klin, Sławomir Lasota and Szymon Toruńczyk, Turing machines with atoms, in: Proceedings of LICS 2013, 2013, p. 183–192.see in PBN
- Mikołaj Bojańczyk, Luc Segoufin and Szymon Toruńczyk, Verification of database-driven systems via amalgamation, in: Proceedings of PODS 2013, 2013.see in PBN
2012
- Mikołaj Bojańczyk and Szymon Toruńczyk, Imperative Programming in Sets with Atoms, in: FSTTCS, LIPICS, Dagstuhl 2012.see in PBN
- Szymon Toruńczyk, Languages of Profinite Words and the Limitedness Problem, in: ICALP (2), 2012.see in PBN
- Mikołaj Bojańczyk and Szymon Toruńczyk, Weak MSO+U over infinite trees, in: STACS, 2012.see in PBN
2011
- Luc Segoufin and Szymon Toruńczyk, Automata based verification over linearly ordered data domains, in: STACS, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2011.see in PBN
2010
- Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean Raskin and Szymon Toruńczyk, Energy and Mean-Payoff Games with Imperfect Information, Lecture Notes In Computer Science 6247 2010, p. 260–274.see in PBN
- Szczepan Hummel, Michał Paweł Skrzypczak and Szymon Toruńczyk, On the Topological Complexity of MSO+U and Related Automata Models, in: Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings, Springer, Brno 2010, p. 429–440.see in PBN
2009
- Mikołaj Bojańczyk and Szymon Toruńczyk, Deterministic Automata and Extensions of Weak MSO, in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, Leibniz-Zentrum fuer Informatik, Dagstuhl 2009.see in PBN
You are not logged in | log in
