mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 64 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.
Szabó, Tamás
;
Erdweg, Sebastian
;
Bergmann, Gábor
Incremental whole-program analysis in Datalog with lattices
In: Stephen, N. Freund; Eran, Yahav (szerk.)
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2021)
pp. 1-15. , 15 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:32098587
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 9
| Független: 7 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 4 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32098587]
[Egyeztetett]
Nyilvános idéző összesen: 9, Független: 7, Függő: 2, Nem jelölt: 0
2.
Bergmann, Gábor ✉
Controllable and decomposable multidirectional synchronizations
SOFTWARE AND SYSTEMS MODELING
20
pp. 1735-1774. , 40 p.
(2021)
DOI
WoS
Scopus
Egyéb URL
Közlemény:31965063
Admin láttamozott
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 2
| Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos
[31965063]
[Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
3.
Szabó, Tamás
;
Bergmann, Gabór
;
Erdweg, Sebastian
;
Voelter, Markus
Report: Datalog with recursive aggregation for incremental program analyses (extended abstract)
In:
Electronic Proceedings in Theoretical Computer Science, EPTCS
(2020)
p. 1
Scopus
Közlemény:32869204
Nyilvános
Forrás
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos
[32869204]
[Nyilvános]
4.
Abel, Gómez
;
·Xabier, Mendialdua
;
·Konstantinos, Barmpis
;
Bergmann, Gábor
;
Jordi, Cabot
;
·Xabier, de Carlos
;
Debreceni, Csaba
;
·Antonio, Garmendia
;
·Dimitrios, S. Kolovos
;
·Juan, de Lara
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
SOFTWARE AND SYSTEMS MODELING
19
:
5
pp. 1229-1261. , 33 p.
(2020)
DOI
WoS
Scopus
Teljes dokumentum
Közlemény:31128076
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 4
| Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 2 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos
[31128076]
[Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
5.
Oszkár, Semeráth
;
Rebeka, Farkas
;
Gábor, Bergmann
;
Dániel, Varró
Diversity of Graph Models and Graph Generators in Mutation Testing
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
22
pp. 57-78. , 22 p.
(2020)
DOI
WoS
Scopus
Teljes dokumentum
Közlemény:30748493
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 13
| Független: 8 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos
[30748493]
[Egyeztetett]
Nyilvános idéző összesen: 13, Független: 8, Függő: 5, Nem jelölt: 0
6.
Debreceni, Csaba ✉
;
Bergmann, Gabor
;
Rath, Istvan
;
Varro, Daniel
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations (vol 18, pg 1737, 2019)
SOFTWARE AND SYSTEMS MODELING
18
:
3
pp. 1771-1771. , 1 p.
(2019)
DOI
WoS
Scopus
Közlemény:31093251
Nyilvános
Forrás Idéző
Folyóiratcikk (Hozzászólás, helyreigazítás )
Tudományos
Hozzászólás, helyreigazítás (Folyóiratcikk) | Tudományos
[31093251]
[Nyilvános]
7.
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
8.
Csaba, Debreceni
;
Gábor, Bergmann
;
István, Ráth
;
Dániel, Varró
Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations
SOFTWARE AND SYSTEMS MODELING
18
:
3
pp. 1737-1769. , 33 p.
(2019)
DOI
REAL
WoS
Scopus
Közlemény:3330414
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 8
| Független: 4 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 6 | WoS/Scopus jelölt: 8 | DOI jelölt: 8
Szakcikk (Folyóiratcikk) | Tudományos
[3330414]
[Egyeztetett]
Nyilvános idéző összesen: 8, Független: 4, Függő: 4, Nem jelölt: 0
9.
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
10.
Szabó, Tamás
;
Bergmann, Gábor
;
Erdweg, Sebastian
;
Voelter, Markus
Incrementalizing lattice-based program analyses in Datalog
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES
2
:
OOPSLA
Paper: 139 , 29 p.
(2018)
DOI
WoS
Teljes dokumentum
Közlemény:30382877
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 16
| Független: 12 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 15 | Scopus jelölt: 4 | WoS/Scopus jelölt: 15 | DOI jelölt: 15
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[30382877]
[Nyilvános]
Nyilvános idéző összesen: 16, Független: 12, Függő: 4, Nem jelölt: 0
2024-03-28 20:27
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás