|
Email:
|
juraj.sebej@upjs.sk | |
|
Homepage:
|
https://www.upjs.sk/PF/zamestnanec/juraj.sebej | |
|
Faculty:
|
PF UPJŠ
-
Pavol Jozef Šafárik University in Košice, Faculty of Science
|
|
|
Department:
|
ÚINF
-
Institute of Computer Science
|
|
|
Office:
|
SJ0O18 | |
|
Phone:
|
+421 55 234 2434 |
|
Profile courses
|
|
ÚINF/PAZ1a/15 - Programming, algorithms, and complexity - Computer Science, Applied Informatics, Joint degree study of Informatics and other
subject, Data Analysis and Artificial Intelligence, Mathematics, Economic and Financial
Mathematics, I. degree
|
|
ÚINF/PAZ1b/15 - Programming, algorithms, and complexity - Computer Science, Applied Informatics, Joint degree study of Informatics and other
subject, Data Analysis and Artificial Intelligence, Mathematics, Economic and Financial
Mathematics, I. degree
|
|
ÚINF/AFJ1a/15 - Automata and formal languages - Computer Science, Applied Informatics, Joint degree study of Informatics and other
subject, Data Analysis and Artificial Intelligence, Mathematics, Economic and Financial
Mathematics, I. degree
|
|
ÚINF/AFJ1b/15 - Automata and formal languages - Computer Science, Applied Informatics, Joint degree study of Informatics and other
subject, Data Analysis and Artificial Intelligence, Mathematics, Economic and Financial
Mathematics, I.+II. degree
|
|
Selected publications
|
|
Viliam Geffert, Dominika Palisínová, Juraj Sebej: Binary Coded Unary Regular Languages. Int. J. Found. Comput. Sci. 36(3): 285-319 (2025) |
|
Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Juraj Sebej:On the difference set of two transductions. Theor. Comput. Sci. 1016: 114780 (2024) |
|
Michal Hospodár, Viktor Olejár, Juraj Sebej: Decision Problems for Subregular Classes. CIAA 2024: 180-194 (2024) |
|
Michal Hospodár, Jozef Jirásek, Galina Jirásková, Juraj Sebej: Operational Complexity: NFA-to-DFA Trade-Off. DCFS 2023: 79-93 (2023) |
|
Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej: Zero-Avoiding Transducers, Length Separable Relations, and the Rational Asymmetric Partition Problem. Int. J. Found. Comput. Sci. 32(5): 455-480 (2021) |
|
Selected projects
|
|
Modely automatov: popisná a výpočtová zložitosť APVV-24-0103 |
|
Analysis of Judicial Decisions using Artificial Intelligence APVV-21-0336 |
|
Automata and Formal Languages: Descriptional and Computational Complexity VEGA 2/0096/23 |
|
International mobilities and visits
|
|
Saint Mary’s University, Saint Mary’s University, 923 Robie Street, Halifax, Nova Scotia, B3H 3C3, Canada, 1.10.2017 - 30.9.2018, post-doctoral fellow
|
