Publikációs lista

 

Tudományos könyv, jegyzet

 

Gregorics, T.: Artificial intelligence, elektronikus jegyzet

ELTE IK Digitális Könyvtár, 2015.

http://www.inf.elte.hu/karunkrol/digitkonyv/Lapok/2014-esjegyzettámogatásipályázatotnyertoktatókésjegyzeteik.aspx

 

Gregorics Tibor: Heurisztikus útkeresõ algoritmusok (online).

978-963-284-460-2 Budapest, 2014.

http://www.tankonyvtar.hu/hu/tartalom/tamop412A/2011-0052_32_heurisztikus_utkereso_algoritmusok/esas2004.htm?sco=index.html

 

Gregorics, T.: Programozás 1.kötet Tervezés. ELTE Eötvös Kiadó, 2013.

 

Gregorics, T.: Programozás 2.kötet Megvalósítás. ELTE Eötvös Kiadó, 2013.

Gregorics T.: Diszkrét módszerek: Heurisztikus gráfkereső algoritmusok,
In: Iványi Antal, Informatikai Algoritmusok 3. Budapest: ELTE Eötvös Kiadó, 2013. pp. 1597-1636.

Gregorics, T.: Programozás visszavezetéssel, elektronikus jegyzet, 2011, 118 oldal

http://people.inf.elte.hu/gt/TAMOP/ProgJegyzet20110831.pdf

 

Gregorics, T.: Alkalmazások fejlesztése ADO.NET-tel, elektronikus jegyzet,

ELTE IK Digitális Könyvtár, 2008. 67 oldal

http://www.inf.elte.hu/karunkrol/digitkonyv/Jegyzetek/adonet.pdf

 

Gregorics, T.: Bevezetés a mesterséges intelligenciába, elektronikus jegyzet

ELTE IK Digitális Könyvtár, 2008. 300 dia

http://www.inf.elte.hu/karunkrol/digitkonyv/Jegyzetek/mi.pdf

 

Fekete, I., Gregorics, T., Nagy S.: Bevezetés a mesterséges intelligenciába

LSI kiadó (289 oldal), Budapest, 1990. 1999.

ELTE Eötvös kiadó, 2006.

 

Iványi, A. (főszerkesztő): Angol-magyar informatikai szótár

Tinta Kiadó, Budapest, 2006.

(Ember-gép kapcsolat szószedetei)

 

Futó, I. (alkotó szerkesztő): Mesterséges intelligencia

Aula Kiadó, Budapest, 1999.

Gregorics Tibor: 1, 2, 3, és 4.1, 4.2 fejezetek

 

 

 

 

Folyóiratban megjelent publikációk

 

T. Gregorics

Object-oriented backtracking

Acta Universitatis Sapientiae, Informatica, 9, 2 (2017) 144-161 

http://www.acta.sapientia.ro/acta-info/C9-2/info92-04.pdf

 

T. Gregorics, Zs. Borsi

An unified approach of program verification

Acta Universitatis Sapientiae, Informatica, 9, 1 (2017) 65-82 

http://www.acta.sapientia.ro/acta-info/C9-1/info91-05.pdf

 

Gregorics, T.: Live & Learn: When a Wrong Program Works

Teaching Mathematics and Computer Science

Debrecen, 13/2 (2015), 1-14

 

Ákos Bede-Fazekas, Levente Horváth, Attila J. Trájer, Tibor Gregorics:

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

Applied Artificial Intelligence 29 (3) (2015): 233-242. DOI: 10.1080/08839514.2015.1004612

 

Gregorics, T.: Remarks ont he algorithm A**

Acta Universitatis Sapientiae, Informatica, 6, 2 (2014), 190-205

 

Gregorics, T.: Force of Summation

Teaching Mathematics and Computer Science

Debrecen, 12/2 (2014), 185-199

 

Gregorics, T.: Abstract levels of programming theorems

Acta Universitatis Sapientiae, Informatica, 4, 2 (2012), 247-259

 

Gregorics, T.: Concept of abstract program

Acta Universitatis Sapientiae, Informatica, 4, 1 (2012), 7-16

 

Gregorics, T.: Analogous programming with a template class library

Teaching Mathematics and Computer Science

Debrecen, 10/1 (2012), 135-152

 

Giachetta, R., Gregorics, T., Istenes, Z., Sike, S.: Address Standardization,

Annales Univ. Sci. Budapest., Sect. Comp. 37 (2012) 5-18

 

Gregorics, T.: Programming theorems on enumerator

Teaching Mathematics and Computer Science

Debrecen, 8/1 (2010), 89-108

 

Ásványi, T., Gregorics, T.: A More Effective Version of Algorithm A

Annales Univ. Sci. Budapest., Sect. Comp. 17 (1998) 33-48.

 

Gregorics, T.: Which Graphsearch Version Is the Best?

Annales Univ. Sci. Budapest., Sect. Comp. 15 (1995) 93-108.

 

Gregorics, T.: Megjegyzések a heurisztikus gráfkereső algoritmusokhoz

Alkalmazott Matematikai Lapok 16. (1992) 61-71.

 

 

Konferenciák

 

 

Gergely Dévay, Tibor Gregorics, Melinda Tóth, Domonkos Asztalos, Dávid János Németh, Gábor Ferenc Kovács, Boldizsár Németh, Zoltán Gera, András Dobreff, Balázs Gregorics,

András Nagy, Martin Budai, Zsolt Kulik, Kristóf Kanyó: txtUML

Proceedings of the MoDELS 2016 Demo and Poster Sessions

co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)

Saint-Malo, France, October 2-7, 2016.  pp 8-15

Edited by Juan de Lara, Peter J. Clarke, Mehrdad Sabetzadeh

http://ceur-ws.org/Vol-1725/

 

Tibor Gregorics, Zsolt Borsi

Corrections to the program verification rules

Proceedings of the 11th Joint Conference on Mathematics and Computer Science

Eger, Hungary, May 20-22, 2016. pp 85-95

Edited by Emil Vatai

http://ceur-ws.org/Vol-2046/gregorics-borsi.pdf

CEUR Workshop Proceedings ISSN 1613-0073 Vol-2046 urn:nbn:de:0074-2046-8

 

Gergely Dévai, Tibor Gregorics, Boldizsár Németh, Balázs Gregorics, Dávid János Németh, Gábor Ferenc Kovács, Zoltán Gera, András Dobreff, Máté Karácsony

Novel architecture for executable UML tooling

Proceedings of the 11th Joint Conference on Mathematics and Computer Science

Eger, Hungary, May 20-22, 2016. pp 62-73

Edited by Emil Vatai

http://ceur-ws.org/Vol-2046/gregorics-borsi.pdf

CEUR Workshop Proceedings ISSN 1613-0073 Vol-2046 urn:nbn:de:0074-2046-8

 

Gregorics, B., Gregorics, T., Kovács, G. F., Dobreff, A., Dévai, G.:

Textual Diagram Layout Language and Visualization Algorithm,

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS),

September 30 - October 2, 2015, Ottawa, ON, Canada

 

Gregorics, T., Sike, S.:Generic algorithm patterns,

Proceedings of Formal Methods in Computer Science Education FORMED 2008,

Satellite workshop of ETAPS 2008, Budapest March 29, 2008, p. 141-150.

 

Csepregi, Sz., Dezső, A., Gregorics, T., Sike, S.: Automatic Implementation of Service Required by Components

PROVECS’2007 Workshop, ETH Technical Report 567. 2007.

 

Fekete, I., Gregorics, T., Hunyadvári, L.: Abstraction levels of data types,

5th Int. Conf. on Appl. Informatics, Eger, Hungary, Jan. 28-Feb. 3, 2001.

 

Lőrentey, K., Fekete, I., Fóthi, Á. Gregorics, T.: On the wide variety of backtracking algorithms,

5th Int. Conf. on Appl. Informatics, Eger, Hungary, Jan. 28-Feb. 3, 2001.

 

Csepregi, Sz., Dezső, A., Gregorics, T., Sike, S.:Automated Program Generation

Third International Conference on Applied Informatics, Eger-Noszvaj aug. 25-28 (1997) 429-430.

 

Sike, S., Gregorics, T.: Type-transformation on Elementwise Proccessing"

Third International Conference on Applied Informatics, Eger-Noszvaj aug. 25-28 (1997) 417-428.

 

Gregorics, T., Nagy, S.:Searching in AND-OR Graphs

Third International Conference on Applied Informatics, Eger-Noszvaj aug. 25-28 (1997) 443-456.

 

Gregorics, T., Sike, S.:Weak Elementwise Processing

Procds.: Fourth Symposium on Programming Languages and Software Tools", Visegrád, June 8-14, 1995,

(Ed. by L. Varga) pp. 55-65, ELTE, Budapest, 1995.

 

Workgroup on Relational Models of Programming: Some Concepts of a Relational Model of Programming

Procds.: Fourth Symposium on Programming Languages and Software Tools", Visegrád, June 8-14, 1995,

(Ed. by L. Varga) pp. 434-446, ELTE, Budapest, 1995.

 

Gregorics, T.: Comparing of Two Graphsearch Algorithms

Procds.: "Third Conference on Artificial Intelligence", Budapest, April 6-8, 1993,

(Ed. by P. Koch) pp. 201-210, NJSZT, Budapest, 1993.

 

Gregorics, T.: Which Graphsearch Algorithm is Better?

Procds.: "Second Conference on Artificial Intelligence", Budapest, Jan 23-25, 1991,

(Ed. by I. Fekete, P. Koch) Vol. 2, pp. 275-284, ELTE, Budapest, 1991.

 

Ásványi, T., Bagyinszki-Orosz, A., Fekete, I., Gregorics, T., Nagy S., Nyéki-Gaizler, J.:

The Educational Program in Artificial Intelligence at Eötvös Loránd University

Procds.: "Second Conference on Artificial Intelligence", Budapest, Jan 23-25, 1991,

(Ed. by I. Fekete, P. Koch) Vol. 2, pp. 285-292, ELTE, Budapest, 1991.

 

Fekete, I., Gregorics, T., Sike S.: A Survey on Artificial Intelligence Applications in Software Engineering

Man & Machine Austrian-Hungarian Conference

(Ed. by V. Haase, E. Knuth), Budapest, Oct 26-28, 1989.

 

Gregorics, T.: Another Graph-searching Algorithm

Procds.: "Fifth Conference of Program Designers", Budapest, Aug 28-Sept 1, 1989,

(Ed. by A. Iványi) pp. 115-122, ELTE, Budapest, 1989.

 

Gregorics, T.: Another Introduce to Consistent Algorithm

Procds.: "First Seminar on Artificial Intelligence", Visegrád, Jan 23-24, 1989,

(Ed. by I. Fekete, S. Nagy) pp. 137-144, ELTE, Budapest, 1989.

 

Gregorics, T., Fekete, I., Varga, L. Zs.: Corrections to Graph-searching Algorithms

Procds.: "Fourth Conference of Program Designers", Budapest, June 1-3, 1988,

(Ed. by A. Iványi) pp. 25-30, ELTE, Budapest, 1988.

 

Doktori értekezés

Gregorics, T.: Heurisztikus gráfkereső eljárások

Egyetemi doktori dolgozat, ELTE, Budapest, 1993.

 

Tanulmányok

 

Fekete, I., Gregorics, T., Horváth, Z., Sike S., Venczel T.: Szakértői rendszerek az ipari folyamatirányításban

Kutatási jelentés. Témavezető: Fekete István. ELTE, Budapest, 1989.

 

Ásványi, T., Csapody, N., Fekete, I., Gregorics, T., Nagy S., Sike, S., Venczel, T.:

Mesterséges intelligencia alkalmazása a szoftvertechnológiában"

Kutatási jelentés. Témavezető: Fekete István. ELTE, Budapest, 1990.

 

Antóczi, G., Ásványi, T., Bíró, E., Csepregi, Sz., Dezső, A., Endrey, B.,

Gregorics, T., Kégli, Z., Nagy, S., Takács, L., Sike, S.:

Mesterséges intelligencia feladatok megoldásának nyelvi eszközei

Kutatási jelentés. OTKA által F4188 szám alatt támogatott kutatás.

Témavezető: Gregorics Tibor. ELTE, Budapest, 1995.