1.
Ádám, Zsófia ; Bajczi, Levente ; Dobos-Kovács, Mihály ; Hajdu, Ákos ; Molnár, Vince
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 13244 pp. 474-478. , 5 p. (2022)
DOI WoS Scopus Egyéb URL
Közlemény:32801008 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32801008] [Egyeztetett]
2.
Schlotter, Ildikó ; Biró, Péter ; Fleiner, Tamás
The Core of Housing Markets from an Agent’s Perspective: Is It Worth Sprucing Up Your Home?
LECTURE NOTES IN COMPUTER SCIENCE 13112 pp. 244-261. Paper: Chapter 14 , 18 p. (2022)
DOI WoS Scopus
Közlemény:32771637 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32771637] [Nyilvános]
3.
Carisimo, Esteban ; Mok, Ricky K. P. ; Clark, David D. ; Claffy, K. C.
Jitterbug: A New Framework for Jitter-Based Congestion Inference
LECTURE NOTES IN COMPUTER SCIENCE 12310 pp. 155-179. Paper: 179 , 25 p. (2022)
DOI
Közlemény:32768217 Admin láttamozott Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32768217] [Admin láttamozott]
4.
Nayak, Aparna ; Božić, Bojan ; Longo, Luca
Linked Data Quality Assessment: A Survey
LECTURE NOTES IN COMPUTER SCIENCE 12994 pp. 63-76. , 14 p. (2022)
DOI
Közlemény:32764798 Nyilvános Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32764798] [Nyilvános]
5.
Mizrahi, Ayelet ; Zohar, Aviv
Congestion Attacks in Payment Channel Networks
LECTURE NOTES IN COMPUTER SCIENCE 12675 pp. 170-188. , 19 p. (2021)
DOI WoS
Közlemény:32783233 Egyeztetett Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32783233] [Egyeztetett]
6.
Mayer, J. ; Sahakian, V. ; Hooft, E. ; Toomey, D. ; Durairajan, R. ✉
On the Resilience of Internet Infrastructures in Pacific Northwest to Earthquakes
LECTURE NOTES IN COMPUTER SCIENCE 12671 pp. 247-265. , 19 p. (2021)
DOI
Közlemény:32645378 Admin láttamozott Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[32645378] [Admin láttamozott]
7.
Šefl, Vít
Translating Lambda Calculus into C++ Templates
LECTURE NOTES IN COMPUTER SCIENCE 12834 pp. 95-115. , 21 p. (2021)
DOI WoS
Közlemény:32639739 Admin láttamozott Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32639739] [Admin láttamozott]
8.
Koohborfardhaghighi, S. ✉ ; Pauwels, E.
Reinforcement Learning for Modeling and Capturing the Effect of Partner Selection Strategies on the Emergence of Cooperation
LECTURE NOTES IN COMPUTER SCIENCE 13072 LNCS pp. 52-65. , 14 p. (2021)
DOI Scopus
Közlemény:32624269 Admin láttamozott Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[32624269] [Admin láttamozott]
9.
Burgueño, L. ; Clarisó, R. ; Gérard, S. ; Li, S. ; Cabot, J.
An NLP-Based Architecture for the Autocompletion of Partial Domain Models
LECTURE NOTES IN COMPUTER SCIENCE 12751 LNCS pp. 91-106. , 16 p. (2021)
DOI WoS Scopus
Közlemény:32589478 Nyilvános Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32589478] [Nyilvános]
10.
Feltus, C. ; Ma, Q. ; Proper, H.A. ; Kelsen, P.
Towards AI Assisted Domain Modeling
LECTURE NOTES IN COMPUTER SCIENCE 13012 LNCS pp. 75-89. , 15 p. (2021)
DOI WoS Scopus
Közlemény:32589477 Nyilvános Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32589477] [Nyilvános]
2022-05-18 18:52