Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2019. X. 01.
Personal data
Zoltán Horváth
name Zoltán Horváth
name of institution
doctoral school
ELTE Doctoral School of Informatics (Core member)
(discipline) Habilitation Comittee
Council of the Doctoral School
(discipline) Doctoral Council
accreditation statement submitted to: Eötvös Loránd University, Budapest
Contact details
phone number +36 1 381-2319
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 1996
discipline to which degree belongs mathematics and computing
institution granting the degree Eötvös Loránd Tudományegyetem (ELTE TTK) (to be translated)
Employment
1986 - Eötvös Loránd University, Budapest
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 14.5
number of students who fulfilled course requirements 13.5
students who obtained their degrees:
Dániel Horpácsi PhD 2019  IDI2-ELTE
István Bozó PhD 2019  IDI2-ELTE
Melinda Tóth PhD 2019  IDI2-ELTE
Roland Király PhD 2015  IDI2-ELTE
Péter Diviánszky PhD 2013  IDI2-ELTE
Viktória Zsók PhD 2013  IDI2-ELTE
Zoltán Hernyák PhD 2010  IDI2-ELTE
Máté Tejfel PhD 2009  IDI2-ELTE

completed course requirement, without degree or degree granting in process:
(50%) László Domoszlai (PhD) 2014/08  IDI2-ELTE
(50%) Dániel Leskó (PhD) 2013/08  IDI2-ELTE
(50%) Judit Kőszegi (PhD) 2013/08  IDI2-ELTE
(50%) Péter Szilágyi (PhD) 2013/08  IDI2-ELTE
Mónika Mészáros (PhD) 2010/08  IDI2-ELTE
(50%) Ágnes Lipovits (PhD) 2007/08  IDI2-ELTE
László Csaba Lőrincz (PhD) 2007/08  IDI2-ELTE
Hajnalka Hegedűs (PhD) 2005/08  IDI2-ELTE
Andrea Erika Sütőné Kovács (PhD) 2018/01  IDI2-ELTE
present PhD students:
(50%) Dániel Balázs Rátai (PhD) (2023/08)  IDI2-ELTE
(50%) Charles José Ferrari (PhD) (2021/08)  IDI2-ELTE
(50%) Anna Reale (PhD) (2020/08)  IDI2-ELTE
(50%) Rita Takács (PhD) (2020/08)  IDI2-ELTE
(50%) Rita Takács (PhD) (2020/08)  DSP1-ELTE
  Thesis topic proposals
Research
research area functional and distributed programming
research field in which current research is conducted computer sciences
mathematics and computing
Publications
2019

Zsók Viktoria, Porkoláb Zoltán, Horváth Zoltán: Central European Functional Programming School, Springer International Publishing
type of document: Book/Konferenciakötet (to be translated)
language: English
URL 
2017

Horpácsi Dániel, Kőszegi Judit, Horváth Zoltán: Trustworthy Refactoring via Decomposition and Schemes, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 253: pp. 92-108.
type of document: Journal paper/Konferenciaközlemény
language: English
URL 
2017

Anna Reale, Melinda Tóth, Zoltán Horváth: Towards context aware computations offloading in 5G, In: Daniel-Jesus, Munoz; Mónica, Pintoó; Lidia, Fuentes (szerk.) Proceeding ECSA '17 Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings, ACM Press (2017) pp. 89-92.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
2016

Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth: Static Analysis for Divide-and-Conquer Pattern Discovery, COMPUTING AND INFORMATICS 35: (4) pp. 764-791.
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL 
2015

István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi, Melinda Tóth: Refactorings to Enable Parallelization, LECTURE NOTES IN COMPUTER SCIENCE 8843: pp. 104-121.
type of document: Journal paper/Article
number of independent citations: 1
language: English
DOI 
2014

Páli Gábor, Horváth Zoltán, Zsók Viktória, Tejfel Máté, Judit Nyéky-Gaizler: Elements of Functional Programming Languages, In: Szerk.: Nyékyné Gaizler Judit Advanced Programming Languages. Budapest: Eötvös Loránd Tudományegyetem, 2014. pp. 856-931.
type of document: Part of book/Szaktanulmány (to be translated)
language: English
2013

Kozsik Tamás, Lőrincz András, Juhász Dávid, Domoszlai László, Horpácsi Dániel, Tóth Melinda, Horváth Zoltán: Workflow Description in Cyber-Physical Systems, STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 58: (2) pp. 20-30.
type of document: Journal paper/Article
language: English
Full text 
2006

Zsók Viktória, Hernyák Zoltán, Horváth Zoltán: Designing Distributed Computational Skeletons in D-Clean and D-Box, LECTURE NOTES IN COMPUTER SCIENCE 4164 LNCS: pp. 223-256.
type of document: Journal paper/Article
number of independent citations: 2
language: English
DOI 
2005

Lőrincz László Csaba, Kozsik Tamás, Ulbert Attila, Horváth Zoltán: A method for job scheduling in Grid based on job execution status, MULTIAGENT AND GRID SYSTEMS 1: (3) pp. 197-208.
type of document: Journal paper/Article
number of independent citations: 6
language: English
2003

Horvath Z, Zsok V, Serrarens P, Plasmeijer R: Parallel elementwise processable functions in concurrent clean, MATHEMATICAL AND COMPUTER MODELLING 38: (7-9) pp. 865-875.
type of document: Journal paper/Article
number of independent citations: 4
language: English
DOI 
Number of independent citations to these publications:15 
Scientometric data
Saját közlemény- és idézőlista list of publications and citations
number of scientific publications that meet accreditation criteria:
176
number of scientific publications:
178
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
4 
art/engineering creative works:
1
scientific publications published abroad that meet the accreditation criteria:
99
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
58
number of independent citations to scientific publications and creative works:
247
further relevant information regarding accreditation (in Hungarian)
habilitáció (informatika, ELTE IK): Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása ", 2004. CEEPUS Ministers’ Prize of Excellence: 2004 és 2007. Év Informatika Oktatója: 2002. (to be translated)

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )