Follow
Tibor Gregorics
Tibor Gregorics
associate professor, Eötvös Loránd University
Verified email at inf.elte.hu
Title
Cited by
Cited by
Year
Bevezetés a mesterséges intelligenciába: heurisztikus gráfkeresés; kétszemélyes játékok; automatikus tételbizonyítás: nyitott rendszerű képzés-távoktatás-oktatási segédlete …
F István, G Tibor, N Sára, S Katalin
LSI Oktatóközpont, 1999
251999
Programming theorems on enumerator
T Gregorics
Teaching Mathematics and Computer Science, Debrecen 8 (1), 89-108, 2010
122010
Textual diagram layout language and visualization algorithm
B Gregorics, T Gregorics, GF Kovács, A Dobreff, G Dévai
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
112015
Generic algorithm patterns
T Gregorics, S Sike
Proceedings of Formal Methods in Computer Science Education FORMED, 141-150, 2008
72008
Automatic Implementation of Service Required by Components
S Csepregi, A Dezso, T Gregorics, S Sike
Workshop on Property Verification for Software Components and Services, PROVECS, 2007
62007
Workgroup on Relational Models of Programming-Some concepts of a Relational Model of Programming
Á Fóthi, I Fekete, T Gregorics, Z Horváth, M Koncz-Nagy, S Kozics, ...
Proc. of the Fourth Symp. on Programming Languages and Software Tools …, 1995
61995
Detecting and fixing nonidiomatic snippets in python source code with deep learning
B Szalontai, A Vadász, ZR Borsi, TA Várkonyi, B Pintér, T Gregorics
Intelligent Systems and Applications: Proceedings of the 2021 Intelligent …, 2022
52022
An ArcGIS tool for modeling the climate envelope with feed-forward ANN
Á Bede-Fazekas, L Horváth, AJ Trájer, T Gregorics
Applied Artificial Intelligence 29 (3), 233-242, 2015
52015
Concept of the abstract program
T Gregorics
arXiv preprint arXiv:1207.6369, 2012
52012
Programozás
G Tibor
ELTE Eötvös kiadó, 2013
42013
Abstract levels of programming theorems
T Gregorics
Acta Universitatis Sapientiae, Informatica 4 (2), 247-259, 2012
42012
Analogous programming with a template class library
T Gregorics
42012
Remarks on the A** algorithm
T Gregorics
Acta Universitatis Sapientiae, Informatica 6 (2), 190-205, 2014
32014
Force of summation
T Gregorics
Teaching Mathematics and Computer Science, Debrecen 10 (1), 1-15, 2014
32014
Which of graphsearch versions is the best
T Gregorics
Annales Univ. Sci. Budapest., Sect. Comput 15, 93-108, 1995
21995
Localizing and idiomatizing nonidiomatic python code with deep learning
B Szalontai, Á Kukucska, A Vadász, B Pintér, T Gregorics
Science and Information Conference, 683-702, 2023
12023
Improvement of abstract reasoning in teaching computer science at higher education level
TA Várkonyi, T Gregorics, A Nagy
Engineering for Sustainable Future: Selected papers of the 18th …, 2020
12020
Programming theorems and their applications
I Fekete, T Gregorics, KK Pusztai, A Veszprémi
Teaching Mathematics and Computer Science 17 (2), 213-241, 2019
12019
A unified approach of program verification
T Gregorics, Z Borsi
Acta Universitatis Sapientiae, Informatica 9 (1), 65-82, 2017
12017
Hogyan tanítsunk tesztelni
G Tibor, M Krisztián, S Rudolf
INFODIDACT, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20