Publications

Eryk Kopczyński

Number of publications: 38

2024

• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Modelling Brain Connectomes Networks: Solv is a Worthy Competitor to Hyperbolic Geometry!, 27th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, 19 October 2024 - 24 October 2024. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Numerical Aspects of Hyperbolic Geometry, 24th International Conference on Computational Science – ICCS 2024, Malaga, Spain, 2 July 2024 - 4 July 2024, 6 2024, p. 115-130. See in PBN
• Eryk Kopczyński , Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime, 24th International Conference on Computational Science – ICCS 2024, Malaga, Spain, 2 July 2024 - 4 July 2024, 1 2024, p. 136-150. See in PBN

2022

• Eryk Kopczyński , Coordination sequences of periodic structures are rational via automata theory, Acta Crystallographica Section A: Foundations and Advances, 2022. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Discrete Hyperbolic Random Graph Model, 20th International Symposium on Experimental Algorithms (SEA 2022), Heidelberg, Germany, 25 July 2022 - 27 July 2022, 233 (1) 2022, p. 1-19. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Non-Euclidean Self-Organizing Maps, 31st International Joint Conference on Artificial Intelligence, Vienna, Austria, 23 July 2022 - 29 July 2022. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Portals to Non-Euclidean Geometries, Proceedings of Bridges 2022: Mathematics, Art, Music, Architecture, Culture, Aalto, Finland, 1 August 2022 - 5 August 2022. See in PBN
• Eryk Kopczyński , Dorota Celińska-Kopczyńska , Real-Time Visualization in Anisotropic Geometries, Experimental Mathematics, 31 (4) 2022, p. 1177-1196. See in PBN

2020

• Eryk Kopczyński , Axiomatizing Rectangular Grids with no Extra Non-unary Relations, Fundamenta Informaticae, 176 (2) 2020, p. 129-138. See in PBN

2019

• Anuj Dawar, Eryk Kopczyński , Logical properties of random graphs from small addable classes, Logical Methods in Computer Science, 15 (3) 2019, p. 4:1–4:12. See in PBN

2018

• Eryk Kopczyński , Tony Tan, A note on first-order spectra with binary relations, Logical Methods in Computer Science, 14 (2) 2018, p. 1-15. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Virtual Crocheting of Euclidean Planes in a 3-Sphere, Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, Sztokholm, Sweden, 25 July 2018 - 29 July 2018. See in PBN

2017

• Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. See in PBN
• Anuj Dawar, Eryk Kopczyński , Bounded degree and planar spectra, Logical Methods in Computer Science, 13 (4) 2017, p. 1-21. See in PBN
• Eryk Kopczyński , Computational Complexity on the Blackboard, Fundamenta Informaticae, 152 (4) 2017, p. 323-339. See in PBN
• Eryk Kopczyński , Dorota Celińska-Kopczyńska , Marek Čtrnáct , HyperRogue: Playing with Hyperbolic Geometry, Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture, Waterloo, Canada, 26 July 2017 - 30 July 2017. See in PBN
• Eryk Kopczyński , Szymon Toruńczyk , LOIS: Syntax and Semantics, ACM SIGACT Symposium on Principles of Programming Languages, Paryż, France, 15 January 2017 - 21 January 2017. See in PBN
• Krzysztof Apt, Eryk Kopczyński , Dominik Wojtczak, On the Computational Complexity of Gossip Protocols, 26th International Joint Conference on Artificial Intelligence, Melbourne, New Zealand, 19 August 2017 - 25 August 2017. See in PBN
• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Programming Languages in GitHub: A Visualization in Hyperbolic Plane, 11th International AAAI Conference on Web and Social Media, Montreal, Qatar, 15 May 2017 - 18 May 2017. See in PBN

2016

• Eryk Kopczyński , Invisible Pushdown Languages, 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Nowy Jork, the United States of America, 5 July 2016 - 8 July 2016. See in PBN
• Eryk Kopczyński , Szymon Toruńczyk , LOIS: an Application of SMT Solvers, International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, Coimbra, Portugal, 1 July 2016 - 2 July 2016. See in PBN

2015

• Eryk Kopczyński , Complexity of Problems of Commutative Grammars, Logical Methods in Computer Science, 2015. See in PBN
• Bartosz Klin , Eryk Kopczyński , Joanna Ochremiak, Szymon Toruńczyk , Locally Finite Constraint Satisfaction Problems, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, 6 July 2015 - 10 July 2016. See in PBN
• Wojciech Czerwiński , Tomasz Gogacz, Eryk Kopczyński , Non-dominating Sequences of Vectors Using only Resets and Increments, Fundamenta Informaticae, 2015. See in PBN
• Eryk Kopczyński , Tony Tan, On the variable hierarchy of first-order spectra, ACM Transactions on Computational Logic, 2015. See in PBN
• Eryk Kopczyński , Tony Tan, Regular Graphs and the Spectra of Two-Variable Logic with Counting, SIAM Journal on Computing, 2015. See in PBN

2014

• Eryk Kopczyński , Damian Niwiński , A simple indeterminate infinite game, 2014. See in PBN

2013

• Anuj Dawar, Erich Graedel, Bjarki Holm, Eryk Kopczyński , Wied Pakusa, Definability of linear equation systems over groups and rings, Logical Methods in Computer Science, 2013. See in PBN

2012

• Eryk Kopczyński , Igor Pak, Piotr Przytycki, Acute triangulations of polyhedra and R^N, Combinatorica, 2012. See in PBN
• Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczyński , Wied Pakusa, Definability of linear equation systems over groups and rings, 2012. See in PBN
• Adam Bouland, Anuj Dawar, Eryk Kopczyński , On Tractable Parameterizations of Graph Isomorphism, Parameterized and Exact Computation - 7th International Symposium, Ljubljana, Slovenia, 12 September 2012 - 14 September 2012. See in PBN
• Eryk Kopczyński , Mikołaj Bojańczyk , Szymon Toruńczyk , Ramsey’s theorem for colors from a metric space, Semigroup Forum, 2012. See in PBN

2011

• Eryk Kopczyński , Trees in Trees: Is the Incomplete Information about a Tree Consistent?, 2011. See in PBN

2010

• Eryk Kopczyński , Igor Pak, Piotr Przytycki, Acute triangulations of polyhedra and the Euclidean space, 2010. See in PBN
• Eryk Kopczyński , Anthony Widjaja To, Parikh Images of Grammars: Complexity and Applications, 2010. See in PBN

2007

• Eryk Kopczyński , Omega-Regular Half-positional winning conditions, Lecture Notes in Computer Science, 2007. See in PBN

2006

• Eryk Kopczyński , Half-Positional Determinacy of Infinite Games, Lecture Notes in Computer Science, 2006. See in PBN

Others

• Dorota Celińska-Kopczyńska , Eryk Kopczyński , Virtual Crocheting of Euclidean Planes in a 3-Sphere, Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, , p. 551-554. See in PBN