doc. RNDr. Dana Pardubská, CSc.
associate professor
Katedra informatiky
Faculty of Mathematics, Physics and Informatics
Comenius University Bratislava
Mlynská dolina F1
842 48 Bratislava
Slovakia
Selected publications
- Pavol Duris, Rastislav Královic, Richard Královic, Dana Pardubská, Martin Pasen, Peter Rossmanith: Randomization in non-uniform finite automata(2020) Leibniz International Proceedings in Informatics, LIPIcs, 170, art. no. MFCS-2020-30. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85090509523&doi=10.4230%2fLIPIcs.MFCS.2020.30&partnerID=40&md5=138de3f3c3333106290e7bef3950b160 DOI: 10.4230/LIPIcs.MFCS.2020.30
- Ď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
- Stefan Dobrev, Rastislav Královic, Dana Pardubská: Improved Lower Bounds for Shoreline Search. SIROCCO 2020: 80-90 https://www.scopus.com/inward/record.uri?eid=2-s2.0-85089409530&doi=10.1007%2f978-3-030-54921-3_5&partnerID=40&md5=1946a8359ca711fd675eb03376e2bef7 DOI: 10.1007/978-3-030-54921-3_5
- Stefan Dobrev, Rastislav Královic, Dana Pardubská: Exploration of Time-Varying Connected Graphs with Silent Agents. SIROCCO 2020: 146-162 https://www.scopus.com/inward/record.uri?eid=2-s2.0-85089439428&doi=10.1007%2f978-3-030-54921-3_9&partnerID=40&md5=aa388d0c8eea337aaf6fb9f4c37fb92f DOI: 10.1007/978-3-030-54921-3_9
- Stefan Dobrev, Rastislav Královic, Dana Pardubská: Busy agents on a line. Discret. Appl. Math. 382: 214-233 (2026) https://www.scopus.com/pages/publications/105023949480?origin=resultslist https://doi.org/10.1016/j.dam.2025.11.049
Timetable
| Day | Time | Room | Form | Course | Lecturers | ||
|---|---|---|---|---|---|---|---|
| Mon | 09:50 - 12:05 | M-213 | Lecture | 2-INF-163 | Kolmogorovská zložitosť | D. Pardubská | |
| Mon | 12:20 - 13:50 | M-217 | Elective | 1-INF-236 | Výskumný projekt (1) | D. Pardubská, R. Královič | |
| Tue | 11:30 - 13:45 | F1-109 | Course | 1-INF-167 | Výpočtová zložitosť a vypočítateľnosť | D. Pardubská | |
| Wed | 11:30 - 13:00 | F1-108 | Seminar | 1-INF-911 | Bakalársky seminár (1) | D. Pardubská, T. Plachetka, R. Lukoťka | |
| Thu | 15:40 - 17:55 | M-IX | Lecture | 2-MPG-106 | Algoritmy a dátové štruktúry | D. Pardubská | |