Eryk Kopczynski

According to our database, Eryk Kopczynski authored at least 37 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Simulating, Visualizing and Playing with de Sitter and anti de Sitter spacetime.

Eryk Kopczynski

CoRR, 2023

Coordination Sequences of Periodic Structures are Rational via Automata Theory.

Eryk Kopczynski

CoRR, 2023

2022

Real-Time Visualization in Anisotropic Geometries.

Eryk Kopczynski, Dorota Celinska-Kopczynska

Exp. Math., 2022

Generating Regular Hyperbolic Honeycombs.

Dorota Celinska-Kopczynska, Eryk Kopczynski

CoRR, 2022

Discrete Hyperbolic Random Graph Model.

Dorota Celinska-Kopczynska, Eryk Kopczynski

Proceedings of the 20th International Symposium on Experimental Algorithms, 2022

Non-Euclidean Self-Organizing Maps.

Dorota Celinska-Kopczynska, Eryk Kopczynski

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Generating Tree Structures for Hyperbolic Tessellations.

Dorota Celinska-Kopczynska, Eryk Kopczynski

CoRR, 2021

Dynamic Distances in Hyperbolic Graphs.

Eryk Kopczynski, Dorota Celinska-Kopczynska

CoRR, 2021

Navigating Higher Dimensional Spaces using Hyperbolic Geometry.

Eryk Kopczynski, Dorota Celinska-Kopczynska

CoRR, 2021

Hyperbolic Minesweeper Is in P.

Eryk Kopczynski

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

2020

Axiomatizing Rectangular Grids with no Extra Non-unary Relations.

Eryk Kopczynski

Fundam. Informaticae, 2020

Real-Time Visualization in Non-Isotropic Geometries.

Eryk Kopczynski, Dorota Celinska-Kopczynska

CoRR, 2020

2019

Logical properties of random graphs from small addable classes.

Anuj Dawar, Eryk Kopczynski

Log. Methods Comput. Sci., 2019

2018

A note on first-order spectra with binary relations.

Eryk Kopczynski, Tony Tan

Log. Methods Comput. Sci., 2018

2017

Bounded degree and planar spectra.

Anuj Dawar, Eryk Kopczynski

Log. Methods Comput. Sci., 2017

Computational Complexity on the Blackboard.

Eryk Kopczynski

Fundam. Informaticae, 2017

Hyperbolic grids and discrete random graphs.

Eryk Kopczynski, Dorota Celinska

CoRR, 2017

LOIS: syntax and semantics.

Eryk Kopczynski, Szymon Torunczyk

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Computational Complexity of Gossip Protocols.

Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Programming Languages in GitHub: A Visualization in Hyperbolic Plane.

Dorota Celinska, Eryk Kopczynski

Proceedings of the Eleventh International Conference on Web and Social Media, 2017

2016

Invisible Pushdown Languages.

Eryk Kopczynski

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

LOIS: an Application of SMT Solvers.

Eryk Kopczynski, Szymon Torunczyk

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

On the Variable Hierarchy of First-Order Spectra.

Eryk Kopczynski, Tony Tan

ACM Trans. Comput. Log., 2015

Regular Graphs and the Spectra of Two-Variable Logic with Counting.

Eryk Kopczynski, Tony Tan

SIAM J. Comput., 2015

Non-dominating Sequences of Vectors Using only Resets and Increments.

Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski

Fundam. Informaticae, 2015

Complexity of Problems of Commutative Grammars.

Eryk Kopczynski

Log. Methods Comput. Sci., 2015

Locally Finite Constraint Satisfaction Problems.

Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

A note on the variable hierarchy of first-order spectra.

Eryk Kopczynski, Tony Tan

CoRR, 2014

A simple indeterminate infinite game.

Eryk Kopczynski, Damian Niwinski

Proceedings of the Logic, Computation, Hierarchies, 2014

2013

Definability of linear equation systems over groups and rings

Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa

Log. Methods Comput. Sci., 2013

2012

Acute triangulations of polyhedra and ℝ N.

Eryk Kopczynski, Igor Pak, Piotr Przytycki

Comb., 2012

On Tractable Parameterizations of Graph Isomorphism.

Adam Bouland, Anuj Dawar, Eryk Kopczynski

Proceedings of the Parameterized and Exact Computation - 7th International Symposium, 2012

2011

Trees in Trees: Is the Incomplete Information about a Tree Consistent?.

Eryk Kopczynski

Proceedings of the Computer Science Logic, 2011

2010

Parikh Images of Grammars: Complexity and Applications.

Eryk Kopczynski, Anthony Widjaja To

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Acute triangulations of polyhedra and the Euclidean space.

Eryk Kopczynski, Igor Pak, Piotr Przytycki

Proceedings of the 26th ACM Symposium on Computational Geometry, 2010

2007

Omega-Regular Half-Positional Winning Conditions.

Eryk Kopczynski

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Half-Positional Determinacy of Infinite Games.

Eryk Kopczynski

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006