1.
Varro, D
Automated Formal Verification of Visual Modeling Languages by Model Checking
SOFTWARE AND SYSTEMS MODELING 3 : 2 pp. 85-113. , 29 p. (2004)
DOI Teljes dokumentum Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2612540 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 69 | Független: 67 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 29 | Scopus jelölt: 44 | WoS/Scopus jelölt: 44 | DOI jelölt: 27
Szakcikk (Folyóiratcikk) | Tudományos[2612540] [Admin láttamozott]
Nyilvános idéző összesen: 69, Független: 67, Függő: 2, Nem jelölt: 0
2.
Gyapay, S ; Varro, D ; Heckel, R
Graph transformation with time
FUNDAMENTA INFORMATICAE 58 : 1 pp. 1-22. , 22 p. (2003)
WoS Scopus Teljes dokumentum Handle
Közlemény:1635269 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 26 | Független: 21 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 22 | Scopus jelölt: 19 | WoS/Scopus jelölt: 23 | DOI jelölt: 21
Szakcikk (Folyóiratcikk) | Tudományos[1635269] [Admin láttamozott]
Nyilvános idéző összesen: 26, Független: 21, Függő: 5, Nem jelölt: 0
3.
Schmidt, A ; Varro, D
CheckVML: A tool for model checking visual modeling languages
LECTURE NOTES IN COMPUTER SCIENCE 2863 pp. 92-95. , 4 p. (2003)
DOI WoS Scopus Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2612510 Nyilvános Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 57 | Független: 54 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 34 | Scopus jelölt: 40 | WoS/Scopus jelölt: 46 | DOI jelölt: 36
Konferenciaközlemény (Folyóiratcikk) | Tudományos[2612510] [Nyilvános]
Nyilvános idéző összesen: 57, Független: 54, Függő: 3, Nem jelölt: 0
4.
Varro, D
Towards symbolic analysis of visual modeling languages
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 72 : 3 pp. 51-64. , 14 p. (2003)
DOI Scopus Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:1635278 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 36 | Független: 32 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 14 | Scopus jelölt: 20 | WoS/Scopus jelölt: 21 | DOI jelölt: 12
Szakcikk (Folyóiratcikk) | Tudományos[1635278] [Admin láttamozott]
Nyilvános idéző összesen: 36, Független: 32, Függő: 4, Nem jelölt: 0
5.
Domokos, P ; Varro, D
An open visualization framework for metamodel-based modeling languages
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 72 : 2 pp. 69-78. , 10 p. (2002)
DOI Scopus Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2612519 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 15 | Független: 14 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 10 | WoS/Scopus jelölt: 10 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[2612519] [Admin láttamozott]
Nyilvános idéző összesen: 15, Független: 14, Függő: 1, Nem jelölt: 0
2023-05-31 23:09