Research/art/teacher profile of a person
Name and surname:
RNDr. Peter Kostolányi, PhD.
Document type:
Research/art/teacher profile of a person
The name of the university:
Comenius University Bratislava
The seat of the university:
Šafárikovo námestie 6, 818 06 Bratislava

I. - Basic information

I.1 - Surname
Kostolányi
I.2 - Name
Peter
I.3 - Degrees
RNDr., PhD.
I.4 - Year of birth
1990
I.5 - Name of the workplace
KI FMFI UK
I.6 - Address of the workplace
Mlynská dolina, 842 48 Bratislava
I.7 - Position
Assistant professor
I.8 - E-mail address
kostolanyi@fmph.uniba.sk
I.9 - Hyperlink to the entry of a person in the Register of university staff
https://www.portalvs.sk/regzam/detail/28104
I.10 - Name of the study field in which a person works at the university
18. - Computer Science
I.11 - ORCID iD
0000-0002-5474-8781

II. - Higher education and further qualification growth

II.1 - First degree of higher education
II.a - Name of the university or institution
Comenius University in Bratislava
II.b - Year
2011
II.c - Study field and programme
18. - Computer Science: Computer Science
II.2 - Second degree of higher education
II.a - Name of the university or institution
Comenius University in Bratislava
II.b - Year
2013
II.c - Study field and programme
18. - Computer Science: Computer Science
II.3 - Third degree of higher education
II.a - Name of the university or institution
Comenius University in Bratislava
II.b - Year
2017
II.c - Study field and programme
18. - Computer Science: Computer Science
II.4 - Associate professor
II.5 - Professor
II.6 - Doctor of Science (DrSc.)

III. - Current and previous employment

III.a - Occupation-position III.b - Institution III.c - Duration
PhD Student Comenius University in Bratislava 2013 - 2017
Assistant Professor Comenius University in Bratislava 2017 -

IV. - Development of pedagogical, professional, language, digital and other skills

V. - Overview of activities within the teaching career at the university

V.1 - Overview of the profile courses taught in the current academic year according to study programmes
V.1.a - Name of the profile course V.1.b - Study programme V.1.c - Degree V.1.d - Field of study
1-INF-166/11 Programming (2) in Java Computer Science I. 18. computer science
1-INF-215/14 Formal Languages and Automata Theory (1) Computer Science I. 18. computer science
2-INF-186/15 Formal Languages and Automata Theory (2) Computer Science II. 18. computer science
2-INF-275/18 Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (1) Computer Science II. 18. computer science
2-INF-276/18 Unstructured Talks on Structures: Chapters in Mathematics for Computer Scientists (2) Computer Science II. 18. computer science
V.2 - Overview of the responsibility for the delivery, development and quality assurance of the study programme or its part at the university in the current academic year
V.3 - Overview of the responsibility for the development and quality of the field of habilitation procedure and inaugural procedure in the current academic year
V.4 - Overview of supervised final theses
V.4.1 - Number of currently supervised theses
V.4.a - Bachelor's (first degree)
1
V.4.b - Diploma (second degree)
0
V.4.c - Dissertation (third degree)
0
V.4.2 - Number of defended theses
V.4.a - Bachelor's (first degree)
3
V.4.b - Diploma (second degree)
2
V.4.c - Dissertation (third degree)
0
V.5 - Overview of other courses taught in the current academic year according to study programmes
V.5.a - Name of the course V.5.b - Study programme V.5.c - Degree V.5.d - Field of study
2-INF-277/18 Complex Analysis for Computer Scientists Computer Science II. 18. computer science
2-INF-278/18 Analytic and Enumerative Combinatorics Computer Science II. 18. computer science

VI. - Overview of the research/artistic/other outputs

VI.1 - Overview of the research/artistic/other outputs and the corresponding citations
VI.1.1 - Number of the research/artistic/other outputs
VI.1.a - Overall
22
VI.1.b - Over the last six years
13
VI.1.2 - Number of the research/artistic/other outputs registered in the Web of Science or Scopus databases
VI.1.a - Overall
17
VI.1.b - Over the last six years
11
VI.1.3 - Number of citations corresponding to the research/artistic/other outputs
VI.1.a - Overall
16
VI.1.b - Over the last six years
15
VI.1.4 - Number of citations registered in the Web of Science or Scopus databases
VI.1.a - Overall
14
VI.1.b - Over the last six years
13
VI.1.5 - Number of invited lectures at the international, national level
VI.1.a - Overall
2
VI.1.b - Over the last six years
2
VI.2 - The most significant research/artistic/other outputs
1

Determinisability of unary weighted automata over the rational numbers / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2021.11.002. – SCIE ; WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 898 (2022), s. 110-131 [tlačená forma] [online]

2

Alternating weighted automata over commutative semirings / Kostolányi, Peter [Autor, 50%] ; Mišún, Filip [Autor, 50%]. – DOI 10.1016/j.tcs.2018.05.003. – WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 740 (2018), s. 1-27

3

Polynomially Ambiguous Unary Weighted Automata over Fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1007/s00224-022-10107-7. – SCIE ; WOS CC ; SCO

In:Theory of Computing Systems [textový dokument (print)] [elektronický dokument] . – New York (USA) : Springer Nature. – ISSN 1432-4350. – ISSN (online) 1433-0490. – Roč. 67, č. 2 (2023), s. 291-309 [tlačená forma] [online]

4

ID: 1204195 | Finitely ambiguous and finitely sequential weighted automata over fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2024.114725. – SCIE ; WOS CC ; SCO ; CCC

In: Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 1012 (2024), art. no. 114725, s. 1-20 [tlačená forma] [online]

5

ID: 1231302 | Weighted automata and logics meet computational complexity / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.ic.2024.105213. – SCIE ; WOS CC ; SCO ; CCC

In: Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – č. 301 (2024), art. no.105213, s. 1-16 [tlačená forma] [online]

VI.3 - The most significant research/artistic/other outputs over the last six years
1

Determinisability of unary weighted automata over the rational numbers / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2021.11.002. – SCIE ; WOS CC ; SCO ; CCC

In:Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 898 (2022), s. 110-131 [tlačená forma] [online]

2

Polynomially Ambiguous Unary Weighted Automata over Fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1007/s00224-022-10107-7. – SCIE ; WOS CC ; SCO

In:Theory of Computing Systems [textový dokument (print)] [elektronický dokument] . – New York (USA) : Springer Nature. – ISSN 1432-4350. – ISSN (online) 1433-0490. – Roč. 67, č. 2 (2023), s. 291-309 [tlačená forma] [online]

3

ID: 1204195 | Finitely ambiguous and finitely sequential weighted automata over fields / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.tcs.2024.114725. – SCIE ; WOS CC ; SCO ; CCC

In: Theoretical Computer Science [textový dokument (print)] [elektronický dokument] . – Amsterdam (Holandsko) : Elsevier. – ISSN 0304-3975. – ISSN (online) 1879-2294. – č. 1012 (2024), art. no. 114725, s. 1-20 [tlačená forma] [online]

4

ID: 1231302 | Weighted automata and logics meet computational complexity / Kostolányi, Peter [Autor, 100%]. – [recenzované]. – DOI 10.1016/j.ic.2024.105213. – SCIE ; WOS CC ; SCO ; CCC

In: Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – č. 301 (2024), art. no.105213, s. 1-16 [tlačená forma] [online]

5

Geometrically closed positive varieties of languages / Klíma, Ondřej [Autor, 50%] ; Kostolányi, Peter [Autor, 50%] ; Language and Automata Theory and Applications, 14 [04.03.2020-06.03.2020, Miláno, Taliansko]. – [recenzované]. – DOI 10.1016/j.ic.2021.104709. – SCIE ; WOS CC ; SCO ; CCC

In:Information and Computation [textový dokument (print)] [elektronický dokument] . – San Diego (USA) : Elsevier. Academic Press. – ISSN 0890-5401. – ISSN (online) 1090-2651. – suppl. Selected Papers of the 14th International Conference on Language and Automata Theory and Applications : LATA 2020, č. 288 (2022), art. no. 104709, s. 1-17 [tlačená forma] [online]

VI.4 - The most significant citations corresponding to the research/artistic/other outputs
1

(Web of Science Core Collection:WOS:001036707700010; Conference Proceedings Citation Index - Science:WOS:001036707700010; SCOPUS:2-s2.0-85165983606) 1231375: Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields / Bell, Jason P. [Autor, 50%] ; Smertnig, Daniel [Autor, 50%] ; Logic in Computer Science, 38 [26.06.2023-28.06.2023, Boston, USA]. – DOI 10.1109/LICS56636.2023.10175691. – CPCI-S ; WOS CC ; SCO

In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) [elektronický dokument] / [bez zostavovateľa] [Zostavovateľ, editor]. – 1. vyd. – New York (USA) : Institute of Electrical and Electronics Engineers, 2023. – (IEEE Symposium on Logic in Computer Science, ISSN 1043-6871). – ISBN (elektronické) 979-83-50335-87-3. – ISSN 1043-6871, s. [1-13] [online]

2

(Web of Science Core Collection:WOS:001275042100046; Conference Proceedings Citation Index - Science:WOS:001275042100046; SCOPUS:2-s2.0-85199026480) 1231374: Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata / Jecker, Ismaël [Autor, 33.333%] ; Mazowiecki, Filip [Autor, 33.334%] ; Purser, David [Autor, 33.333%] ; Logic in Computer Science, 39 [08.07.2024-11.07.2024, Talin, Estónsko]. – DOI 10.1145/3661814.3662073. – CPCI-S ; WOS CC ; SCO

In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science [elektronický dokument] / [bez zostavovateľa] [Zostavovateľ, editor]. – 1. vyd. – New York (USA) : Institute of Electrical and Electronics Engineers, 2024. – (IEEE Symposium on Logic in Computer Science, ISSN 1043-6871). – ISBN (elektronické) 979-8-4007-0660-8. – ISSN 1043-6871, [online]

3

(SCOPUS:2-s2.0-85203401341) 1231653: Logical Characterizations of Weighted Complexity Classes / Badia, Guillermo [Autor, 25%] ; Droste, Manfred [Autor, 25%] ; Noguera, Carles [Autor, 25%] ; Paul, Erik [Autor, 25%] ; Mathematical Foundations of Computer Science 2024, 49 [26.08.2024-30.08.2024, Bratislava, Slovensko]. – DOI 10.4230/LIPIcs.MFCS.2024.14. – SCO

In: 49th International Symposium on Mathematical Foundations of Computer Science [elektronický dokument] / Královič, Rastislav [Zostavovateľ, editor] ; Kučera, Antonín [Zostavovateľ, editor]. – [recenzované]. – 1. vyd. – Wadern (Nemecko) : Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2024. – (Leibniz International Proceedings in Informatics, ISSN 1868-8969 ; 306). – ISBN (elektronické) 978-395-977-335-5. – ISSN 1868-8969, [online]

4

(Current Content Connect:CCC:001134090400001; Web of Science Core Collection:WOS:001134090400001; Science Citation Index Expanded:WOS:001134090400001; SCOPUS:2-s2.0-85181265079) 1233735: A nivat theorem for weighted alternating automata over commutative semirings / Grabolle, Gustav [Autor, 100%]. – DOI 10.46298/lmcs-19(4:27)2023. – SCIE ; WOS CC ; SCO ; CCC

In: Logical Methods in Computer Science [elektronický dokument] . – Braunschweig (Nemecko) : Technische Universität Braunschweig. – ISSN (online) 1860-5974. – Roč. 19, č. 4 (2023), art. no. 27 [online]

5

(SCOPUS:2-s2.0-85115880252) 469726: A nivat theorem for weighted alternating automata over commutative semirings / Grabolle, Gustav [Autor, 100%] ; Games, Automata, Logics, and Formal Verification 2021, 12 [20.09.2021-22.09.2021, Padova, Taliansko]. – DOI 10.4204/EPTCS.346.16. – SCO

In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification [elektronický dokument] / Ganty, Pierre [Zostavovateľ, editor] ; Bresolin, Davide [Zostavovateľ, editor]. – [recenzované]. – 346. vyd. – Waterloo (Austrália) : Open Publishing Association, 2021. – (Electronic Proceedings in Theoretical Computer Science, ISSN 2075-2180 ; EPTCS 346). – ISSN (online) 2075-2180, s. 241-257 [online]

VI.5 - Participation in conducting (leading) the most important research projects or art projects over the last six years
1

VEGA 1/0601/20

2

VEGA 2/0165/16

VII. - Overview of organizational experience related to higher education and research/artistic/other activities

VIII. - Overview of international mobilities and visits oriented on education and research/artistic/other activities in the given field of study

IX. - Other relevant facts

Date of last update
2025-01-22