Tibor Gregorics - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

personal data approved: 2024. II. 26.

Personal data

name	Tibor Gregorics
name of institution	Eötvös Loránd University, Budapest
doctoral school	ELTE Doctoral School of Informatics (Supervisor Az oktató valamelyik doktori iskolában egy vagy több doktorandusz vagy doktorjelölt munkáját irányítja. )
the share of work in the different doctoral schools.	ELTE Doctoral School of Informatics 100%
accreditation statement submitted to:	Eötvös Loránd University, Budapest

Contact details
E-mail address	gtinf.elte.hu
phone number	+36 1 209-0555
	own web page

Academic title
scientific degree, title	Ph.D.
year degree was obtained	1994
discipline to which degree belongs	mathematics and computing
institution granting the degree	ELTE (to be translated)

Employment
1986 -	ELTE IK (research institute, not university) other (not specified) (egy. docens)

Thesis topic supervisor

number of doctoral students supervised until now

number of students who fulfilled course requirements

students who obtained their degrees:

completed course requirement:

	Sándor Kaczur	(PhD)	2011/08	IDI2-ELTE
	Enikő Ilyés	(PhD)	2021/08	IDI2-ELTE

present PhD students:

Balázs Szalontai

(PhD)

(2026/08)

IDI2-ELTE

Thesis topic proposals

Research
research area	artificial intelligence software technology
research field in which current research is conducted	computer sciences

Publications

2023

Rikk Richárd, Várkonyi Teréz A., Borsi Zsolt R., Pintér Balázs, Gregorics Tibor: Generating Algorithmic Patterns from Semi-structured Input Using a Transition-Based Neural Network, LECTURE NOTES IN NETWORKS AND SYSTEMS 543: pp. 819-834.
type of document: Journal paper/Article
language: English
URL

2022

Szalontai Balázs, Vadász András, Borsi Zsolt Richárd, Várkonyi Teréz A., Pintér Balázs, Gregorics Tibor: Detecting and Fixing Nonidiomatic Snippets in Python Source Code with Deep Learning, In: Arai, Kohei (szerk.) Intelligent Systems and Applications, Springer International Publishing (2022) pp. 129-147.
type of document: Part of book/Proceedings Paper
language: English
URL

2021

Borbély Tamás, Wild Árpád János, Pintér Balázs, Gregorics Tibor: Using Machine Learning to Identify Methods Violating Immutability, In: Arai, Kohei (szerk.) Intelligent Computing, Springer International Publishing (2021) pp. 453-462.
type of document: Part of book/Proceedings Paper
language: English
URL

2021

Tibor Gregorics: TIME COMPLEXITY OF A∗∗, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 52: pp. 163-176.
type of document: Journal paper/Article
language: English

2020

István Fekete, Tibor Gregorics, Kinga Kovácsné Pusztai, Anna Veszprémi: Programming Theorems and Their Applications, TEACHING MATHEMATICS AND COMPUTER SCIENCE 17: (2) pp. 213-241.
type of document: Journal paper/Article
language: English
URL

2019

Gregorics Tibor, Mózsi Krisztián, Szendrei Rudolf: How to teach testing?, TEACHING MATHEMATICS AND COMPUTER SCIENCE 16: (2) pp. 215-232.
type of document: Journal paper/Article
language: English
URL

2019

Jánosi Tamás, Mózsi Krisztián, Bereczky Péter, Németh Dávid János, Gregorics Tibor: Dynamic Testing of Executable UML Models with Sequence Diagrams, CEUR WORKSHOP PROCEEDINGS 2508: pp. 1-10.
type of document: Journal paper/Konferenciaközlemény
language: English

2017

Gregorics Tibor, Borsi Zsolt: An unified approach of program verification, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 9: (1) pp. 65-82.
type of document: Journal paper/Article
language: English
URL

2014

Tibor Gregorics: Remarks on the A** algorithm, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 6: (2) pp. 190-205.
type of document: Journal paper/Article
language: English
URL

2012

Gregorics Tibor: Analogous programming with a template class library, TEACHING MATHEMATICS AND COMPUTER SCIENCE 10: (1) pp. 135-152.
type of document: Journal paper/Article
language: English

Number of independent citations to these publications:

Scientometric data

Saját közlemény- és idézőlista

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

scientific publications published abroad that meet the accreditation criteria:

publications not in Hungarian, published in Hungary, meeting the accreditation criteria:

number of independent citations to scientific publications and creative works: