1.
Varró-Gyapay, Szilvia
Trajectory Set Approximation for Optimization and Verification of IT Systems 130 p.
BME Villamosmérnöki és Informatikai Kar, Informatikai Tudományok Doktori Iskola, Pataricza András Disszertáció benyújtásának éve: 2014, Védés éve: 2015 Megjelenés/Fokozatszerzés éve: 2015
ODT védés Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2944271 Nyilvános Forrás Idéző Disszertáció (PhD ) Tudományos
PhD (Disszertáció) | Tudományos[2944271] [Nyilvános]
2.
Varró-Gyapay, Szilvia
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques
ELECTRONIC COMMUNICATIONS OF THE EASST 51 pp. 1-12. , 12 p. (2012)
Teljes dokumentum
Közlemény:2695667 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2695667] [Admin láttamozott]
3.
Sz, Varró-Gyapay ; D, Varró
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
ELECTRONIC COMMUNICATIONS OF THE EASST 2 pp. 1-18. , 18 p. (2006)
DOI Scopus Teljes dokumentum Egyéb URL Handle
Közlemény:2625166 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos | Hibás
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[2625166] [Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
4.
Varro, D ; Varro-Gyapay, S ; Ehrig, H ; Prange, U ; Taentzer, G
Termination analysis of model transformations by Petri nets
LECTURE NOTES IN COMPUTER SCIENCE 4178 pp. 260-274. , 15 p. (2006)
DOI WoS Scopus Google scholar Google scholar hash
Közlemény:1635273 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 46 | Független: 39 | Függő: 7 | Nem jelölt: 0 | WoS jelölt: 30 | Scopus jelölt: 26 | WoS/Scopus jelölt: 35 | DOI jelölt: 33
Szakcikk (Folyóiratcikk) | Tudományos[1635273] [Egyeztetett]
Nyilvános idéző összesen: 46, Független: 39, Függő: 7, Nem jelölt: 0
5.
Szilvia, Varró-Gyapay ; András, Pataricza
Optimal trajectory generation for Petri nets
ACTA CYBERNETICA 17 : 2 pp. 225-245. , 21 p. (2005)
Scopus Google scholar Google scholar hash
Közlemény:2686190 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[2686190] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
6.
Sz, Gyapay ; A, Pataricza ; J, Sziray ; F, Friedler
Petri Net-Based Optimization of Production Systems
In: Elmenreich, W; Tenreiro, Machado JA; Rudas, IJ (szerk.) Intelligent Systems at the Service of Mankind. Volume II
Augsburg, Németország : UBooks (2005) 478 p. pp. 157-167. , 11 p.
Közlemény:2410697 Admin láttamozott Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[2410697] [Admin láttamozott]
7.
Balogh, András ; Csertán, György ; Dobán, Orsolya ; Majzik, István ; Pataricza, András ; Varró, Dániel ; Varró-Gyapay, Szilvia ; Md., Shariful Islam ; Georg, Weissenbacher
Design methodology and specification model pp. 1-51. , 51 p. (2005)
Közlemény:1635346 Admin láttamozott Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[1635346] [Admin láttamozott]
8.
Taentzer, G ; Ehrig, K ; Guerra, E ; de Lara, J ; Lengyel, L ; Levendovszky, T ; Prange, U ; Varro, D ; Varro-Gyapay, Sz
Model Transformation by Graph Transformation: A Comparative Study
In: Proceedings of the International Workshop on Model Transformations in Practice, MTiP 2005
[s.l.], Nemzetközi (2005) Paper: model_taentzer_MTiP_2005 , 47 p.
Teljes dokumentum Egyéb URL Google scholar Google scholar hash
Közlemény:1635341 Egyeztetett Forrás Duplumgyanú Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 190 | Független: 165 | Függő: 25 | Nem jelölt: 0 | WoS jelölt: 66 | Scopus jelölt: 88 | WoS/Scopus jelölt: 102 | DOI jelölt: 70 (Nem nyilvános: 1)
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[1635341] [Egyeztetett]
Nyilvános idéző összesen: 190, Független: 165, Függő: 25, Nem jelölt: 0
9.
Ehrig, H ; Ehrig, K ; de Lara, J ; Taentzer, G ; Varro, D ; Varro-Gyapay, S
Termination criteria for model transformation
LECTURE NOTES IN COMPUTER SCIENCE 3442 pp. 49-63. , 15 p. (2005)
DOI WoS Scopus Teljes dokumentum Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:1635271 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 74 | Független: 61 | Függő: 13 | Nem jelölt: 0 | WoS jelölt: 40 | Scopus jelölt: 51 | WoS/Scopus jelölt: 56 | DOI jelölt: 52 (Nem nyilvános: 1)
Konferenciaközlemény (Folyóiratcikk) | Tudományos[1635271] [Nyilvános]
Nyilvános idéző összesen: 74, Független: 61, Függő: 13, Nem jelölt: 0
10.
Szilvia, Varró-Gyapay ; András, Pataricza ; Ádám, Nagy
Optimization of Production Nets under Temporal Constraints
In: Veszprém Optimization Conference: Advanced Algorithms (VOCAL), December
(2004) pp. 1-1. , 1 p.
Közlemény:2686579 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2686579] [Admin láttamozott]
2024-04-18 16:08