dr hab. Jakub Kozik, prof. UJ
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki Analitycznej
- Katedra Podstaw Informatyki
Doktorat Otwarcie: 2005-01-27, Zamknięcie: 2006-11-30
Habilitacja Otwarcie: 2015-12-17, Zamknięcie: 2016-06-30
Publikacje:
29.
Schnyder Woods and Alon-Tarsi Number of Planar Graphs, Electronic Journal of Combinatorics vol. Volume 31, Issue 1 (2024) (2024), 1-13
28.
Jakub Kozik, Piotr Micek, William T. Trotter
Dimension is polynomial in height for posets with planar cover graphs, Journal of Combinatorial Theory. Series B vol. Volume 165, March 2024 (2024), 164-196
27.
Jakub Kozik, Andrzej Dorobisz
Local Computation Algorithms for Hypergraph Coloring - Following Beck’s Approach, International Colloquium on Automata Languages and Programming [ICALP](MAIN) vol. 261 (LIPIcs) (2023), 48:1-48:20
26.
Improving Gebauer’s construction of 3-chromatic hypergraphs with few edges, International Colloquium on Automata Languages and Programming [ICALP] vol. Leibniz International Proceedings in Informatics (LIPIcs) (2021), 89:1-89:9
25.
Lech Duraj, Jakub Kozik, Dmitry A. Shabanov
Random hypergraphs and property B, European Journal of Combinatorics vol. Volume 91, January 2021, 103205 (2021), 1-11
24.
A Note on Two-Colorability of Nonuniform Hypergraphs, International Colloquium on Automata Languages and Programming [ICALP] vol. 107 (Leibniz International Proceedings in Informatics) (2018), 46:1-46:13
23.
Deferred On-Line Bipartite Matching, Electronic Journal of Combinatorics vol. 25 (2) (2018), P2.24
22.
Vida Dujmović, Gwenaël Joret, Jakub Kozik, David R. Wood
Nonrepetitive colouring via entropy compression, Combinatorica vol. Volume 36, Issue 6 (2016), 661-686
21.
Pathwidth and nonrepetitive list colorings, Electronic Journal of Combinatorics vol. Volume 23, Issue 4 (2016), 19
20.
Chip Games and Paintability, Electronic Journal of Combinatorics vol. 23 (3) (2016), 12
19.
Jakub Kozik, Dmitry A. Shabanov
Improved algorithms for colorings of simple hypergraphs and applications, Journal of Combinatorial Theory. Series B vol. Volume 116 (2016), 312-332
18.
Multipass greedy coloring of simple uniform hypergraphs, Random Structures and Algorithms vol. Volume 48, Issue 1 (2016), 125-146
17.
Danila D. Cherkashin, Jakub Kozik
A note on random greedy coloring of uniform hypergraphs, Random Structures and Algorithms vol. 47 (2015), 407-413
16.
Lower Bounds for On-Line Graph Colorings vol. 8889 (Lecture Notes in Computer Science) (2014), "Algorithms and Computation, 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings", Springer
15.
Arkadiusz Pawlik, Jakub Kozik, Tomasz Krawczyk, Michał Lasoń, Piotr Micek, William T. Trotter, Bartosz Walczak
14.
Jakub Kozik, Piotr Micek, Xuding Zhu
Towards an on-line version of Ohba’s conjecture, European Journal of Combinatorics vol. 36 (2014), 110-121
13.
Arkadiusz Pawlik, Jakub Kozik, Tomasz Krawczyk, Michał Lasoń, Piotr Micek, William T. Trotter, Bartosz Walczak
12.
Jarosław Grytczuk, Jakub Kozik, Piotr Micek
New approach to nonrepetitive sequences, Random Structures and Algorithms vol. 42 (2013), 214-225
11.
Nonrepetitive choice number of trees, SIAM Journal on Discrete Mathematics vol. 27-1 (2013), 436-446
10.
Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30
9.
Antoine Genitrini, Jakub Kozik
8.
Jarosław Grytczuk, Jakub Kozik, Marcin Witkowski
Nonrepetitive sequences on arithmetic progressions, Electronic Journal of Combinatorics vol. 18 (2011), 1-9
7.
Dynamic Threshold Strategy for Universal Best Choice Problem, Discrete Mathematics and Theoretical Computer Science Proceedings vol. AM (2010), 439–452
6.
Antoine Genitrini, Jakub Kozik
5.
Antoine Genitrini, Jakub Kozik, Grzegorz Matecki
On the density and the structure of the Peirce-like formulae, Discrete Mathematics and Theoretical Computer Science Proceedings (2008), 461-474
4.
Subcritical pattern languages for and/or trees, Discrete Mathematics and Theoretical Computer Science Proceedings (2008), 437–448
3.
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science vol. 4941 (2008), 100-109
2.
Undecidable problems concerning densities of languages, Discrete Mathematics and Theoretical Computer Science Proceedings (2006), 69-76
1.
Conditional Densities of Regular Languages, Electronic Notes in Theoretical Computer Science (2005), 67-79
Konferencje:
13.
International Colloquium on Automata, Languages and Programming 2021 (ICALP 2021), University of Glasgow, European Association for Theoretical Computer Science, Online (Glasgow), Online (Scotland), 2021-07-12 - 2021-07-16
12.
Probabilistic Combinatorics Online, Moscow Institute of Physics and Technology , (on-line), (on-line), 2020-09-23 - 2020-09-25
11.
8th Polish Combinatorial Conference, UAM, On-line, Polska, 2020-09-14 - 2020-09-18
10.
3in1 Workshop (28th Edition), Faculty of Applied Mathematics, AGH University of Science and Technology, Dosłońce, Polska, 2019-11-21 - 2019-11-23
9.
Klaudiusz Wójcik, Włodzimierz Zwonek, Wojciech Słomczyński, Dominik Kwietniak, Jerzy Szczepański, Leokadia Białas-Cież, Krzysztof Ciesielski, Anna Valette, Marta Kosek, Sławomir Dinew, Jakub Kozik, Mateusz Juda, Arkadiusz Lewandowski, Patryk Pagacz, Marcin Pitera, Michał Farnik, Martha Łącka, Bogdan Batko, Paweł Borówka, Paweł Pietrzycki, Piotr Miska, Mateusz Przybylski, Michał Lipiński, Bartosz Sobolewski, Daria Boratyn, Jakub Kośmider, Agnieszka Kowalczyk, Agnieszka Kozdęba, Michał Kozdęba, Marcin Sroka, Elżbieta Krawczyk, Łukasz Merta, Habibeh Pourmand, Błażej Żmija, Damian Jelito.
Jubileuszowy Zjazd Matematyków Polskich w Stulecie Polskiego Towarzystwa Matematycznego, Polskie Towarzystwo Matematyczne, Kraków, Polska, 2019-09-03 - 2019-09-07
8.
International Conference on Graph Theory, Combinatorics and Applications, National Sun Yat-sen University, Kaohsiung, Tajwan, 2019-06-17 - 2019-06-21
7.
7th Polish Combinatorial Conference, UAM, Będlewo, Polska, 2018-09-24 - 2018-09-28
6.
The 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), European Association for Theoretical Computer Science (EATCS), Charles University, Praga, Czechy, 2018-07-10 - 2018-07-13
5.
Building Bridges II. Conference to celebrate 70th birthday of László Lovász, János Bolyai Mathematical Society, Eötvös Loránd University, Alfréd Rényi Institute of Mathematics, Budapeszt, Węgry, 2018-07-02 - 2018-07-06
4.
9th European Conference on Combinatorics, Graph Theory and Applications, Technische Universität Wien, Wiedeń, Austria, 2017-08-28 - 2017-09-01
3.
The 18th International Conference on Random Structures and Algorithms, Uniwersytet im. Adama Mickiewicza w Poznaniu, Gniezno, Polska, 2017-08-07 - 2017-08-11
2.
The 44th International Colloquium on Automata, Languages, and Programming (ICALP), Uniwersytet Warszawski, Warszawa, Polska, 2017-07-10 - 2017-07-13
1.
8th European Conference on Combinatorics, Graph Theory and Applications, University of Bergen, Bergen, Norwegia, 2015-08-31 - 2015-09-04
Konferencje organizowane:
4.
Forum Informatyki Teoretycznej, Kraków, 2018-05-11, 2018-05-12
3.
Forum Informatyki Teoretycznej, Kraków, 2019-09-06, 2019-09-07
2.
Forum Informatyki teoretycznej, Kraków, 2022-12-01, 2022-12-02
1.
17th workshop on Computational Logic and Applications , Kraków (hybrid), 2023-12-14, 2023-12-15
Doktoranci (po 27 października 2003 roku)
| Doktorant | Otwarcie | Zakonczenie |
|---|---|---|
| Sebastian Babiński | 2020-01-30 | |
| Andrzej Dorobisz | 2021-04-01 |
Granty (realizowane po maju 2009 roku)
| Tytuł | Rola | Rozpoczęcie | Zakończenie |
|---|---|---|---|
| Badanie ilościowe w logikach i teorii obliczeń | Wykonawca | 2009-09-17 | 2012-03-16 |
| Śledzenie poruszających się osób w monitorowanych strefach | Wykonawca | 2010-09-17 | 2013-09-16 |
| Algorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanie | Kierownik | 2011-12-01 | 2014-11-30 |
| Kolorowanie z list on-line | Wykonawca | 2012-08-28 | 2016-02-27 |
| Losowe zachłanne algorytmy kolorowania hipergrafów | Kierownik | 2017-02-03 | 2021-10-02 |
| Rozszerzone orientacje i efektywne konstrukcje dla metody Alon-Tarsi | Kierownik | 2024-01-03 | 2027-01-02 |