21.
Ujhelyi, Zoltán
Static Type Checking of Model Transformation Programs
In: Hartmut, Ehrig; Arend, Rensink; Grzegorz, Rozenberg; Andy, Schürr (eds.) Proceeding of ICGT'10 Doctoral Symposium
Berlin, Germany : Springer Netherlands (2010) pp. 413-415. , 3 p.
DOI WoS Scopus Other URL Handle Google scholar Google scholar hash
Publication:2662781 Published Core Citing Chapter in Book (Abstract ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Abstract (Chapter in Book) | Scientific[2662781] [Approved]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
22.
Ábel, Hegedüs ; Zoltán, Ujhelyi ; Gábor, Bergmann ; Ákos, Horváth ; Pieter, Van Gorp (eds.) ; Steffen, Mazanek (eds.) ; Arend, Rensink (eds.)
Ecore to Genmodel case study solution using the Viatra2 framework (2010)
Transformation Tool Contest (TTC ’10), Malaga, Spain,
Teljes dokumentum Handle Google scholar Google scholar hash
Publication:2661904 Admin approved Core Miscellaneous (Technical report (published) ) Scientific
Technical report (published) (Miscellaneous) | Scientific[2661904] [Admin approved]
23.
Ujhelyi, Zoltán
Static Type Checking of Model Transformation Programs
In: Szegedi Tudományegyetem Informatikai Tanszékcsoport (eds.) Conference of PhD Students in Computer Science : volume of extended abstracts CS2
Szeged, Hungary : SZTE TTIK Informatikai Intézet (2010) 84 p. pp. 74-74. , 1 p.
Teljes dokumentum Google scholar Google scholar hash
Publication:2654957 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[2654957] [Admin approved]
24.
Ujhelyi, Zoltán
Static Analysis of Model Transformations
In: 17th PhD Mini-Symposium of the Department of Measurement and Information Systems
Bp, Hungary (2010) pp. 26-27. Paper: 6 , 2 p.
Teljes dokumentum
Publication:2653379 Published Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[2653379] [Approved]
25.
Zoltán, Ujhelyi ; Ákos, Horváth ; Dániel, Varró
Static Type Checking of Model Transformation Programs
ELECTRONIC COMMUNICATIONS OF THE EASST 38 Paper: 567 , 17 p. (2010)
Teljes dokumentum Other URL Handle
Publication:1635373 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[1635373] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
26.
Ujhelyi, Zoltán
Modelltranszformációk statikus analízise
In: n., a. (eds.) Tavaszi Szél 2009 Konferencia: Konferenciakötet
Bp, Hungary : Association of Hungarian PHD and DLA Students (2009) 548 p. pp. 33-39. , 7 p.
Publication:2653377 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[2653377] [Admin approved]
27.
Ujhelyi, Zoltán ; Horváth, Ákos ; Varró, Dániel
Static Type Checking of Model Transformations by Constraint Satisfaction Programming (2009)
Technical Report, Department of Measurement and Information Systems, Budapest University of Technology and Economics, TUB-TR-09-EE20,
Teljes dokumentum Teljes dokumentum Google scholar Google scholar hash
Publication:2653373 Admin approved Core Miscellaneous (Technical report (published) )
Technical report (published) (Miscellaneous) | Scientific[2653373] [Admin approved]
28.
Ujhelyi, Zoltán ; Horváth, Ákos ; Varró, Dániel
Generic Static Analysis of Transformation Programs (2009)
Technical Report, Department of Measurement and Information Systems, Budapest University of Technology and Economics, TUB-TR-09-EE19,
Teljes dokumentum Teljes dokumentum
Publication:2653372 Admin approved Core Miscellaneous (Technical report (published) ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Technical report (published) (Miscellaneous) | Scientific[2653372] [Admin approved]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
2024-05-10 18:18