Eryk Kopczyński
Eryk Kopczyński
assistant professor, University of Warsaw
Dirección de correo verificada de mimuw.edu.pl - Página principal
Título
Citado por
Citado por
Año
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
732010
Half-positional determinacy of infinite games
E Kopczyński
International Colloquium on Automata, Languages, and Programming, 336-347, 2006
392006
LOIS: syntax and semantics
E Kopczyński, S Toruńczyk
ACM SIGPLAN Notices 52 (1), 586-598, 2017
212017
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
202015
Acute triangulations of polyhedra and ℝ N
E Kopczyński, I Pak, P Przytycki
Combinatorica 32 (1), 85-110, 2012
202012
Complexity of problems of commutative grammars
E Kopczynski
arXiv preprint arXiv:1501.04245, 2015
172015
On tractable parameterizations of graph isomorphism
A Bouland, A Dawar, E Kopczyński
International Symposium on Parameterized and Exact Computation, 218-230, 2012
142012
LOIS: an application of SMT solvers
E Kopczyński, S Toruńczyk
Procs. SMT Workshop 1716, 51-60, 2016
122016
Invisible pushdown languages
E Kopczyński
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
112016
Definability of linear equation systems over groups and rings
A Dawar, E Kopczynski, B Holm, E Grädel, W Pakusa
arXiv preprint arXiv:1204.3022, 2012
102012
On the Computational Complexity of Gossip Protocols.
KR Apt, E Kopczynski, D Wojtczak
IJCAI, 765-771, 2017
82017
Regular graphs and the spectra of two-variable logic with counting
E Kopczynski, T Tan
SIAM Journal on Computing 44 (3), 786-818, 2015
82015
Programming languages in github: a visualization in hyperbolic plane
D Celińska, E Kopczyński
Eleventh International AAAI Conference on Web and Social Media, 2017
72017
Omega-regular half-positional winning conditions
E Kopczyński
International Workshop on Computer Science Logic, 41-53, 2007
72007
HyperRogue: Playing with hyperbolic geometry
E Kopczynski, D Celinska, M Ctrnáct
the proceedings of the Bridges Conference, July, 27-31, 2017
62017
Type checking liveness for collaborative processes with bounded and unbounded recursion
S Debois, T Hildebrandt, T Slaats, N Yoshida
International Conference on Formal Techniques for Distributed Objects …, 2014
62014
Bounded degree and planar spectra
A Dawar, E Kopczyński
arXiv preprint arXiv:1609.01789, 2016
32016
On the variable hierarchy of first-order spectra
E Kopczyński, T Tan
ACM Transactions on Computational Logic (TOCL) 16 (2), 1-12, 2015
32015
A Simple Indeterminate Infinite Game¹
E Kopczyński, D Niwiński
Logic, Computation, Hierarchies 4, 205, 2014
32014
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
32012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20