Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jakub Kozik
@article{DBLP:journals/combinatorics/KozikP24,
author = {Jakub Kozik and
Bartosz Podkanowicz},
title = {Schnyder Woods and Alon-Tarsi Number of Planar Graphs},
journal = {Electron. J. Comb.},
volume = {31},
number = {1},
year = {2024},
url = {https://doi.org/10.37236/11888},
doi = {10.37236/11888},
timestamp = {Fri, 29 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/combinatorics/KozikP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/KozikMT24,
author = {Jakub Kozik and
Piotr Micek and
William T. Trotter},
title = {Dimension is polynomial in height for posets with planar cover graphs},
journal = {J. Comb. Theory, Ser. {B}},
volume = {165},
pages = {164--196},
year = {2024},
url = {https://doi.org/10.1016/j.jctb.2023.10.009},
doi = {10.1016/J.JCTB.2023.10.009},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jctb/KozikMT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DorobiszK23,
author = {Andrzej Dorobisz and
Jakub Kozik},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Local Computation Algorithms for Hypergraph Coloring - Following Beck's
Approach},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {48:1--48:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.48},
doi = {10.4230/LIPICS.ICALP.2023.48},
timestamp = {Wed, 05 Jul 2023 16:19:52 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DorobiszK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02831,
author = {Andrzej Dorobisz and
Jakub Kozik},
title = {Local Computation Algorithms for Hypergraph Coloring - following Beck's
approach (full version)},
journal = {CoRR},
volume = {abs/2305.02831},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02831},
doi = {10.48550/ARXIV.2305.02831},
eprinttype = {arXiv},
eprint = {2305.02831},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DurajKS21,
author = {Lech Duraj and
Jakub Kozik and
Dmitry A. Shabanov},
title = {Random hypergraphs and property {B}},
journal = {Eur. J. Comb.},
volume = {91},
pages = {103205},
year = {2021},
url = {https://doi.org/10.1016/j.ejc.2020.103205},
doi = {10.1016/J.EJC.2020.103205},
timestamp = {Fri, 16 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejc/DurajKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kozik21,
author = {Jakub Kozik},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Improving Gebauer's Construction of 3-Chromatic Hypergraphs with Few
Edges},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {89:1--89:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.89},
doi = {10.4230/LIPICS.ICALP.2021.89},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Kozik21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11674,
author = {Jakub Kozik},
title = {Improving Gebauer's construction of 3-chromatic hypergraphs with few
edges},
journal = {CoRR},
volume = {abs/2102.11674},
year = {2021},
url = {https://arxiv.org/abs/2102.11674},
eprinttype = {arXiv},
eprint = {2102.11674},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12968,
author = {Lech Duraj and
Jakub Kozik and
Dmitry A. Shabanov},
title = {Random hypergraphs and property {B}},
journal = {CoRR},
volume = {abs/2102.12968},
year = {2021},
url = {https://arxiv.org/abs/2102.12968},
eprinttype = {arXiv},
eprint = {2102.12968},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10990,
author = {Andrzej Dorobisz and
Jakub Kozik},
title = {Local Computation Algorithms for Coloring of Uniform Hypergraphs},
journal = {CoRR},
volume = {abs/2103.10990},
year = {2021},
url = {https://arxiv.org/abs/2103.10990},
eprinttype = {arXiv},
eprint = {2103.10990},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00380,
author = {Jakub Kozik and
Piotr Micek and
William T. Trotter},
title = {Dimension is polynomial in height for posets with planar cover graphs},
journal = {CoRR},
volume = {abs/1907.00380},
year = {2019},
url = {http://arxiv.org/abs/1907.00380},
eprinttype = {arXiv},
eprint = {1907.00380},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KozikM18,
author = {Jakub Kozik and
Grzegorz Matecki},
title = {Deferred On-Line Bipartite Matching},
journal = {Electron. J. Comb.},
volume = {25},
number = {2},
pages = {2},
year = {2018},
url = {https://doi.org/10.37236/5756},
doi = {10.37236/5756},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/KozikM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DurajGK18,
author = {Lech Duraj and
Grzegorz Gutowski and
Jakub Kozik},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {A Note on Two-Colorability of Nonuniform Hypergraphs},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {46:1--46:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.46},
doi = {10.4230/LIPICS.ICALP.2018.46},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/DurajGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-03060,
author = {Lech Duraj and
Grzegorz Gutowski and
Jakub Kozik},
title = {A note on two-colorability of nonuniform hypergraphs},
journal = {CoRR},
volume = {abs/1803.03060},
year = {2018},
url = {http://arxiv.org/abs/1803.03060},
eprinttype = {arXiv},
eprint = {1803.03060},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-03060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/DujmovicJKW16,
author = {Vida Dujmovic and
Gwena{\"{e}}l Joret and
Jakub Kozik and
David R. Wood},
title = {Nonrepetitive colouring via entropy compression},
journal = {Comb.},
volume = {36},
number = {6},
pages = {661--686},
year = {2016},
url = {https://doi.org/10.1007/s00493-015-3070-6},
doi = {10.1007/S00493-015-3070-6},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorica/DujmovicJKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DurajGK16,
author = {Lech Duraj and
Grzegorz Gutowski and
Jakub Kozik},
title = {Chip Games and Paintability},
journal = {Electron. J. Comb.},
volume = {23},
number = {3},
pages = {3},
year = {2016},
url = {https://doi.org/10.37236/5723},
doi = {10.37236/5723},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/DurajGK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/GagolJKM16,
author = {Adam Gagol and
Gwena{\"{e}}l Joret and
Jakub Kozik and
Piotr Micek},
title = {Pathwidth and Nonrepetitive List Coloring},
journal = {Electron. J. Comb.},
volume = {23},
number = {4},
pages = {4},
year = {2016},
url = {https://doi.org/10.37236/5855},
doi = {10.37236/5855},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/GagolJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KozikS16,
author = {Jakub Kozik and
Dmitry A. Shabanov},
title = {Improved algorithms for colorings of simple hypergraphs and applications},
journal = {J. Comb. Theory, Ser. {B}},
volume = {116},
pages = {312--332},
year = {2016},
url = {https://doi.org/10.1016/j.jctb.2015.09.004},
doi = {10.1016/J.JCTB.2015.09.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/KozikS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/Kozik16,
author = {Jakub Kozik},
title = {Multipass greedy coloring of simple uniform hypergraphs},
journal = {Random Struct. Algorithms},
volume = {48},
number = {1},
pages = {125--146},
year = {2016},
url = {https://doi.org/10.1002/rsa.20613},
doi = {10.1002/RSA.20613},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/Kozik16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GagolJKM16,
author = {Adam Gagol and
Gwena{\"{e}}l Joret and
Jakub Kozik and
Piotr Micek},
title = {Pathwidth and nonrepetitive list coloring},
journal = {CoRR},
volume = {abs/1601.01886},
year = {2016},
url = {http://arxiv.org/abs/1601.01886},
eprinttype = {arXiv},
eprint = {1601.01886},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GagolJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KozikS15,
author = {Jakub Kozik and
Dmitry A. Shabanov},
title = {Extremal problems for colorings of simple hypergraphs and applications},
journal = {Electron. Notes Discret. Math.},
volume = {49},
pages = {441--445},
year = {2015},
url = {https://doi.org/10.1016/j.endm.2015.06.062},
doi = {10.1016/J.ENDM.2015.06.062},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/KozikS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/CherkashinK15,
author = {Danila D. Cherkashin and
Jakub Kozik},
title = {A note on random greedy coloring of uniform hypergraphs},
journal = {Random Struct. Algorithms},
volume = {47},
number = {3},
pages = {407--413},
year = {2015},
url = {https://doi.org/10.1002/rsa.20556},
doi = {10.1002/RSA.20556},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/CherkashinK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KozikMZ14,
author = {Jakub Kozik and
Piotr Micek and
Xuding Zhu},
title = {Towards an on-line version of Ohba's conjecture},
journal = {Eur. J. Comb.},
volume = {36},
pages = {110--121},
year = {2014},
url = {https://doi.org/10.1016/j.ejc.2013.07.003},
doi = {10.1016/J.EJC.2013.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/KozikMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/PawlikKKLMTW14,
author = {Arkadiusz Pawlik and
Jakub Kozik and
Tomasz Krawczyk and
Michal Lason and
Piotr Micek and
William T. Trotter and
Bartosz Walczak},
title = {Triangle-free intersection graphs of line segments with large chromatic
number},
journal = {J. Comb. Theory, Ser. {B}},
volume = {105},
pages = {6--10},
year = {2014},
url = {https://doi.org/10.1016/j.jctb.2013.11.001},
doi = {10.1016/J.JCTB.2013.11.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/PawlikKKLMTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GutowskiKMZ14,
author = {Grzegorz Gutowski and
Jakub Kozik and
Piotr Micek and
Xuding Zhu},
editor = {Hee{-}Kap Ahn and
Chan{-}Su Shin},
title = {Lower Bounds for On-line Graph Colorings},
booktitle = {Algorithms and Computation - 25th International Symposium, {ISAAC}
2014, Jeonju, Korea, December 15-17, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8889},
pages = {507--515},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13075-0\_40},
doi = {10.1007/978-3-319-13075-0\_40},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/GutowskiKMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GutowskiKMZ14,
author = {Grzegorz Gutowski and
Jakub Kozik and
Piotr Micek and
Xuding Zhu},
title = {Lower bounds for on-line graph colorings},
journal = {CoRR},
volume = {abs/1404.7259},
year = {2014},
url = {http://arxiv.org/abs/1404.7259},
eprinttype = {arXiv},
eprint = {1404.7259},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GutowskiKMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KozikS14,
author = {Jakub Kozik and
Dmitry A. Shabanov},
title = {Improved algorithms for colorings of simple hypergraphs and applications},
journal = {CoRR},
volume = {abs/1409.6921},
year = {2014},
url = {http://arxiv.org/abs/1409.6921},
eprinttype = {arXiv},
eprint = {1409.6921},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KozikS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KozikM14,
author = {Jakub Kozik and
Grzegorz Matecki},
title = {A lazy approach to on-line bipartite matching},
journal = {CoRR},
volume = {abs/1410.3764},
year = {2014},
url = {http://arxiv.org/abs/1410.3764},
eprinttype = {arXiv},
eprint = {1410.3764},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KozikM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/PawlikKKLMTW13,
author = {Arkadiusz Pawlik and
Jakub Kozik and
Tomasz Krawczyk and
Michal Lason and
Piotr Micek and
William T. Trotter and
Bartosz Walczak},
title = {Triangle-Free Geometric Intersection Graphs with Large Chromatic Number},
journal = {Discret. Comput. Geom.},
volume = {50},
number = {3},
pages = {714--726},
year = {2013},
url = {https://doi.org/10.1007/s00454-013-9534-9},
doi = {10.1007/S00454-013-9534-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/PawlikKKLMTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/GrytczukKM13,
author = {Jaroslaw Grytczuk and
Jakub Kozik and
Piotr Micek},
title = {New approach to nonrepetitive sequences},
journal = {Random Struct. Algorithms},
volume = {42},
number = {2},
pages = {214--225},
year = {2013},
url = {https://doi.org/10.1002/rsa.20411},
doi = {10.1002/RSA.20411},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/GrytczukKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KozikM13,
author = {Jakub Kozik and
Piotr Micek},
title = {Nonrepetitive Choice Number of Trees},
journal = {{SIAM} J. Discret. Math.},
volume = {27},
number = {1},
pages = {436--446},
year = {2013},
url = {https://doi.org/10.1137/120866361},
doi = {10.1137/120866361},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/KozikM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CherkashinK13,
author = {Danila D. Cherkashin and
Jakub Kozik},
title = {A note on random greedy coloring of uniform hypergraphs},
journal = {CoRR},
volume = {abs/1310.1368},
year = {2013},
url = {http://arxiv.org/abs/1310.1368},
eprinttype = {arXiv},
eprint = {1310.1368},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CherkashinK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kozik13,
author = {Jakub Kozik},
title = {Multipass greedy coloring of simple uniform hypergraphs},
journal = {CoRR},
volume = {abs/1310.5984},
year = {2013},
url = {http://arxiv.org/abs/1310.5984},
eprinttype = {arXiv},
eprint = {1310.5984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kozik13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GenitriniK12,
author = {Antoine Genitrini and
Jakub Kozik},
title = {In the full propositional logic, 5/8 of classical tautologies are
intuitionistically valid},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {7},
pages = {875--887},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.09.011},
doi = {10.1016/J.APAL.2011.09.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GenitriniK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-5155,
author = {Jakub Kozik and
Piotr Micek},
title = {Nonrepetitive choice number of trees},
journal = {CoRR},
volume = {abs/1207.5155},
year = {2012},
url = {http://arxiv.org/abs/1207.5155},
eprinttype = {arXiv},
eprint = {1207.5155},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-5155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-1595,
author = {Arkadiusz Pawlik and
Jakub Kozik and
Tomasz Krawczyk and
Michal Lason and
Piotr Micek and
William T. Trotter and
Bartosz Walczak},
title = {Triangle-free intersection graphs of line segments with large chromatic
number},
journal = {CoRR},
volume = {abs/1209.1595},
year = {2012},
url = {http://arxiv.org/abs/1209.1595},
eprinttype = {arXiv},
eprint = {1209.1595},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-2058,
author = {Arkadiusz Pawlik and
Jakub Kozik and
Tomasz Krawczyk and
Michal Lason and
Piotr Micek and
William T. Trotter and
Bartosz Walczak},
title = {Triangle-free geometric intersection graphs with large chromatic number},
journal = {CoRR},
volume = {abs/1212.2058},
year = {2012},
url = {http://arxiv.org/abs/1212.2058},
eprinttype = {arXiv},
eprint = {1212.2058},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-2058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/GrytczukKW11,
author = {Jaroslaw Grytczuk and
Jakub Kozik and
Marcin Witkowski},
title = {Nonrepetitive Sequences on Arithmetic Progressions},
journal = {Electron. J. Comb.},
volume = {18},
number = {1},
year = {2011},
url = {https://doi.org/10.37236/696},
doi = {10.37236/696},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/GrytczukKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-5438,
author = {Jaroslaw Grytczuk and
Jakub Kozik and
Marcin Witkowski},
title = {Nonrepetitive sequences on arithmetic progressions},
journal = {CoRR},
volume = {abs/1102.5438},
year = {2011},
url = {http://arxiv.org/abs/1102.5438},
eprinttype = {arXiv},
eprint = {1102.5438},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-5438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3809,
author = {Jaroslaw Grytczuk and
Jakub Kozik and
Piotr Micek},
title = {A new approach to nonrepetitive sequences},
journal = {CoRR},
volume = {abs/1103.3809},
year = {2011},
url = {http://arxiv.org/abs/1103.3809},
eprinttype = {arXiv},
eprint = {1103.3809},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3810,
author = {Jaroslaw Grytczuk and
Jakub Kozik and
Piotr Micek},
title = {Nonrepetitive games},
journal = {CoRR},
volume = {abs/1103.3810},
year = {2011},
url = {http://arxiv.org/abs/1103.3810},
eprinttype = {arXiv},
eprint = {1103.3810},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5458,
author = {Jakub Kozik and
Piotr Micek and
Xuding Zhu},
title = {Towards on-line Ohba's conjecture},
journal = {CoRR},
volume = {abs/1111.5458},
year = {2011},
url = {http://arxiv.org/abs/1111.5458},
eprinttype = {arXiv},
eprint = {1111.5458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-5505,
author = {Ren{\'{e}} David and
Christophe Raffalli and
Guillaume Theyssier and
Katarzyna Grygiel and
Jakub Kozik and
Marek Zaionc},
title = {Some properties of random lambda terms},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2009},
url = {https://doi.org/10.2168/LMCS-9(1:2)2013},
doi = {10.2168/LMCS-9(1:2)2013},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-5505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/GenitriniK09,
author = {Antoine Genitrini and
Jakub Kozik},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Quantitative Comparison of Intuitionistic and Classical Logics - Full
Propositional System},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {280--294},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_19},
doi = {10.1007/978-3-540-92687-0\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/GenitriniK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GenitriniKZ07,
author = {Antoine Genitrini and
Jakub Kozik and
Marek Zaionc},
editor = {Marino Miculan and
Ivan Scagnetto and
Furio Honsell},
title = {Intuitionistic vs. Classical Tautologies, Quantitative Comparison},
booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2007,
Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4941},
pages = {100--109},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-68103-8\_7},
doi = {10.1007/978-3-540-68103-8\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/GenitriniKZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kozik05,
author = {Jakub Kozik},
editor = {Pierre Lescanne and
Ren{\'{e}} David and
Marek Zaionc},
title = {Conditional Densities of Regular Languages},
booktitle = {Proceedings of the Second Workshop on Computational Logic and Applications,
{CLA} 2004, Lyon, France, June 17-18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {140},
pages = {67--79},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.06.023},
doi = {10.1016/J.ENTCS.2005.06.023},
timestamp = {Tue, 13 Dec 2022 09:27:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kozik05.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.
last updated on 2024-03-31 01:45 CET 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:
