![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Eryk Kopczynski"
@inproceedings{DBLP:conf/iccS/CelinskaKopczynskaK24, author = {Dorota Celinska{-}Kopczynska and Eryk Kopczynski}, editor = {Leonardo Franco and Cl{\'{e}}lia de Mulatier and Maciej Paszynski and Valeria V. Krzhizhanovskaya and Jack J. Dongarra and Peter M. A. Sloot}, title = {Numerical Aspects of Hyperbolic Geometry}, booktitle = {Computational Science - {ICCS} 2024 - 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part {VI}}, series = {Lecture Notes in Computer Science}, volume = {14837}, pages = {115--130}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-63778-0\_9}, doi = {10.1007/978-3-031-63778-0\_9}, timestamp = {Fri, 02 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccS/CelinskaKopczynskaK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccS/Kopczynski24, author = {Eryk Kopczynski}, editor = {Leonardo Franco and Cl{\'{e}}lia de Mulatier and Maciej Paszynski and Valeria V. Krzhizhanovskaya and Jack J. Dongarra and Peter M. A. Sloot}, title = {Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime}, booktitle = {Computational Science - {ICCS} 2024 - 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14832}, pages = {136--150}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-63749-0\_10}, doi = {10.1007/978-3-031-63749-0\_10}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccS/Kopczynski24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2404.09039}, doi = {10.48550/ARXIV.2404.09039}, eprinttype = {arXiv}, eprint = {2404.09039}, timestamp = {Wed, 15 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-09039.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2307.15803}, doi = {10.48550/ARXIV.2307.15803}, eprinttype = {arXiv}, eprint = {2307.15803}, timestamp = {Wed, 02 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-15803.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2307.15814}, doi = {10.48550/ARXIV.2307.15814}, eprinttype = {arXiv}, eprint = {2307.15814}, timestamp = {Tue, 01 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-15814.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1080/10586458.2022.2050324}, doi = {10.1080/10586458.2022.2050324}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/em/KopczynskiC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Celinska-Kopczynska22, author = {Dorota Celinska{-}Kopczynska and Eryk Kopczynski}, editor = {Luc De Raedt}, title = {Non-Euclidean Self-Organizing Maps}, booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July 2022}, pages = {1938--1944}, publisher = {ijcai.org}, year = {2022}, url = {https://doi.org/10.24963/ijcai.2022/269}, doi = {10.24963/IJCAI.2022/269}, timestamp = {Wed, 27 Jul 2022 16:43:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Celinska-Kopczynska22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wea/Celinska-Kopczynska22, author = {Dorota Celinska{-}Kopczynska and Eryk Kopczynski}, editor = {Christian Schulz and Bora U{\c{c}}ar}, title = {Discrete Hyperbolic Random Graph Model}, booktitle = {20th International Symposium on Experimental Algorithms, {SEA} 2022, July 25-27, 2022, Heidelberg, Germany}, series = {LIPIcs}, volume = {233}, pages = {1:1--1:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.SEA.2022.1}, doi = {10.4230/LIPICS.SEA.2022.1}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/wea/Celinska-Kopczynska22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2208.13816}, doi = {10.48550/ARXIV.2208.13816}, eprinttype = {arXiv}, eprint = {2208.13816}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-13816.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fun/Kopczynski21, author = {Eryk Kopczynski}, editor = {Martin Farach{-}Colton and Giuseppe Prencipe and Ryuhei Uehara}, title = {Hyperbolic Minesweeper Is in {P}}, booktitle = {10th International Conference on Fun with Algorithms, {FUN} 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy}, series = {LIPIcs}, volume = {157}, pages = {18:1--18:7}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FUN.2021.18}, doi = {10.4230/LIPICS.FUN.2021.18}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fun/Kopczynski21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2109.11769}, eprinttype = {arXiv}, eprint = {2109.11769}, timestamp = {Mon, 27 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-11769.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2109.11772}, eprinttype = {arXiv}, eprint = {2109.11772}, timestamp = {Mon, 27 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-11772.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2110.00327}, eprinttype = {arXiv}, eprint = {2110.00327}, timestamp = {Fri, 08 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-00327.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2111.01019}, eprinttype = {arXiv}, eprint = {2111.01019}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-01019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2111.12040}, eprinttype = {arXiv}, eprint = {2111.12040}, timestamp = {Fri, 26 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-12040.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3233/FI-2020-1966}, doi = {10.3233/FI-2020-1966}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Kopczynski20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2002.09533}, eprinttype = {arXiv}, eprint = {2002.09533}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-09533.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-09534, author = {Eryk Kopczynski}, title = {Hyperbolic Minesweeper is in {P}}, journal = {CoRR}, volume = {abs/2002.09534}, year = {2020}, url = {https://arxiv.org/abs/2002.09534}, eprinttype = {arXiv}, eprint = {2002.09534}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-09534.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.23638/LMCS-15(3:4)2019}, doi = {10.23638/LMCS-15(3:4)2019}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/DawarK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1912.09797}, eprinttype = {arXiv}, eprint = {1912.09797}, timestamp = {Fri, 03 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-09797.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.23638/LMCS-14(2:4)2018}, doi = {10.23638/LMCS-14(2:4)2018}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/KopczynskiT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3233/FI-2017-1523}, doi = {10.3233/FI-2017-1523}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Kopczynski17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.23638/LMCS-13(4:6)2017}, doi = {10.23638/LMCS-13(4:6)2017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/DawarK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icwsm/CelinskaK17, author = {Dorota Celinska and Eryk Kopczynski}, title = {Programming Languages in GitHub: {A} Visualization in Hyperbolic Plane}, booktitle = {Proceedings of the Eleventh International Conference on Web and Social Media, {ICWSM} 2017, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, May 15-18, 2017}, pages = {727--728}, publisher = {{AAAI} Press}, year = {2017}, url = {https://aaai.org/ocs/index.php/ICWSM/ICWSM17/paper/view/15583}, timestamp = {Fri, 19 May 2017 12:45:06 +0200}, biburl = {https://dblp.org/rec/conf/icwsm/CelinskaK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/AptKW17, author = {Krzysztof R. Apt and Eryk Kopczynski and Dominik Wojtczak}, editor = {Carles Sierra}, title = {On the Computational Complexity of Gossip Protocols}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {765--771}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/106}, doi = {10.24963/IJCAI.2017/106}, timestamp = {Tue, 20 Aug 2019 16:16:54 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/AptKW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/KopczynskiT17, author = {Eryk Kopczynski and Szymon Torunczyk}, editor = {Giuseppe Castagna and Andrew D. Gordon}, title = {{LOIS:} syntax and semantics}, booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of Programming Languages, {POPL} 2017, Paris, France, January 18-20, 2017}, pages = {586--598}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3009837.3009876}, doi = {10.1145/3009837.3009876}, timestamp = {Mon, 05 Feb 2024 20:33:37 +0100}, biburl = {https://dblp.org/rec/conf/popl/KopczynskiT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1707.02081}, eprinttype = {arXiv}, eprint = {1707.02081}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DawarK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1707.01124}, eprinttype = {arXiv}, eprint = {1707.01124}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KopczynskiC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1706.08691}, eprinttype = {arXiv}, eprint = {1706.08691}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KopczynskiT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/KopczynskiT16, author = {Eryk Kopczynski and Szymon Torunczyk}, editor = {Tim King and Ruzica Piskac}, title = {{LOIS:} an Application of {SMT} Solvers}, booktitle = {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}, series = {{CEUR} Workshop Proceedings}, volume = {1617}, pages = {51--60}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1617/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:14 +0100}, biburl = {https://dblp.org/rec/conf/cade/KopczynskiT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Kopczynski16, author = {Eryk Kopczynski}, editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}, title = {Invisible Pushdown Languages}, booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}, pages = {867--872}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2933575.2933579}, doi = {10.1145/2933575.2933579}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/Kopczynski16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1609.01789}, eprinttype = {arXiv}, eprint = {1609.01789}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DawarK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.2168/LMCS-11(1:9)2015}, doi = {10.2168/LMCS-11(1:9)2015}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Kopczynski15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3233/FI-2015-1247}, doi = {10.3233/FI-2015-1247}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/CzerwinskiGK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/130943625}, doi = {10.1137/130943625}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/KopczynskiT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1145/2733376}, doi = {10.1145/2733376}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/KopczynskiT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KlinKOT15, author = {Bartek Klin and Eryk Kopczynski and Joanna Ochremiak and Szymon Torunczyk}, title = {Locally Finite Constraint Satisfaction Problems}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {475--486}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.51}, doi = {10.1109/LICS.2015.51}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KlinKOT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1506.05279}, eprinttype = {arXiv}, eprint = {1506.05279}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CzerwinskiGK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Kopczynski15a, author = {Eryk Kopczynski}, title = {Invisible pushdown languages}, journal = {CoRR}, volume = {abs/1511.00289}, year = {2015}, url = {http://arxiv.org/abs/1511.00289}, eprinttype = {arXiv}, eprint = {1511.00289}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Kopczynski15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/KopczynskiN14, author = {Eryk Kopczynski and Damian Niwinski}, editor = {Vasco Brattka and Hannes Diener and Dieter Spreen}, title = {A simple indeterminate infinite game}, booktitle = {Logic, Computation, Hierarchies}, series = {Ontos Mathematical Logic}, volume = {4}, pages = {205--212}, publisher = {De Gruyter}, year = {2014}, url = {https://doi.org/10.1515/9781614518044.205}, doi = {10.1515/9781614518044.205}, timestamp = {Tue, 16 May 2017 14:01:34 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/KopczynskiN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1403.2225}, eprinttype = {arXiv}, eprint = {1403.2225}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KopczynskiT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.2168/LMCS-9(4:12)2013}, doi = {10.2168/LMCS-9(4:12)2013}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1204-3022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1304.0829}, eprinttype = {arXiv}, eprint = {1304.0829}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-0829.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s00493-012-2691-2}, doi = {10.1007/S00493-012-2691-2}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/combinatorica/KopczynskiPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/DawarGHKP12, author = {Anuj Dawar and Erich Gr{\"{a}}del and Bjarki Holm and Eryk Kopczynski and Wied Pakusa}, editor = {Patrick C{\'{e}}gielski and Arnaud Durand}, title = {Definability of linear equation systems over groups and rings}, booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau, France}, series = {LIPIcs}, volume = {16}, pages = {213--227}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.CSL.2012.213}, doi = {10.4230/LIPICS.CSL.2012.213}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/DawarGHKP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpec/BoulandDK12, author = {Adam Bouland and Anuj Dawar and Eryk Kopczynski}, editor = {Dimitrios M. Thilikos and Gerhard J. Woeginger}, title = {On Tractable Parameterizations of Graph Isomorphism}, booktitle = {Parameterized and Exact Computation - 7th International Symposium, {IPEC} 2012, Ljubljana, Slovenia, September 12-14, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7535}, pages = {218--230}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33293-7\_21}, doi = {10.1007/978-3-642-33293-7\_21}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwpec/BoulandDK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Kopczynski11, author = {Eryk Kopczynski}, editor = {Marc Bezem}, title = {Trees in Trees: Is the Incomplete Information about a Tree Consistent?}, booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen, Norway, Proceedings}, series = {LIPIcs}, volume = {12}, pages = {367--380}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.CSL.2011.367}, doi = {10.4230/LIPICS.CSL.2011.367}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/Kopczynski11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compgeom/KopczynskiPP10, author = {Eryk Kopczynski and Igor Pak and Piotr Przytycki}, editor = {David G. Kirkpatrick and Joseph S. B. Mitchell}, title = {Acute triangulations of polyhedra and the Euclidean space}, booktitle = {Proceedings of the 26th {ACM} Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010}, pages = {307--313}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1810959.1811010}, doi = {10.1145/1810959.1811010}, timestamp = {Mon, 14 Jun 2021 16:25:04 +0200}, biburl = {https://dblp.org/rec/conf/compgeom/KopczynskiPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KopczynskiT10, author = {Eryk Kopczynski and Anthony Widjaja To}, title = {Parikh Images of Grammars: Complexity and Applications}, booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom}, pages = {80--89}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/LICS.2010.21}, doi = {10.1109/LICS.2010.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KopczynskiT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1003.4105}, eprinttype = {arXiv}, eprint = {1003.4105}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-4105.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Kopczynski07, author = {Eryk Kopczynski}, editor = {Jacques Duparc and Thomas A. Henzinger}, title = {Omega-Regular Half-Positional Winning Conditions}, booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4646}, pages = {41--53}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74915-8\_7}, doi = {10.1007/978-3-540-74915-8\_7}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Kopczynski07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Kopczynski06, author = {Eryk Kopczynski}, editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener}, title = {Half-Positional Determinacy of Infinite Games}, booktitle = {Automata, Languages and Programming, 33rd International Colloquium, {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {4052}, pages = {336--347}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11787006\_29}, doi = {10.1007/11787006\_29}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Kopczynski06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.