Eryk Kopczynski

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 40

Top Topics

Logical Properties

Tree Structures

Constraint Satisfaction

Top Venues

Log. Methods Comput. Sci.

Fundam. Informaticae

Publications

Dorota Celinska-Kopczynska, Eryk Kopczynski
Modelling brain connectomes networks: Solv is a worthy competitor to hyperbolic geometry! CoRR (2024)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Numerical Aspects of Hyperbolic Geometry. ICCS (6) (2024)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Numerical Aspects of Hyperbolic Geometry. CoRR (2024)
Eryk Kopczynski
Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime. ICCS (1) (2024)
Eryk Kopczynski
Simulating, Visualizing and Playing with de Sitter and anti de Sitter spacetime. CoRR (2023)
Eryk Kopczynski
Coordination Sequences of Periodic Structures are Rational via Automata Theory. CoRR (2023)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Non-Euclidean Self-Organizing Maps. IJCAI (2022)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Discrete Hyperbolic Random Graph Model. SEA (2022)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Generating Regular Hyperbolic Honeycombs. CoRR (2022)
Eryk Kopczynski, Dorota Celinska-Kopczynska
Real-Time Visualization in Anisotropic Geometries. Exp. Math. 31 (4) (2022)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Non-Euclidean Self-Organizing Maps. CoRR (2021)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Discrete Hyperbolic Random Graph Model. CoRR (2021)
Dorota Celinska-Kopczynska, Eryk Kopczynski
Generating Tree Structures for Hyperbolic Tessellations. CoRR (2021)
Eryk Kopczynski, Dorota Celinska-Kopczynska
Dynamic Distances in Hyperbolic Graphs. CoRR (2021)
Eryk Kopczynski, Dorota Celinska-Kopczynska
Navigating Higher Dimensional Spaces using Hyperbolic Geometry. CoRR (2021)
Eryk Kopczynski
Hyperbolic Minesweeper Is in P. FUN (2021)
Eryk Kopczynski, Dorota Celinska-Kopczynska
Real-Time Visualization in Non-Isotropic Geometries. CoRR (2020)
Eryk Kopczynski
Hyperbolic Minesweeper is in P. CoRR (2020)
Eryk Kopczynski
Axiomatizing Rectangular Grids with no Extra Non-unary Relations. Fundam. Informaticae 176 (2) (2020)
Anuj Dawar, Eryk Kopczynski
Logical properties of random graphs from small addable classes. Log. Methods Comput. Sci. 15 (3) (2019)
Eryk Kopczynski
Axiomatizing rectangular grids with no extra non-unary relations. CoRR (2019)
Eryk Kopczynski, Tony Tan
A note on first-order spectra with binary relations. Log. Methods Comput. Sci. 14 (2) (2018)
Eryk Kopczynski, Tony Tan
A note on first-order spectra with binary relations. CoRR (2017)
Dorota Celinska, Eryk Kopczynski
Programming Languages in GitHub: A Visualization in Hyperbolic Plane. ICWSM (2017)
Eryk Kopczynski, Dorota Celinska
Hyperbolic grids and discrete random graphs. CoRR (2017)
Eryk Kopczynski, Szymon Torunczyk
LOIS: syntax and semantics. POPL (2017)
Anuj Dawar, Eryk Kopczynski
Logical properties of random graphs from small addable classes. CoRR (2017)
Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
On the Computational Complexity of Gossip Protocols. IJCAI (2017)
Eryk Kopczynski
Computational Complexity on the Blackboard. Fundam. Informaticae 152 (4) (2017)
Anuj Dawar, Eryk Kopczynski
Bounded degree and planar spectra. Log. Methods Comput. Sci. 13 (4) (2017)
Eryk Kopczynski
Invisible Pushdown Languages. LICS (2016)
Eryk Kopczynski, Szymon Torunczyk
LOIS: an Application of SMT Solvers. SMT@IJCAR (2016)
Anuj Dawar, Eryk Kopczynski
Bounded degree and planar spectra. CoRR (2016)
Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski
Non-dominating Sequences of Vectors Using only Resets and Increments. Fundam. Informaticae 140 (2) (2015)
Eryk Kopczynski, Tony Tan
Regular Graphs and the Spectra of Two-Variable Logic with Counting. SIAM J. Comput. 44 (3) (2015)
Eryk Kopczynski
Invisible pushdown languages. CoRR (2015)
Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk
Locally Finite Constraint Satisfaction Problems. LICS (2015)
Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski
Non-dominating sequences of vectors using only resets and increments. CoRR (2015)
Eryk Kopczynski
Complexity of Problems of Commutative Grammars. Log. Methods Comput. Sci. 11 (1) (2015)
Eryk Kopczynski, Tony Tan
On the Variable Hierarchy of First-Order Spectra. ACM Trans. Comput. Log. 16 (2) (2015)
Eryk Kopczynski, Tony Tan
A note on the variable hierarchy of first-order spectra. CoRR (2014)
Eryk Kopczynski, Tony Tan
Regular graphs and the spectra of two-variable logic with counting CoRR (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings Log. Methods Comput. Sci. 9 (4) (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings. CSL (2012)
Eryk Kopczynski, Igor Pak, Piotr Przytycki
Acute triangulations of polyhedra and ℝ N. Comb. 32 (1) (2012)
Adam Bouland, Anuj Dawar, Eryk Kopczynski
On Tractable Parameterizations of Graph Isomorphism. IPEC (2012)
Eryk Kopczynski
Trees in Trees: Is the Incomplete Information about a Tree Consistent?. CSL (2011)
Eryk Kopczynski, Igor Pak, Piotr Przytycki
Acute triangulations of polyhedra and the Euclidean space. SCG (2010)
Eryk Kopczynski
Complexity of Problems for Commutative Grammars CoRR (2010)
Eryk Kopczynski, Anthony Widjaja To
Parikh Images of Grammars: Complexity and Applications. LICS (2010)
Eryk Kopczynski
Omega-Regular Half-Positional Winning Conditions. CSL (2007)
Eryk Kopczynski
Half-Positional Determinacy of Infinite Games. ICALP (2) (2006)