I agree that this site is using cookies. You can find further informations here.
X
Gregorics, Tibor
23  results:
Search for persons X
?
1

Localizing and Idiomatizing Nonidiomatic Python Code with D..:

, In: Lecture Notes in Networks and Systems; Intelligent Computing,
Szalontai, Balázs ; Kukucska, Ákos ; Vadász, András.. - p. 683-702 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Generating Algorithmic Patterns from Semi-structured Input ..:

, In: Lecture Notes in Networks and Systems; Intelligent Systems and Applications,
Rikk, Richárd ; Várkonyi, Teréz A. ; Borsi, Zsolt R... - p. 819-834 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Using Machine Learning to Identify Methods Violating Immuta..:

, In: Lecture Notes in Networks and Systems; Intelligent Computing,
Borbély, Tamás ; Wild, Árpád János ; Pintér, Balázs. - p. 453-462 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Detecting and Fixing Nonidiomatic Snippets in Python Source..:

, In: Lecture Notes in Networks and Systems; Intelligent Systems and Applications,
Szalontai, Balázs ; Vadász, András ; Borsi, Zsolt Richárd... - p. 129-147 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Programming Theorems and Their Applications:

Fekete, István ; Gregorics, Tibor ; Kovácsné Pusztai, Kinga.
Teaching Mathematics and Computer Science.  17 (2020)  2 - p. 213-241 , 2020
Link: https://doi.org/10.5485/..
 
?
6

Improvement of Abstract Reasoning in Teaching Computer Scie..:

, In: Lecture Notes in Networks and Systems; Engineering for Sustainable Future,
Várkonyi, Teréz A. ; Gregorics, Tibor ; Nagy, András - p. 239-248 , 2020
Link: https://doi.org/10.1007/..
 
?
7

A unified approach of program verification: Dedicated to th..:

Gregorics, Tibor ; Borsi, Zsolt
Acta Universitatis Sapientiae, Informatica.  9 (2017)  1 - p. 65-82 , 2017
Link: https://doi.org/10.1515/..
 
?
8

Object-oriented backtracking:

Gregorics, Tibor
Acta Universitatis Sapientiae, Informatica.  9 (2017)  2 - p. 144-161 , 2017
Link: https://doi.org/10.1515/..
 
?
9

Textual diagram layout language and visualization algorithm:

, In: Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems,
Gregorics, Balázs ; Gregorics, Tibor ; Kovács, Gábor Ferenc.. - p. 196-205 , 2015
Link: https://dl.acm.org/doi/1..
 
?
10

An ArcGIS Tool for Modeling the Climate Envelope with Feed-..:

Bede-Fazekas, Ákos ; Horváth, Levente ; Trájer, Attila J..
Applied Artificial Intelligence.  29 (2015)  3 - p. 233-242 , 2015
Link: https://doi.org/10.1080/..
 
?
11

Remarks on the A** algorithm:

Gregorics, Tibor
Acta Universitatis Sapientiae, Informatica.  6 (2014)  2 - p. 190-205 , 2014
Link: https://doi.org/10.1515/..
 
?
12

Programming Theorems and Their Applications:

Fekete, István ; Gregorics, Tibor ; Kovácsné Pusztai, Kinga.
https://ojs.lib.unideb.hu/tmcs/article/view/10957/9718.  , 2020
Link: https://ojs.lib.unideb.h..
 
?
13

An unified approach of program verification:

Gregorics, Tibor ; Borsi, Zsolt
http://hdl.handle.net/10831/66241.  , 2017
Link: http://hdl.handle.net/10..
 
?
14

Object-oriented backtracking:

Gregorics Tibor
https://doi.org/10.1515/ausi-2017-0010.  , 2017
Link: https://doi.org/10.1515/..
 
?
15

A unified approach of program verification:

Gregorics Tibor ; Borsi Zsolt
https://doi.org/10.1515/ausi-2017-0005.  , 2017
Link: https://doi.org/10.1515/..
 
1-15