Parikh images of grammars: Complexity and applications E Kopczynski, AW To 2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010 | 87 | 2010 |
Half-positional determinacy of infinite games E Kopczyński International Colloquium on Automata, Languages, and Programming, 336-347, 2006 | 73 | 2006 |
On tractable parameterizations of graph isomorphism A Bouland, A Dawar, E Kopczyński Parameterized and Exact Computation: 7th International Symposium, IPEC 2012 …, 2012 | 31 | 2012 |
Acute triangulations of polyhedra and ℝN E Kopczyński, I Pak, P Przytycki Combinatorica 32 (1), 85-110, 2012 | 31 | 2012 |
HyperRogue: Playing with hyperbolic geometry E Kopczynski, D Celinska, M Ctrnáct Proceedings of bridges, 9-16, 2017 | 30 | 2017 |
LOIS: syntax and semantics E Kopczyński, S Toruńczyk ACM SIGPLAN Notices 52 (1), 586-598, 2017 | 24 | 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 | 23 | 2015 |
Complexity of problems of commutative grammars E Kopczynski Logical Methods in Computer Science 11, 2015 | 22 | 2015 |
Definability of linear equation systems over groups and rings A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa Logical Methods in Computer Science 9, 2013 | 22 | 2013 |
Programming languages in github: a visualization in hyperbolic plane D Celińska, E Kopczyński Proceedings of the International AAAI Conference on Web and Social Media 11 …, 2017 | 21 | 2017 |
Invisible pushdown languages E Kopczyński Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 20 | 2016 |
On the Computational Complexity of Gossip Protocols. KR Apt, E Kopczynski, D Wojtczak IJCAI, 765-771, 2017 | 19 | 2017 |
LOIS: an application of SMT solvers E Kopczyński, S Toruńczyk Procs. SMT Workshop 1716, 51-60, 2016 | 18 | 2016 |
Real-time visualization in anisotropic geometries E Kopczyński, D Celińska-Kopczyńska Experimental Mathematics 31 (4), 1177-1196, 2022 | 14 | 2022 |
Regular graphs and the spectra of two-variable logic with counting E Kopczynski, T Tan SIAM Journal on Computing 44 (3), 786-818, 2015 | 14 | 2015 |
Omega-regular half-positional winning conditions E Kopczyński Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007 | 14 | 2007 |
Ramsey’s theorem for colors from a metric space M Bojańczyk, E Kopczyński, S Toruńczyk Semigroup Forum 85 (1), 182-184, 2012 | 12 | 2012 |
Discrete hyperbolic random graph model D Celińska-Kopczyńska, E Kopczyński arXiv preprint arXiv:2109.11772, 2021 | 5 | 2021 |
Bounded degree and planar spectra A Dawar, E Kopczyński Logical Methods in Computer Science 13, 2017 | 4 | 2017 |
A Simple Indeterminate Infinite Game¹ E Kopczyński, D Niwiński Logic, computation, hierarchies 4, 205, 2014 | 4 | 2014 |