Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. IX. 09.
Personal data
Tamás Kozsik
name Tamás Kozsik
year of birth 1970
name of institution
doctoral school
ELTE Doctoral School of Informatics (Supervisor)
Council of the Doctoral School
the share of work in the different doctoral schools. ELTE Doctoral School of Informatics 99%
ELTE IDI2-ELTE Council of the Doctoral School 1%
Contact details
E-mail address ktoelte.hu
phone number +36 1 209-0555/8501
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2006
discipline to which degree belongs computer sciences
institution granting the degree Eötvös Loránd Tudományegyetem (to be translated)
Employment
1996 - Eötvös Loránd University, Budapest
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 11.5
number of students who fulfilled course requirements 7
students who obtained their degrees:
(50%) Gabor Janos Pali PhD 2014  IDI2-ELTE

completed course requirement, without degree or degree granting in process:
Barnabás Králik (PhD) 2015/08  IDI2-ELTE
Dorián Batha (PhD) 2014/08  IDI2-ELTE
Artyom Szergejevics Antyipin (PhD) 2013/08  IDI2-ELTE
Attila Góbi (PhD) 2012/08  IDI2-ELTE
(50%) Csaba Bíró (PhD) 2012/08  IDI2-ELTE
Márk Török (PhD) 2012/08  IDI2-ELTE
(50%) Richárd Olivér Legéndi (PhD) 2012/08  IDI2-ELTE
(50%) Attila Szabó (PhD) 2011/08  IDI2-ELTE
present PhD students:
Artúr Poór (PhD) (2018/08)  IDI2-ELTE
(50%) Róbert Adrián Rill (PhD) (2017/08)  IDI2-ELTE
  Thesis topic proposals
Research
research area programming languages; formal methods; program analyses and transformations; parallel, concurrent and distributed programming
research field in which current research is conducted computer sciences
Publications
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
language: English
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

István Bozó, Viktoria Fordós, Zoltán Horvath, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond: Discovering parallel pattern candidates in Erlang, In: Szerk.: Laura M Castro, Szerk.: Hans Svensson Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang. New York: ACM Press, 2014. pp. 13-23.
type of document: Part of book/Szaktanulmány (to be translated)
number of independent citations: 8
language: English
DOI 
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 
2012

Szűgyi Zalán, Török Márk, Pataki Norbert, Kozsik Tamás: High-level Multicore Programming with C++11, COMPUTER SCIENCE AND INFORMATION SYSTEMS 9: (3) pp. 1187-1202.
type of document: Journal paper/Article
language: English
URL 
2007

Lövei L, Horváth Z, Kozsik T, Víg A, Nagy T: Refactoring Erlang programs, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51: (3-4) pp. 75-84.
type of document: Journal paper/Article
number of independent citations: 19
language: English
Full text 
2006

Kozsik T: Tutorial on subtype marks, LECTURE NOTES IN COMPUTER SCIENCE 4164 LNCS: pp. 191-222.
type of document: Journal paper/Article
number of independent citations: 3
language: English
DOI 
2005

Tejfel M, Horváth Z, Kozsik T: Extending the Sparkle Core language with object abstraction, ACTA CYBERNETICA-SZEGED 17: (2) pp. 419-445.
type of document: Journal paper/Article
number of independent citations: 18
language: English
Full text 
2003

Zólyomi I, Porkoláb Z, Kozsik T: An extension to the subtype relationship in C++ implemented with template metaprogramming, LECTURE NOTES IN COMPUTER SCIENCE 2830: pp. 209-227.
type of document: Journal paper/Article
number of independent citations: 9
language: English
DOI 
1999

Gulyás L, Kozsik T, Corliss JB: The multi-agent modelling language and the model design interface, JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 2: (3) Paper 8. 12 p.
type of document: Journal paper/Article
number of independent citations: 24
language: English
URL 
Number of independent citations to these publications:82 
Scientometric data
Saját közlemény- és idézőlista list of publications and citations
number of scientific publications that meet accreditation criteria:
93
number of scientific publications:
130
monographs and professional books:
2
monographs/books in which chapters/sections were contributed:
8 
number of independent citations to scientific publications and creative works:
163

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )