Eryk Kopczynski

Orcid: 0000-0001-5588-1181

According to our database1, Eryk Kopczynski authored at least 39 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime.
Proceedings of the Computational Science - ICCS 2024, 2024

Numerical Aspects of Hyperbolic Geometry.
Proceedings of the Computational Science - ICCS 2024, 2024

Modelling Brain Connectomes Networks: Solv is a Worthy Competitor to Hyperbolic Geometry!
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023
Coordination Sequences of Periodic Structures are Rational via Automata Theory.
CoRR, 2023

2022
Real-Time Visualization in Anisotropic Geometries.
Exp. Math., 2022

Generating Regular Hyperbolic Honeycombs.
CoRR, 2022

Discrete Hyperbolic Random Graph Model.
Proceedings of the 20th International Symposium on Experimental Algorithms, 2022

Non-Euclidean Self-Organizing Maps.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
Generating Tree Structures for Hyperbolic Tessellations.
CoRR, 2021

Dynamic Distances in Hyperbolic Graphs.
CoRR, 2021

Navigating Higher Dimensional Spaces using Hyperbolic Geometry.
CoRR, 2021

Hyperbolic Minesweeper Is in P.
Proceedings of the 10th International Conference on Fun with Algorithms, 2021

2020
Axiomatizing Rectangular Grids with no Extra Non-unary Relations.
Fundam. Informaticae, 2020

Real-Time Visualization in Non-Isotropic Geometries.
CoRR, 2020

2019
Logical properties of random graphs from small addable classes.
Log. Methods Comput. Sci., 2019

2018
A note on first-order spectra with binary relations.
Log. Methods Comput. Sci., 2018

2017
Bounded degree and planar spectra.
Log. Methods Comput. Sci., 2017

Computational Complexity on the Blackboard.
Fundam. Informaticae, 2017

Hyperbolic grids and discrete random graphs.
CoRR, 2017

LOIS: syntax and semantics.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Computational Complexity of Gossip Protocols.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Programming Languages in GitHub: A Visualization in Hyperbolic Plane.
Proceedings of the Eleventh International Conference on Web and Social Media, 2017

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

LOIS: an Application of SMT Solvers.
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.
ACM Trans. Comput. Log., 2015

Regular Graphs and the Spectra of Two-Variable Logic with Counting.
SIAM J. Comput., 2015

Non-dominating Sequences of Vectors Using only Resets and Increments.
Fundam. Informaticae, 2015

Complexity of Problems of Commutative Grammars.
Log. Methods Comput. Sci., 2015

Locally Finite Constraint Satisfaction Problems.
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.
CoRR, 2014

A simple indeterminate infinite game.
Proceedings of the Logic, Computation, Hierarchies, 2014

2013
Definability of linear equation systems over groups and rings
Log. Methods Comput. Sci., 2013

2012
Acute triangulations of polyhedra and ℝ N.
Comb., 2012

On Tractable Parameterizations of Graph Isomorphism.
Proceedings of the Parameterized and Exact Computation - 7th International Symposium, 2012

2011
Trees in Trees: Is the Incomplete Information about a Tree Consistent?.
Proceedings of the Computer Science Logic, 2011

2010
Parikh Images of Grammars: Complexity and Applications.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Acute triangulations of polyhedra and the Euclidean space.
Proceedings of the 26th ACM Symposium on Computational Geometry, 2010

2007
Omega-Regular Half-Positional Winning Conditions.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006
Half-Positional Determinacy of Infinite Games.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006


  Loading...