prof. RNDr. Rastislav Kráľovič, PhD.
professor
Katedra informatiky
Faculty of Mathematics, Physics and Informatics
Comenius University Bratislava
Mlynská dolina F1
842 48 Bratislava
Slovakia
Selected publications
- Dobrev, S., Královič, R., & Pardubská, D. (2020). Exploration of Time-Varying Connected Graphs with Silent Agents. In Lecture Notes in Computer Science (pp. 146–162). Springer International Publishing. https://doi.org/10.1007/978-3-030-54921-3_9
- Ďuriš, P., Královič, R., Královič, R., Pardubská, D., Pašen, M., & Rossmanith, P. (2020). Randomization in Non-Uniform Finite Automata. In J. Esparza & D. Kráľ (Eds), LIPIcs, Volume 170, MFCS 2020 (No. 30; Vol. 170, p. 30:1-30:13). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2020.30
- Ďuriš, P., Královič, R., & Pardubská, D. (2020). Tight hierarchy of data-independent multi-head automata. Journal of Computer and System Sciences, 114, 126–136. https://doi.org/10.1016/j.jcss.2020.06.005
- Frei, F., Hromkovič, J., Královič, R., & Královič, R. (2022). Two-Way Non-Uniform Finite Automata. International Journal of Foundations of Computer Science, 34(02n03), 145–162. https://doi.org/10.1142/s0129054122440063
- Komm, D., Královič, R., Královič, R., & Mömke, T. (2022). Randomized Online Computation with High Probability Guarantees. Algorithmica, 84(5), 1357–1384. https://doi.org/10.1007/s00453-022-00925-z
Timetable
| Day | Time | Room | Form | Course | Lecturers | ||
|---|---|---|---|---|---|---|---|
| Mon | 12:20 - 13:50 | M-217 | Elective | 1-INF-236 | Výskumný projekt (1) | D. Pardubská, R. Královič | |
| Mon | 12:20 - 13:50 | M-213 | Lecture | 3-INF-001 | Teoretické základy informatiky | R. Královič | |
| Tue | 11:30 - 13:00 | M-VI | Course | 2-INF-221 | Aproximácia optimalizačných problémov | R. Královič | |
| Tue | 14:50 - 16:20 | M-VI | Course | 2-INF-221 | Aproximácia optimalizačných problémov | R. Královič | |
| Wed | 08:10 - 09:40 | B | Lecture | 1-INF-220 | Algoritmy a dátové štruktúry | R. Královič, Š. Sádovský | |
| Thu | 09:50 - 11:20 | F1-328 | Lecture | 1-INF-220 | Algoritmy a dátové štruktúry | R. Královič, Š. Sádovský | |
| Fri | 10:40 - 12:10 | M-213 | Seminar | 3-INF-601 | Seminár pracoviska | R. Královič | |