Szymon Torunczyk
发表
Szczepan Hummel,
Michal Skrzypczak,
Szymon Torunczyk,
2010,
MFCS.
Szymon Torunczyk,
Mikolaj Bojanczyk,
Szymon Toruńczyk,
2018,
LICS.
Szymon Torunczyk,
2012,
ICALP.
Szymon Torunczyk,
Luc Segoufin,
L. Segoufin,
2011,
STACS.
Szymon Torunczyk,
Mikolaj Bojanczyk,
Szymon Toruńczyk,
2012,
FSTTCS.
Szymon Torunczyk,
Joanna Ochremiak,
Eryk Kopczynski,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Szymon Torunczyk,
Pawel Parys,
2016,
CSL.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2017,
LICS.
Szymon Torunczyk,
Mikolaj Bojanczyk,
2012,
STACS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2018,
STACS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2018,
LICS.
Szymon Torunczyk,
Albert Atserias,
Albert Atserias,
2016,
CSL.
Michal Pilipczuk,
Szymon Torunczyk,
2016,
Electron. J. Comb..
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2018,
ArXiv.
Szymon Torunczyk,
Mikolaj Bojanczyk,
2009,
FSTTCS.
Stephan Kreutzer,
Jaroslav Nesetril,
Patrice Ossona de Mendez,
2018,
ICALP.
Szymon Torunczyk,
Tomasz Gogacz,
Szymon Toruńczyk,
2015,
ICDT.
Szymon Torunczyk,
Mikolaj Bojanczyk,
Pawel Parys,
2016,
STACS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2017,
ArXiv.
Szymon Torunczyk,
Jean-François Raskin,
Laurent Doyen,
2010,
CSL.
Slawomir Lasota,
Szymon Torunczyk,
Mikolaj Bojanczyk,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2014,
CSL-LICS.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2018,
Log. Methods Comput. Sci..
Szymon Torunczyk,
Mikolaj Bojanczyk,
Luc Segoufin,
2013,
PODS '13.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2016,
FSTTCS.
Szymon Torunczyk,
Eryk Kopczynski,
Eryk Kopczynski,
2016,
SMT@IJCAR.
Thomas Colcombet,
Szymon Torunczyk,
Denis Kuperberg,
2016,
STACS.
Szymon Torunczyk,
2013,
Bull. EATCS.
Szymon Torunczyk,
Eryk Kopczynski,
Eryk Kopczynski,
2017,
ACM-SIGACT Symposium on Principles of Programming Languages.