Urmãriți
Eryk Kopczyñski
Eryk Kopczyñski
assistant professor, University of Warsaw
Adresã de e-mail confirmatã pe mimuw.edu.pl - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
852010
Half-positional determinacy of infinite games
E Kopczyñski
International Colloquium on Automata, Languages, and Programming, 336-347, 2006
722006
Acute triangulations of polyhedra and ℝN
E Kopczyñski, I Pak, P Przytycki
Combinatorica 32 (1), 85-110, 2012
322012
On tractable parameterizations of graph isomorphism
A Bouland, A Dawar, E Kopczyñski
Parameterized and Exact Computation: 7th International Symposium, IPEC 2012 …, 2012
302012
HyperRogue: Playing with hyperbolic geometry
E Kopczynski, D Celinska, M Ctrnáct
Proceedings of bridges, 9-16, 2017
292017
LOIS: syntax and semantics
E Kopczyñski, S Toruñczyk
ACM SIGPLAN Notices 52 (1), 586-598, 2017
242017
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
242015
Complexity of problems of commutative grammars
E Kopczynski
Logical Methods in Computer Science 11, 2015
222015
Invisible pushdown languages
E Kopczyñski
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
212016
On the Computational Complexity of Gossip Protocols.
KR Apt, E Kopczynski, D Wojtczak
IJCAI, 765-771, 2017
192017
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
192017
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
192013
LOIS: an application of SMT solvers
E Kopczyñski, S Toruñczyk
Procs. SMT Workshop 1716, 51-60, 2016
182016
Regular graphs and the spectra of two-variable logic with counting
E Kopczynski, T Tan
SIAM Journal on Computing 44 (3), 786-818, 2015
142015
Real-time visualization in anisotropic geometries
E Kopczyñski, D Celiñska-Kopczyñska
Experimental Mathematics 31 (4), 1177-1196, 2022
132022
Omega-regular half-positional winning conditions
E Kopczyñski
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual …, 2007
132007
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
112012
Discrete hyperbolic random graph model
D Celiñska-Kopczyñska, E Kopczyñski
arXiv preprint arXiv:2109.11772, 2021
52021
Bounded degree and planar spectra
A Dawar, E Kopczyñski
Logical Methods in Computer Science 13, 2017
42017
A Simple Indeterminate Infinite Game¹
E Kopczyñski, D Niwiñski
Logic, computation, hierarchies 4, 205, 2014
42014
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20