| Energy and mean-payoff games with imperfect information A Degorre, L Doyen, R Gentilini, JF Raskin, S Toruńczyk Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 93 | 2010 |
| First-Order Interpretations of Bounded Expansion Classes J Gajarsky, S Kreutzer, J Nesetril, P Ossona de Mendez, M Pilipczuk, ... 45th International Colloquium on Automata, Languages, and Programming …, 2018 | 63 | 2018 |
| Turing machines with atoms M Bojanczyk, B Klin, S Lasota, S Torunczyk 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 183-192, 2013 | 63 | 2013 |
| Weak MSO+ U over infinite trees M Bojanczyk, S Torunczyk STACS'12 (29th Symposium on Theoretical Aspects of Computer Science) 14, 648-660, 2012 | 55 | 2012 |
| Twin-width IV: ordered graphs and matrices É Bonnet, U Giocanti, P Ossona de Mendez, P Simon, S Thomassé, ... Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022 | 46* | 2022 |
| Automata based verification over linearly ordered data domains L Segoufin, S Toruńczyk Symposium on Theoretical Aspects of Computer Science (STACS2011) 9, 81-92, 2011 | 39 | 2011 |
| The MSO+U Theory of (N,<) Is Undecidable M Bojanczyk, P Parys, S Toruńczyk Symposium on Theoretical Aspects of Computer Science (STACS2016) 47, 21:1--21:8, 2016 | 32* | 2016 |
| On the number of types in sparse graphs M Pilipczuk, S Siebertz, S Toruńczyk Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 30* | 2018 |
| Deterministic automata and extensions of weak mso M Bojanczyk, S Torunczyk IARCS Annual Conference on Foundations of Software Technology and …, 2009 | 30 | 2009 |
| Languages of profinite words and the limitedness problem S Toruńczyk PhD thesis, Warsaw University, 2011 | 28 | 2011 |
| LOIS: syntax and semantics E Kopczyński, S Toruńczyk ACM SIGPLAN Notices 52 (1), 586-598, 2017 | 27 | 2017 |
| Locally finite constraint satisfaction problems B Klin, E Kopczynski, J Ochremiak, S Torunczyk 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 475-486, 2015 | 27 | 2015 |
| Verification of database-driven systems via amalgamation M Bojańczyk, L Segoufin, S Toruńczyk Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013 | 27 | 2013 |
| Imperative programming in sets with atoms M Bojanczyk, S Torunczyk IARCS Annual Conference on Foundations of Software Technology and …, 2012 | 26 | 2012 |
| Progressive algorithms for domination and independence G Fabiański, M Pilipczuk, S Siebertz, S Toruńczyk arXiv preprint arXiv:1811.06799, 2018 | 21 | 2018 |
| Stable graphs of bounded twin-width J Gajarský, M Pilipczuk, S Toruńczyk Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 20 | 2022 |
| LOIS: an application of SMT solvers E Kopczyński, S Toruńczyk Procs. SMT Workshop 1716, 51-60, 2016 | 20 | 2016 |
| Homomorphism problems for first-order definable structures B Klin, S Lasota, JR Ochremiak, SA Torunczyk 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 18 | 2016 |
| Entropy Bounds for Conjunctive Queries with Functional Dependencies T Gogacz, S Toruńczyk 20th International Conference on Database Theory, ICDT 2017 68, 15:1–15:17, 2017 | 16 | 2017 |
| Turing machines with atoms, constraint satisfaction problems, and descriptive complexity B Klin, S Lasota, J Ochremiak, S Toruńczyk Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 16 | 2014 |
Michał PilipczukUniversity of WarsawVerified email at mimuw.edu.pl
