Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Eryk Kopczynski"
@inproceedings{DBLP:conf/iccS/CelinskaKopczynskaK24, author = {Dorota Celinska{-}Kopczynska and Eryk Kopczynski}, title = {Numerical Aspects of Hyperbolic Geometry}, booktitle = {{ICCS} {(6)}}, series = {Lecture Notes in Computer Science}, volume = {14837}, pages = {115--130}, publisher = {Springer}, year = {2024} }
@inproceedings{DBLP:conf/iccS/Kopczynski24, author = {Eryk Kopczynski}, title = {Simulating, Visualizing and Playing with de Sitter and Anti de Sitter Spacetime}, booktitle = {{ICCS} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {14832}, pages = {136--150}, publisher = {Springer}, year = {2024} }
@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-2407-16077, author = {Dorota Celinska{-}Kopczynska and Eryk Kopczynski}, title = {Modelling brain connectomes networks: Solv is a worthy competitor to hyperbolic geometry!}, journal = {CoRR}, volume = {abs/2407.16077}, 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} }
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.