prof. RNDr. Rastislav Kráľovič, PhD.
profesor
Katedra informatiky
Fakulta matematiky, fyziky a informatiky UK
Univerzita Komenského v Bratislave
Mlynská dolina F1
842 48 Bratislava
Slovakia
Vybrané publikácie
- Frei F., Hromkovič J., Královič R., Královič R. Two-Way Non-Uniform Finite Automata (2023) International Journal of Foundations of Computer Science, 34 (2-3), pp. 145 - 162 https://www.worldscientific.com/doi/10.1142/S0129054122440063?srsltid=AfmBOorZOuTKwiFzvLGVQOU69PyTjj5zxxXioH2Do8FxMImc3BKBRhjm DOI: 10.1142/S0129054122440063
- Komm D., Královič R., Královič R., Mömke T. Randomized Online Computation with High Probability Guarantees (2022) Algorithmica, 84 (5), pp. 1357 - 1384 https://link.springer.com/article/10.1007/s00453-022-00925-z DOI: 10.1007/s00453-022-00925-z
- Ďuriš, P., Královič, R., Pardubská, D.: Tight hierarchy of data-independent multi-head automata. (2020) Journal of Computer and System Sciences, 114, pp. 126-136. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087405144&doi=10.1016%2fj.jcss.2020.06.005&partnerID=40&md5=4bef676b68a4ed751f2677e7a28edad1 DOI: 10.1016/j.jcss.2020.06.005
- Ďuriš P., Královič R., Královič R., Pardubská D., Pašen M., Rossmanith P. Randomization in non-uniform finite automata (2020) Leibniz International Proceedings in Informatics, LIPIcs, 170, art. no. MFCS-2020-30 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.30 DOI: 10.4230/LIPIcs.MFCS.2020.30
- Dobrev S., Královič R., Pardubská D. Exploration of time-varying connected graphs with silent agents (2020) Lecture Notes in Computer Science, 12156 LNCS, pp. 146 - 162 https://link.springer.com/chapter/10.1007/978-3-030-54921-3_9 DOI: 10.1007/978-3-030-54921-3_9
Rozvrh
| Deň | Čas | Miestnosť | Forma | Predmet | Vyučujúci | ||
|---|---|---|---|---|---|---|---|
| po | 12:20 - 13:50 | M-217 | Výber/Vol | 1-INF-236 | Výskumný projekt (1) | D. Pardubská, R. Královič | |
| po | 12:20 - 13:50 | M-213 | Prednáška | 3-INF-001 | Teoretické základy informatiky | R. Královič | |
| ut | 11:30 - 13:00 | M-VI | Kurz | 2-INF-221 | Aproximácia optimalizačných problémov | R. Královič | |
| ut | 14:50 - 16:20 | M-VI | Kurz | 2-INF-221 | Aproximácia optimalizačných problémov | R. Královič | |
| st | 08:10 - 09:40 | B | Prednáška | 1-INF-220 | Algoritmy a dátové štruktúry | R. Královič, Š. Sádovský | |
| št | 09:50 - 11:20 | F1-328 | Prednáška | 1-INF-220 | Algoritmy a dátové štruktúry | R. Královič, Š. Sádovský | |
| pi | 10:40 - 12:10 | M-213 | Seminár | 3-INF-601 | Seminár pracoviska | R. Královič | |