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