Eryk Kopczynski

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