Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Eryk Kopczyński
2018
- Eryk Kopczyński i Tony Tan, A note on first-order spectra with binary relations, Logical Methods In Computer Science 14 (2) 2018.zobacz w PBN
- Eryk Kopczyński i Dorota Teresa Celińska, Virtual Crocheting of Euclidean Planes in a 3-Sphere, w: Proceedings of Bridges 2018: Mathematics, Art, Music, Architecture, Education, Culture, Tesselations Publishing, Phoenix, Arizona 2018, s. 551–554.zobacz w PBN
2017
- Eryk Kopczyński i Szymon Toruńczyk, LOIS: Syntax and Semantics, w: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, ACM, 2017, s. 586–598.zobacz w PBN
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter i Lorenzo ClementeFilip Murlak (red.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.zobacz w PBN
- Eryk Kopczyński, Dorota Teresa Celińska i Marek Čtrnáct, HyperRogue: Playing with Hyperbolic Geometry, w: Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture, Tessellations Publishing, Phoenix, Arizona 2017, s. 9–16.zobacz w PBN
- Dorota Teresa Celińska i Eryk Kopczyński, Programming Languages in GitHub: A Visualization in Hyperbolic Plane, w: Proceedings of the Eleventh International Conference on Web and Social Media, ICWSM 2017, Montreal, Quebec, Canada, May 15-18, 2017, AAAI Press, 2017, s. 727–728.zobacz w PBN
- Krzysztof Apt, Eryk Kopczyński i Dominik Wojtczak, On the Computational Complexity of Gossip Protocols, w: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, ijcai.org, 2017, s. 765–771.zobacz w PBN
- Anuj Dawar i Eryk Kopczyński, Bounded degree and planar spectra, Logical Methods In Computer Science Volume 13, Issue 4 2017.zobacz w PBN
- Eryk Kopczyński, Computational Complexity on the Blackboard, Fundamenta Informaticae 152 (4) 2017, s. 323–339.zobacz w PBN
2016
- Eryk Kopczyński i Szymon Toruńczyk, LOIS: an Application of SMT Solvers, w: Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016, CEUR-WS.org, 2016, s. 51–60.zobacz w PBN
- Eryk Kopczyński, Invisible Pushdown Languages, w: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, 2016, s. 867–872.zobacz w PBN
2015
- Eryk Kopczyński i Tony Tan, On the variable hierarchy of first-order spectra, Acm Transactions On Computational Logic 16 (2) 2015, s. 17:1––17:12.zobacz w PBN
- Eryk Kopczyński i Tony Tan, Regular Graphs and the Spectra of Two-Variable Logic with Counting, Siam Journal On Computing 44 (3) 2015, s. 786–818.zobacz w PBN
- Bartosz Klin, Eryk Kopczyński, Joanna Ochremiak i Szymon Toruńczyk, Locally Finite Constraint Satisfaction Problems, w: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, IEEE, 2015, s. 475–486.zobacz w PBN
- Eryk Kopczyński, Complexity of Problems of Commutative Grammars, Logical Methods In Computer Science 11 (1) 2015.zobacz w PBN
- Wojciech Czerwiński, Tomasz Gogacz i Eryk Kopczyński, Non-dominating Sequences of Vectors Using only Resets and Increments, Fundamenta Informaticae 140 (2) 2015, s. 123–127.zobacz w PBN
2012
- Eryk Kopczyński, Igor Pak i Piotr Przytycki, Acute triangulations of polyhedra and RN, Combinatorica 32 (1) 2012, s. 85–110.zobacz w PBN
- Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczyński i Wied Pakusa, Definability of linear equation systems over groups and rings, w: CSL, 2012.zobacz w PBN
- Adam Bouland, Anuj Dawar i Eryk Kopczyński, On Tractable Parameterizations of Graph Isomorphism, w: 7th International Symposium on Parameterized and Exact Computation (IPEC 2012), Springer, 2012.zobacz w PBN
- Mikołaj Bojańczyk, Eryk Kopczyński i Szymon Toruńczyk, Ramsey’s theorem for colors from a metric space, Semigroup Forum 85 (1) 2012, s. 182–184.zobacz w PBN
2011
- Eryk Kopczyński, Trees in Trees: Is the Incomplete Information about a Tree Consistent?, w: CSL, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2011.zobacz w PBN
2010
- Eryk Kopczyński, Igor Pak i Piotr Przytycki, Acute triangulations of polyhedra and the Euclidean space, w: Symposium on Computational Geometry, 2010.zobacz w PBN
- Eryk Kopczyński i Anthony Widjaja To, Parikh Images of Grammars: Complexity and Applications, w: LICS, 2010.zobacz w PBN