mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 63 elem 7 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
1.
Horváth, Benedek
;
Molnár, Vince
;
Graics, Bence
;
Hajdu, Ákos
;
Ráth, István
;
Horváth, Ákos
;
Karban, Robert
;
Trancho, Gelys
;
Micskei, Zoltán
Pragmatic verification and validation of industrial executable SysML models
SYSTEMS ENGINEERING
26
:
6
pp. 693-714. , 22 p.
(2023)
DOI
WoS
Scopus
Egyéb URL
Közlemény:33809830
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 5
| Független: 4 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos
[33809830]
[Egyeztetett]
Nyilvános idéző összesen: 5, Független: 4, Függő: 1, Nem jelölt: 0
2.
Horváth, Benedek
;
Horváth, Ákos
;
Wimmer, Manuel
Towards the next generation of reactive model transformations on low-code platforms
In: Esther, Guerra; Ludovico, Iovino (szerk.)
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2020)
pp. 1-10. , 10 p.
DOI
Egyéb URL
Közlemény:31647416
Nyilvános
Forrás Idéző Duplumgyanú
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31647416]
[Nyilvános]
3.
Kulcsar, Geza
;
Koltai, Kadosa
;
Tanyi, Szvetlin
;
Peceli, Balint
;
Horvath, Akos
;
Micskei, Zoltan
;
Varga, Pal
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
In: IEEE (szerk.)
NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
(2020)
Paper: 9110310 , 6 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:31347211
Admin láttamozott
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 14
| Független: 7 | Függő: 7 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 11 | WoS/Scopus jelölt: 12 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31347211]
[Admin láttamozott]
Nyilvános idéző összesen: 14, Független: 7, Függő: 7, Nem jelölt: 0
4.
Farkas, Rebeka
;
Bergmann, Gábor
;
Horváth, Ákos
Adaptive Step Size Control for Hybrid CT Simulation without Rollback
In:
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019
Linköping, Svédország :
Linköping University Electronic Press
(2019)
pp. 503-512. , 10 p.
DOI
Egyéb URL
Közlemény:30603470
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 4
| Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30603470]
[Nyilvános]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
5.
Hegedüs, Ábel
;
Ráth, István
;
Bergmann, Gábor
;
Debreceni, Csaba
;
Horváth, Ákos
;
Lunk, Péter
;
Menyhért, Ákos
;
Papp, István
;
Varró, Dániel
;
Vileiniskis, Tomas
Incquery server for teamwork cloud
In:
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18
(2018)
pp. 27-31. , 5 p.
DOI
WoS
Egyéb URL
Közlemény:30710636
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 5
| Független: 4 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 3 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30710636]
[Nyilvános]
Nyilvános idéző összesen: 5, Független: 4, Függő: 1, Nem jelölt: 0
6.
Vörös, András ✉
;
Búr, Márton
;
Ráth, István
;
Horváth, Ákos
;
Micskei, Zoltán
;
Balogh, László
;
Hegyi, Bálint
;
Horváth, Benedek
;
Mázló, Zsolt
;
Varró, Dániel
MoDeS3: Model-based Demonstrator for Smart and Safe Cyber-Physical Systems
In: Aaron, Dutle; César, Muñoz; Anthony, Narkawicz (szerk.)
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Cham, Svájc :
Springer Netherlands
(2018)
pp. 460-467. , 7 p.
DOI
REAL
WoS
Scopus
Közlemény:3349043
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 5
| Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 5
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3349043]
[Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
7.
Dániel, Varró
;
Oszkár, Semeráth ✉
;
Gábor, Szárnyas
;
Ákos, Horváth
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
In: Reiko, Heckel; Gabriele, Taentzer (szerk.)
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Berlin, Németország,
Heidelberg, Németország :
Springer Netherlands
(2018)
pp. 285-312. , 28 p.
DOI
REAL
Scopus
Közlemény:3327320
Egyeztetett
Forrás Idéző
Könyvrészlet (Szaktanulmány )
Tudományos
Nyilvános idéző összesen: 26
| Független: 11 | Függő: 15 | Nem jelölt: 0 | WoS jelölt: 23 | Scopus jelölt: 21 | WoS/Scopus jelölt: 26 | DOI jelölt: 26
Szaktanulmány (Könyvrészlet) | Tudományos
[3327320]
[Egyeztetett]
Nyilvános idéző összesen: 26, Független: 11, Függő: 15, Nem jelölt: 0
8.
Oszkár, Semeráth
;
Ágnes, Barta
;
Ákos, Horváth
;
Zoltán, Szatmári
;
Dániel, Varró
Formal validation of domain-specific languages with derived features and well-formedness constraints
SOFTWARE AND SYSTEMS MODELING
16
:
2
pp. 357-392. , 36 p.
(2017)
DOI
REAL
WoS
Scopus
Közlemény:3018014
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 44
| Független: 24 | Függő: 20 | Nem jelölt: 0 | WoS jelölt: 24 | Scopus jelölt: 23 | WoS/Scopus jelölt: 28 | DOI jelölt: 28
Szakcikk (Folyóiratcikk) | Tudományos
[3018014]
[Egyeztetett]
Nyilvános idéző összesen: 44, Független: 24, Függő: 20, Nem jelölt: 0
9.
Oszkár, Semeráth
;
Csaba, Debreceni
;
Ákos, Horváth
;
Dániel, Varró
Incremental Backward Change Propagation of View Models by Logic Solvers
In: Benoit, Baudry; Benoit, Combemale (szerk.)
MODELS '16 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok :
ACM Press
(2016)
414 p.
pp. 306-316. , 11 p.
DOI
REAL
WoS
Scopus
Közlemény:3169820
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 16
| Független: 14 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 10
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3169820]
[Egyeztetett]
Nyilvános idéző összesen: 16, Független: 14, Függő: 2, Nem jelölt: 0
10.
Semeráth, Oszkár
;
Debreceni, Csaba
;
Horváth, Ákos
;
Varró, Dániel
Change Propagation of View Models by Logic Synthesis using SAT solvers.
In: A, Anjorin; J, Gibbons (szerk.)
Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016.
Aachen, Németország :
CEUR Workshop Proceedings
(2016)
pp. 40-44. , 5 p.
REAL
Scopus
Teljes dokumentum
Google scholar
Közlemény:3092093
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 6
| Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3092093]
[Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
2024-09-20 01:46
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás