You are not logged in | Log in

Eryk Kopczyński

Number of publications: 35

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