- 2016
- Eryk Kopczynski, Szymon Torunczyk:
LOIS: an Application of SMT Solvers. SMT@IJCAR 2016: 51-60 - Eryk Kopczynski:
Invisible Pushdown Languages. LICS 2016: 867-872 - Anuj Dawar, Eryk Kopczynski:
Bounded degree and planar spectra. CoRR abs/1609.01789 (2016) - 2015
- Eryk Kopczynski:
Complexity of Problems of Commutative Grammars. Log. Methods Comput. Sci. 11(1) (2015) - Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
Non-dominating Sequences of Vectors Using only Resets and Increments. Fundam. Informaticae 140(2): 123-127 (2015) - Eryk Kopczynski, Tony Tan:
Regular Graphs and the Spectra of Two-Variable Logic with Counting. SIAM J. Comput. 44(3): 786-818 (2015) - Eryk Kopczynski, Tony Tan:
On the Variable Hierarchy of First-Order Spectra. ACM Trans. Comput. Log. 16(2): 17:1-17:12 (2015) - Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk:
Locally Finite Constraint Satisfaction Problems. LICS 2015: 475-486 - Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
Non-dominating sequences of vectors using only resets and increments. CoRR abs/1506.05279 (2015) - Eryk Kopczynski:
Invisible pushdown languages. CoRR abs/1511.00289 (2015) - 2014
- Eryk Kopczynski, Damian Niwinski:
A simple indeterminate infinite game. Logic, Computation, Hierarchies 2014: 205-212 - Eryk Kopczynski, Tony Tan:
A note on the variable hierarchy of first-order spectra. CoRR abs/1403.2225 (2014) - 2013
- Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa:
Definability of linear equation systems over groups and rings. Log. Methods Comput. Sci. 9(4) (2013) - Eryk Kopczynski, Tony Tan:
Regular graphs and the spectra of two-variable logic with counting. CoRR abs/1304.0829 (2013) - 2012
- Eryk Kopczynski, Igor Pak, Piotr Przytycki:
Acute triangulations of polyhedra and ℝ N. Comb. 32(1): 85-110 (2012) - Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa:
Definability of linear equation systems over groups and rings. CSL 2012: 213-227 - Adam Bouland, Anuj Dawar, Eryk Kopczynski:
On Tractable Parameterizations of Graph Isomorphism. IPEC 2012: 218-230 - 2011
- Eryk Kopczynski:
Trees in Trees: Is the Incomplete Information about a Tree Consistent?. CSL 2011: 367-380 - 2010
- Eryk Kopczynski, Igor Pak, Piotr Przytycki:
Acute triangulations of polyhedra and the Euclidean space. SCG 2010: 307-313 - Eryk Kopczynski, Anthony Widjaja To:
Parikh Images of Grammars: Complexity and Applications. LICS 2010: 80-89 - Eryk Kopczynski:
Complexity of Problems for Commutative Grammars. CoRR abs/1003.4105 (2010) - 2007
- Eryk Kopczynski:
Omega-Regular Half-Positional Winning Conditions. CSL 2007: 41-53 - 2006
- Eryk Kopczynski:
Half-Positional Determinacy of Infinite Games. ICALP (2) 2006: 336-347