dr Jakub Kozik

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Zespół Katedr i Zakładów Informatyki Matematycznej
  • Katedra Podstaw Informatyki

DoktoratOtwarcie: 2005-01-27, Zamknięcie: 2006-11-30

HabilitacjaOtwarcie: 2015-12-17, Zamknięcie: 2016-06-30

Publikacje:

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
7.
Dynamic Threshold Strategy for Universal Best Choice Problem, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AM (2010), 439–452
5.
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
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:

1.
8th European Conference on Combinatorics, Graph Theory and Applications, University of Bergen, Bergen, Norwegia, 2015-08-31 - 2015-09-04

Granty (realizowane po maju 2009 roku)

TytułRolaRozpoczęcieZakończenie
Badanie ilościowe w logikach i teorii obliczeńWykonawca2009-09-172012-03-16
Śledzenie poruszających się osób w monitorowanych strefachWykonawca2010-09-172013-09-16
Kolorowanie z list on-lineWykonawca2012-08-282016-02-27
Algorytmiczny Lokalny Lemat Lovasza jako podwójne zliczanieKierownik2011-12-012014-11-30
Losowe zachłanne algorytmy kolorowania hipergrafówKierownik2017-02-032020-02-02