Search dblp for Publications

export results for "Eryk Kopczynski"

 download as .bib file

@article{DBLP:journals/corr/abs-2404-09039,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Numerical Aspects of Hyperbolic Geometry},
  journal      = {CoRR},
  volume       = {abs/2404.09039},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2307-15803,
  author       = {Eryk Kopczynski},
  title        = {Coordination Sequences of Periodic Structures are Rational via Automata
                  Theory},
  journal      = {CoRR},
  volume       = {abs/2307.15803},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2307-15814,
  author       = {Eryk Kopczynski},
  title        = {Simulating, Visualizing and Playing with de Sitter and anti de Sitter
                  spacetime},
  journal      = {CoRR},
  volume       = {abs/2307.15814},
  year         = {2023}
}

@article{DBLP:journals/em/KopczynskiC22,
  author       = {Eryk Kopczynski and
                  Dorota Celinska{-}Kopczynska},
  title        = {Real-Time Visualization in Anisotropic Geometries},
  journal      = {Exp. Math.},
  volume       = {31},
  number       = {4},
  pages        = {1177--1196},
  year         = {2022}
}

@inproceedings{DBLP:conf/ijcai/Celinska-Kopczynska22,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Non-Euclidean Self-Organizing Maps},
  booktitle    = {{IJCAI}},
  pages        = {1938--1944},
  publisher    = {ijcai.org},
  year         = {2022}
}

@inproceedings{DBLP:conf/wea/Celinska-Kopczynska22,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Discrete Hyperbolic Random Graph Model},
  booktitle    = {{SEA}},
  series       = {LIPIcs},
  volume       = {233},
  pages        = {1:1--1:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2208-13816,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Generating Regular Hyperbolic Honeycombs},
  journal      = {CoRR},
  volume       = {abs/2208.13816},
  year         = {2022}
}

@inproceedings{DBLP:conf/fun/Kopczynski21,
  author       = {Eryk Kopczynski},
  title        = {Hyperbolic Minesweeper Is in {P}},
  booktitle    = {{FUN}},
  series       = {LIPIcs},
  volume       = {157},
  pages        = {18:1--18:7},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2109-11769,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Non-Euclidean Self-Organizing Maps},
  journal      = {CoRR},
  volume       = {abs/2109.11769},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2109-11772,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Discrete Hyperbolic Random Graph Model},
  journal      = {CoRR},
  volume       = {abs/2109.11772},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2110-00327,
  author       = {Eryk Kopczynski and
                  Dorota Celinska{-}Kopczynska},
  title        = {Navigating Higher Dimensional Spaces using Hyperbolic Geometry},
  journal      = {CoRR},
  volume       = {abs/2110.00327},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2111-01019,
  author       = {Eryk Kopczynski and
                  Dorota Celinska{-}Kopczynska},
  title        = {Dynamic Distances in Hyperbolic Graphs},
  journal      = {CoRR},
  volume       = {abs/2111.01019},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2111-12040,
  author       = {Dorota Celinska{-}Kopczynska and
                  Eryk Kopczynski},
  title        = {Generating Tree Structures for Hyperbolic Tessellations},
  journal      = {CoRR},
  volume       = {abs/2111.12040},
  year         = {2021}
}

@article{DBLP:journals/fuin/Kopczynski20,
  author       = {Eryk Kopczynski},
  title        = {Axiomatizing Rectangular Grids with no Extra Non-unary Relations},
  journal      = {Fundam. Informaticae},
  volume       = {176},
  number       = {2},
  pages        = {129--138},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2002-09533,
  author       = {Eryk Kopczynski and
                  Dorota Celinska{-}Kopczynska},
  title        = {Real-Time Visualization in Non-Isotropic Geometries},
  journal      = {CoRR},
  volume       = {abs/2002.09533},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2002-09534,
  author       = {Eryk Kopczynski},
  title        = {Hyperbolic Minesweeper is in {P}},
  journal      = {CoRR},
  volume       = {abs/2002.09534},
  year         = {2020}
}

@article{DBLP:journals/lmcs/DawarK19,
  author       = {Anuj Dawar and
                  Eryk Kopczynski},
  title        = {Logical properties of random graphs from small addable classes},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {3},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1912-09797,
  author       = {Eryk Kopczynski},
  title        = {Axiomatizing rectangular grids with no extra non-unary relations},
  journal      = {CoRR},
  volume       = {abs/1912.09797},
  year         = {2019}
}

@article{DBLP:journals/lmcs/KopczynskiT18,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {A note on first-order spectra with binary relations},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {2},
  year         = {2018}
}

@article{DBLP:journals/fuin/Kopczynski17,
  author       = {Eryk Kopczynski},
  title        = {Computational Complexity on the Blackboard},
  journal      = {Fundam. Informaticae},
  volume       = {152},
  number       = {4},
  pages        = {323--339},
  year         = {2017}
}

@article{DBLP:journals/lmcs/DawarK17,
  author       = {Anuj Dawar and
                  Eryk Kopczynski},
  title        = {Bounded degree and planar spectra},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {4},
  year         = {2017}
}

@inproceedings{DBLP:conf/icwsm/CelinskaK17,
  author       = {Dorota Celinska and
                  Eryk Kopczynski},
  title        = {Programming Languages in GitHub: {A} Visualization in Hyperbolic Plane},
  booktitle    = {{ICWSM}},
  pages        = {727--728},
  publisher    = {{AAAI} Press},
  year         = {2017}
}

@inproceedings{DBLP:conf/ijcai/AptKW17,
  author       = {Krzysztof R. Apt and
                  Eryk Kopczynski and
                  Dominik Wojtczak},
  title        = {On the Computational Complexity of Gossip Protocols},
  booktitle    = {{IJCAI}},
  pages        = {765--771},
  publisher    = {ijcai.org},
  year         = {2017}
}

@inproceedings{DBLP:conf/popl/KopczynskiT17,
  author       = {Eryk Kopczynski and
                  Szymon Torunczyk},
  title        = {{LOIS:} syntax and semantics},
  booktitle    = {{POPL}},
  pages        = {586--598},
  publisher    = {{ACM}},
  year         = {2017}
}

@article{DBLP:journals/corr/DawarK17,
  author       = {Anuj Dawar and
                  Eryk Kopczynski},
  title        = {Logical properties of random graphs from small addable classes},
  journal      = {CoRR},
  volume       = {abs/1707.02081},
  year         = {2017}
}

@article{DBLP:journals/corr/KopczynskiC17,
  author       = {Eryk Kopczynski and
                  Dorota Celinska},
  title        = {Hyperbolic grids and discrete random graphs},
  journal      = {CoRR},
  volume       = {abs/1707.01124},
  year         = {2017}
}

@article{DBLP:journals/corr/KopczynskiT17,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {A note on first-order spectra with binary relations},
  journal      = {CoRR},
  volume       = {abs/1706.08691},
  year         = {2017}
}

@inproceedings{DBLP:conf/cade/KopczynskiT16,
  author       = {Eryk Kopczynski and
                  Szymon Torunczyk},
  title        = {{LOIS:} an Application of {SMT} Solvers},
  booktitle    = {SMT@IJCAR},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1617},
  pages        = {51--60},
  publisher    = {CEUR-WS.org},
  year         = {2016}
}

@inproceedings{DBLP:conf/lics/Kopczynski16,
  author       = {Eryk Kopczynski},
  title        = {Invisible Pushdown Languages},
  booktitle    = {{LICS}},
  pages        = {867--872},
  publisher    = {{ACM}},
  year         = {2016}
}

@article{DBLP:journals/corr/DawarK16,
  author       = {Anuj Dawar and
                  Eryk Kopczynski},
  title        = {Bounded degree and planar spectra},
  journal      = {CoRR},
  volume       = {abs/1609.01789},
  year         = {2016}
}

@article{DBLP:journals/corr/Kopczynski15,
  author       = {Eryk Kopczynski},
  title        = {Complexity of Problems of Commutative Grammars},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {1},
  year         = {2015}
}

@article{DBLP:journals/fuin/CzerwinskiGK15,
  author       = {Wojciech Czerwinski and
                  Tomasz Gogacz and
                  Eryk Kopczynski},
  title        = {Non-dominating Sequences of Vectors Using only Resets and Increments},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {2},
  pages        = {123--127},
  year         = {2015}
}

@article{DBLP:journals/siamcomp/KopczynskiT15,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {Regular Graphs and the Spectra of Two-Variable Logic with Counting},
  journal      = {{SIAM} J. Comput.},
  volume       = {44},
  number       = {3},
  pages        = {786--818},
  year         = {2015}
}

@article{DBLP:journals/tocl/KopczynskiT15,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {On the Variable Hierarchy of First-Order Spectra},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {16},
  number       = {2},
  pages        = {17:1--17:12},
  year         = {2015}
}

@inproceedings{DBLP:conf/lics/KlinKOT15,
  author       = {Bartek Klin and
                  Eryk Kopczynski and
                  Joanna Ochremiak and
                  Szymon Torunczyk},
  title        = {Locally Finite Constraint Satisfaction Problems},
  booktitle    = {{LICS}},
  pages        = {475--486},
  publisher    = {{IEEE} Computer Society},
  year         = {2015}
}

@article{DBLP:journals/corr/CzerwinskiGK15,
  author       = {Wojciech Czerwinski and
                  Tomasz Gogacz and
                  Eryk Kopczynski},
  title        = {Non-dominating sequences of vectors using only resets and increments},
  journal      = {CoRR},
  volume       = {abs/1506.05279},
  year         = {2015}
}

@article{DBLP:journals/corr/Kopczynski15a,
  author       = {Eryk Kopczynski},
  title        = {Invisible pushdown languages},
  journal      = {CoRR},
  volume       = {abs/1511.00289},
  year         = {2015}
}

@incollection{DBLP:books/daglib/p/KopczynskiN14,
  author       = {Eryk Kopczynski and
                  Damian Niwinski},
  title        = {A simple indeterminate infinite game},
  booktitle    = {Logic, Computation, Hierarchies},
  series       = {Ontos Mathematical Logic},
  volume       = {4},
  pages        = {205--212},
  publisher    = {De Gruyter},
  year         = {2014}
}

@article{DBLP:journals/corr/KopczynskiT14,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {A note on the variable hierarchy of first-order spectra},
  journal      = {CoRR},
  volume       = {abs/1403.2225},
  year         = {2014}
}

@article{DBLP:journals/corr/abs-1204-3022,
  author       = {Anuj Dawar and
                  Erich Gr{\"{a}}del and
                  Bjarki Holm and
                  Eryk Kopczynski and
                  Wied Pakusa},
  title        = {Definability of linear equation systems over groups and rings},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {4},
  year         = {2013}
}

@article{DBLP:journals/corr/abs-1304-0829,
  author       = {Eryk Kopczynski and
                  Tony Tan},
  title        = {Regular graphs and the spectra of two-variable logic with counting},
  journal      = {CoRR},
  volume       = {abs/1304.0829},
  year         = {2013}
}

@article{DBLP:journals/combinatorica/KopczynskiPP12,
  author       = {Eryk Kopczynski and
                  Igor Pak and
                  Piotr Przytycki},
  title        = {Acute triangulations of polyhedra and {\(\mathbb{R}\)} {N}},
  journal      = {Comb.},
  volume       = {32},
  number       = {1},
  pages        = {85--110},
  year         = {2012}
}

@inproceedings{DBLP:conf/csl/DawarGHKP12,
  author       = {Anuj Dawar and
                  Erich Gr{\"{a}}del and
                  Bjarki Holm and
                  Eryk Kopczynski and
                  Wied Pakusa},
  title        = {Definability of linear equation systems over groups and rings},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {16},
  pages        = {213--227},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012}
}

@inproceedings{DBLP:conf/iwpec/BoulandDK12,
  author       = {Adam Bouland and
                  Anuj Dawar and
                  Eryk Kopczynski},
  title        = {On Tractable Parameterizations of Graph Isomorphism},
  booktitle    = {{IPEC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7535},
  pages        = {218--230},
  publisher    = {Springer},
  year         = {2012}
}

@inproceedings{DBLP:conf/csl/Kopczynski11,
  author       = {Eryk Kopczynski},
  title        = {Trees in Trees: Is the Incomplete Information about a Tree Consistent?},
  booktitle    = {{CSL}},
  series       = {LIPIcs},
  volume       = {12},
  pages        = {367--380},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011}
}

@inproceedings{DBLP:conf/compgeom/KopczynskiPP10,
  author       = {Eryk Kopczynski and
                  Igor Pak and
                  Piotr Przytycki},
  title        = {Acute triangulations of polyhedra and the Euclidean space},
  booktitle    = {{SCG}},
  pages        = {307--313},
  publisher    = {{ACM}},
  year         = {2010}
}

@inproceedings{DBLP:conf/lics/KopczynskiT10,
  author       = {Eryk Kopczynski and
                  Anthony Widjaja To},
  title        = {Parikh Images of Grammars: Complexity and Applications},
  booktitle    = {{LICS}},
  pages        = {80--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2010}
}

@article{DBLP:journals/corr/abs-1003-4105,
  author       = {Eryk Kopczynski},
  title        = {Complexity of Problems for Commutative Grammars},
  journal      = {CoRR},
  volume       = {abs/1003.4105},
  year         = {2010}
}

@inproceedings{DBLP:conf/csl/Kopczynski07,
  author       = {Eryk Kopczynski},
  title        = {Omega-Regular Half-Positional Winning Conditions},
  booktitle    = {{CSL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4646},
  pages        = {41--53},
  publisher    = {Springer},
  year         = {2007}
}

@inproceedings{DBLP:conf/icalp/Kopczynski06,
  author       = {Eryk Kopczynski},
  title        = {Half-Positional Determinacy of Infinite Games},
  booktitle    = {{ICALP} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4052},
  pages        = {336--347},
  publisher    = {Springer},
  year         = {2006}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.