Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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},
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 = {Tue, 07 May 2024 01:00: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 = {Mon, 21 Dec 2020 13:23:22 +0100},
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 = {Tue, 11 Feb 2020 15:52:14 +0100},
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 = {Tue, 11 Feb 2020 15:52:14 +0100},
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}
}
a service of 
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.
retrieved on 2024-06-24 10:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
