11.
Gregorics, Tibor ; Borsi, Zsolt
An unified approach of program verification
ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 9 : 1 pp. 65-82. , 18 p. (2017)
DOI EDIT
Publication:3283146 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3283146] [Admin approved]
12.
Dévai, Gergely ; Gregorics, Tibor ; Tóth, Melinda ; Asztalos, Domonkos ; Németh, Dávid János ; Kovács, Gábor Ferenc ; Németh, Boldizsár ; Gera, Zoltán ; Dobreff, András ; Gregorics, Balázs et al.
txtUML
CEUR WORKSHOP PROCEEDINGS 1725 pp. 8-15. , 8 p. (2016)
Teljes dokumentum
Publication:31143415 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[31143415] [Approved]
13.
Gergely, Dévai ; Tibor, Gregorics ; Boldizsár, Németh ; Balázs, Gregorics ; Németh, Dávid János ; Gábor, Ferenc Kovács ; Zoltán, Gera ; András, Dobreff ; Máté, Karácsony
Novel architecture for executable UML tooling
CEUR WORKSHOP PROCEEDINGS 2046 pp. 62-73. , 12 p. (2016)
Scopus
Publication:3317978 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[3317978] [Validated]
14.
Tibor, Gregorics ; Zsolt, Borsi
Corrections to the program verification rules
CEUR WORKSHOP PROCEEDINGS 2046 pp. 85-95. , 11 p. (2016)
Teljes dokumentum
Publication:3317970 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[3317970] [Approved]
15.
Gregorics, Tibor
Visszalépéses felsoroló
In: Zsakó, László; Szlávi, Péter (eds.) INFODIDACT 2016 : Informatika Szakmódszertani Konferencia
Zamárdi, Hungary : Webdidaktika Alapítvány (2016) pp. 1-12. , 12 p.
Publication:3244740 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[3244740] [Admin approved]
16.
Németh, Dávid János ; Nagy, András ; Gregorics, Balázs ; Dobreff, András ; Kovács, Gábor Ferenc ; Dévai, Gergely ; Gregorics, Tibor
Reproducing UML class diagrams using txtUML (2015)
Eötvös Loránd Tudományegyetem, Informatikai Kar,
Teljes dokumentum
Publication:31143379 Published Core Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[31143379] [Approved]
17.
Gregorics, Tibor
Artifical intelligence (2015)
eletronikus egyetemi jegyzet (ELTE IK Digitális Könyvtár),
Egyéb URL
Publication:3241728 Admin approved Core Miscellaneous (Not classified ) Educational
Not classified (Miscellaneous) | Educational[3241728] [Admin approved]
18.
Balázs, Gregorics ; Tibor, Gregorics ; Gábor, Ferenc Kovács ; András, Dobreff ; Gergely, Dévai
Textual Diagram Layout Language and Visualization Algorithm
In: Timothy, Lethbridge; Jordi, Cabot; Alexander, Egyed (eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Passau, Germany : Institute of Electrical and Electronics Engineers (2015) 450 p. pp. 196-205. , 10 p.
DOI WoS Other URL
Publication:2997876 Published Core Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 4 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Conference paper (Chapter in Book) | Scientific[2997876] [Approved]
All citations+mentions: 4, External citations: 4, Self citations: 0, Unhandled citations: 0
19.
Gregorics, Tibor
Live & Learn: when a wrong program works
TEACHING MATHEMATICS AND COMPUTER SCIENCE 13 : 2 pp. 195-208. , 14 p. (2015)
DOI
Publication:2994186 Admin approved Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[2994186] [Admin approved]
20.
Bede-Fazekas, Ákos ; Horváth, Levente ; J. Trájer, Attila ; Gregorics, Tibor
An ArcGIS Tool for Modeling the Climate Envelope with Feed-Forward ANN
APPLIED ARTIFICIAL INTELLIGENCE 29 : 3 pp. 233-242. , 10 p. (2015)
DOI CorvinusKutatasok WoS Scopus Teljes dokumentum
Publication:2876693 Admin approved Core Citing Journal Article (Article ) Scientific
Citing papers: 7 | Independent citation: 3 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 4 | WoS/Scopus assigned: 4 | Number of citations with DOI: 5
Article (Journal Article) | Scientific[2876693] [Admin approved]
All citations+mentions: 7, External citations: 3, Self citations: 4, Unhandled citations: 0
2024-05-19 18:44