Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2020. XI. 03.
Personal data
name Tibor Gregorics
name of institution
doctoral school
ELTE Doctoral School of Informatics (Academic staff member)
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 6
number of students who fulfilled course requirements 1
students who obtained their degrees:
completed course requirement:
Sándor Kaczur (PhD) 2011/08  IDI2-ELTE
Enikő Ilyés (PhD) 2021/08  IDI2-ELTE
  Thesis topic proposals
Research
research area artificial intelligence software technology
research field in which current research is conducted computer sciences
Publications
2020

Várkonyi Teréz A., Gregorics Tibor, Nagy András: Improvement of Abstract Reasoning in Teaching Computer Science at Higher Education Level, In: Varkonyi-Koczy, Annamaria R. (szerk.) Engineering for Sustainable Future: Selected papers of the 18th International Conference on Global Research and Education Inter-Academia – 2019, Springer Publishing (2020) pp. 239-248.
type of document: Part of book/Proceedings Paper
language: English
URL 
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 
2017

Tibor Gregorics: Object-oriented backtracking, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 9: (2) pp. 144-161.
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
2012

Gregorics Tibor: Abstract levels of programming theorems, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 4: (2) pp. 247-259.
type of document: Journal paper/Article
language: English
URL 
2010

Gregorics Tibor: Programming theorems on enumerator, TEACHING MATHEMATICS AND COMPUTER SCIENCE 8: (1) pp. 89-108.
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:
55
number of scientific publications:
49
monographs and professional books:
2
monographs/books in which chapters/sections were contributed:
4 
scientific publications published abroad that meet the accreditation criteria:
13
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
19
number of independent citations to scientific publications and creative works:
6


2021. X. 14.
ODT online ülés
Az ODT következő, online ülésére 2021. november 19-én 10.00 órakor kerül sor.

 
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. )