1.
Szárnyas, G. ; Marton, J. ; Maginecz, J. ; Varró, D.
High-Performance Property Graph Queries
In: Meinel, Christoph; Polze, Andreas; Bein, Karstens; Strotmann, Rolf; Seibold, Ulrich; Rödszus, Kurt; Müller, Jürgen (szerk.) HPI Future SOC Lab – Proceedings 2018
Potsdam, Németország : Universitätsverlag Potsdam (2023) 294 p. pp. 243-254. , 12 p.
Scopus Teljes dokumentum
Zárolt Közlemény:35459360 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[35459360] [Egyeztetett]
2.
Kristóf, Marussy ✉ ; Oszkár, Semeráth ; Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48 : 5 pp. 1610-1629. , 20 p. (2022)
DOI WoS Scopus
Zárolt Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 3 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 5
Szakcikk (Folyóiratcikk) | Tudományos[31360895] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
3.
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: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[31965063] [Admin láttamozott]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
4.
Oszkár, Semeráth ✉ ; Aren, A. Babikian ; Boqi, Chen ; Chuning, Li ; Kristóf, Marussy ; Gábor, Szárnyas ; Dániel, Varró
Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models
SOFTWARE AND SYSTEMS MODELING 20 : 5 pp. 1713-1734. , 22 p. (2021)
DOI WoS Scopus
Zárolt Közlemény:32028274 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 8 | Független: 6 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 8 | WoS/Scopus jelölt: 8 | DOI jelölt: 8
Szakcikk (Folyóiratcikk) | Tudományos[32028274] [Egyeztetett]
Nyilvános idéző összesen: 8, Független: 6, Függő: 2, Nem jelölt: 0
5.
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: 17 | Független: 13 | Függő: 4 | Nem jelölt: 0 | WoS jelölt: 17 | Scopus jelölt: 6 | WoS/Scopus jelölt: 17 | DOI jelölt: 17
Konferenciaközlemény (Könyvrészlet) | Tudományos[32098587] [Egyeztetett]
Nyilvános idéző összesen: 17, Független: 13, Függő: 4, Nem jelölt: 0
6.
Waudby, Jack ; Steer, Benjamin A. ; Karimov, Karim ; Marton, Jozsef ; Boncz, Peter ; Szarnyas, Gabor ✉
Towards Testing ACID Compliance in the LDBC Social Network Benchmark
In: Nambiar, R; Poess, M (szerk.) Performance Evaluation and Benchmarking: 12th TPC Technology Conference, TPCTC 2020 : Revised Selected Papers
Cham, Svájc : Springer International Publishing (2021) 126 p. pp. 1-17. , 17 p.
DOI WoS Scopus
Közlemény:32398430 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 3 | DOI jelölt: 4
Konferenciaközlemény (Könyvrészlet) | Tudományos[32398430] [Nyilvános]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
7.
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 : 1 pp. 57-78. , 22 p. (2020)
DOI WoS Scopus Teljes dokumentum
Zárolt Közlemény:30748493 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 20 | Független: 12 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 16 | Scopus jelölt: 14 | WoS/Scopus jelölt: 18 | DOI jelölt: 20
Szakcikk (Folyóiratcikk) | Tudományos[30748493] [Egyeztetett]
Nyilvános idéző összesen: 20, Független: 12, Függő: 8, Nem jelölt: 0
8.
Hajdu, Ákos ✉ ; Micskei, Zoltán
Efficient Strategies for CEGAR-Based Model Checking
JOURNAL OF AUTOMATED REASONING 64 pp. 1051-1091. , 41 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:30910225 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 24 | Független: 23 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 18 | Scopus jelölt: 16 | WoS/Scopus jelölt: 20 | DOI jelölt: 22 (Nem nyilvános: 5)
Szakcikk (Folyóiratcikk) | Tudományos[30910225] [Egyeztetett]
Nyilvános idéző összesen: 24, Független: 23, Függő: 1, Nem jelölt: 0
9.
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: 6 | Független: 5 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 4 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[31128076] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 5, Függő: 1, Nem jelölt: 0
10.
Aren, Babikian ✉ ; Oszkár, Semeráth ; Daniel, Varro
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
In: Wehrheim, Heike; Cabot, Jordi (szerk.) Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Cham, Svájc : Springer Cham (2020) 565 p. pp. 441-461. , 21 p.
DOI WoS Scopus
Központi kezelésű Közlemény:31160534 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: 4 | Scopus jelölt: 4 | WoS/Scopus jelölt: 5 | DOI jelölt: 6
Konferenciaközlemény (Könyvrészlet) | Tudományos[31160534] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 3, Függő: 3, Nem jelölt: 0
2025-12-07 02:23