Nie jesteś zalogowany | Zaloguj się

Eryk Kopczyński

Liczba publikacji: 35

2022

Eryk Kopczyński , Coordination sequences of periodic structures are rational via automata theory, Acta Crystallographica Section A: Foundations and Advances, 2022. Zobacz w 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 lipca 2022 - 27 lipca 2022, 233 (1) 2022, s. 1-19. Zobacz w PBN
Dorota Celińska-Kopczyńska , Eryk Kopczyński , Non-Euclidean Self-Organizing Maps, 31st International Joint Conference on Artificial Intelligence, Vienna, Austria, 23 lipca 2022 - 29 lipca 2022. Zobacz w 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 sierpnia 2022 - 5 sierpnia 2022. Zobacz w PBN
Eryk Kopczyński , Dorota Celińska-Kopczyńska , Real-Time Visualization in Anisotropic Geometries, Experimental Mathematics, 31 (4) 2022, s. 1177-1196. Zobacz w PBN

2020

Eryk Kopczyński , Axiomatizing Rectangular Grids with no Extra Non-unary Relations, Fundamenta Informaticae, 176 (2) 2020, s. 129-138. Zobacz w PBN

2019

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

2018

Eryk Kopczyński , Tony Tan, A note on first-order spectra with binary relations, Logical Methods in Computer Science, 14 (2) 2018, s. 1-15. Zobacz w 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 lipca 2018 - 29 lipca 2018. Zobacz w 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. Zobacz w PBN
Anuj Dawar, Eryk Kopczyński , Bounded degree and planar spectra, Logical Methods in Computer Science, 13 (4) 2017, s. 1-21. Zobacz w PBN
Eryk Kopczyński , Computational Complexity on the Blackboard, Fundamenta Informaticae, 152 (4) 2017, s. 323-339. Zobacz w 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 lipca 2017 - 30 lipca 2017. Zobacz w PBN
Eryk Kopczyński , Szymon Toruńczyk , LOIS: Syntax and Semantics, ACM SIGACT Symposium on Principles of Programming Languages, Paryż, France, 15 stycznia 2017 - 21 stycznia 2017. Zobacz w 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 sierpnia 2017 - 25 sierpnia 2017. Zobacz w 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 maja 2017 - 18 maja 2017. Zobacz w 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 lipca 2016 - 8 lipca 2016. Zobacz w 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 lipca 2016 - 2 lipca 2016. Zobacz w PBN

2015

Eryk Kopczyński , Complexity of Problems of Commutative Grammars, Logical Methods in Computer Science, 2015. Zobacz w 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 lipca 2015 - 10 lipca 2016. Zobacz w PBN
Wojciech Czerwiński , Tomasz Gogacz, Eryk Kopczyński , Non-dominating Sequences of Vectors Using only Resets and Increments, Fundamenta Informaticae, 2015. Zobacz w PBN
Eryk Kopczyński , Tony Tan, On the variable hierarchy of first-order spectra, ACM Transactions on Computational Logic, 2015. Zobacz w PBN
Eryk Kopczyński , Tony Tan, Regular Graphs and the Spectra of Two-Variable Logic with Counting, SIAM Journal on Computing, 2015. Zobacz w PBN

2014

Eryk Kopczyński , Damian Niwiński , A simple indeterminate infinite game, 2014. Zobacz w 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. Zobacz w PBN

2012

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

2011

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

2010

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