| 2024 | ECAI | Modelling Brain Connectomes Networks: Solv is a Worthy Competitor to Hyperbolic Geometry! | Dorota Celinska-Kopczynska, Eryk Kopczynski |
| 2024 | ICCS | Numerical Aspects of Hyperbolic Geometry. | Dorota Celinska-Kopczynska, Eryk Kopczynski |
| 2024 | ICCS | Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime. | Eryk Kopczynski |
| 2022 | IJCAI | Non-Euclidean Self-Organizing Maps. | Dorota Celinska-Kopczynska, Eryk Kopczynski |
| 2021 | FUN | Hyperbolic Minesweeper Is in P. | Eryk Kopczynski |
| 2017 | IJCAI | On the Computational Complexity of Gossip Protocols. | Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak |
| 2017 | ICWSM | Programming Languages in GitHub: A Visualization in Hyperbolic Plane. | Dorota Celinska, Eryk Kopczynski |
| 2017 | POPL | LOIS: syntax and semantics. | Eryk Kopczynski, Szymon Torunczyk |
| 2016 | CADE | LOIS: an Application of SMT Solvers. | Eryk Kopczynski, Szymon Torunczyk |
| 2016 | LICS | Invisible Pushdown Languages. | Eryk Kopczynski |
| 2015 | LICS | Locally Finite Constraint Satisfaction Problems. | Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk |
| 2012 | CSL | Definability of linear equation systems over groups and rings. | Anuj Dawar, Erich Grdel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa |
| 2011 | CSL | Trees in Trees: Is the Incomplete Information about a Tree Consistent?. | Eryk Kopczynski |
| 2010 | LICS | Parikh Images of Grammars: Complexity and Applications. | Eryk Kopczynski, Anthony Widjaja To |
| 2007 | CSL | Omega-Regular Half-Positional Winning Conditions. | Eryk Kopczynski |
| 2006 | ICALP | Half-Positional Determinacy of Infinite Games. | Eryk Kopczynski |