Roberto Guanciale
Scholar

Roberto Guanciale

Google Scholar ID: VZUWVp4AAAAJ
KTH
Google Scholar↗
Citations & Impact
All-time
Citations
667
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
2 items
Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
2025
Cited
0
Securing P4 Programs by Information Flow Control
2025
Cited
0
Resume (English only)
Co-authors
10 total
Mads Dam
Mads Dam
Professor of Teleinformatics, KTH - Royal Institute of Technology
Co-author 2
Co-author 2
Musard Balliu
Musard Balliu
KTH Royal Institute of Technology
Vincenzo Ciancia
Vincenzo Ciancia
ISTI-CNR
Dilian Gurov
Dilian Gurov
Professor in Computer Science, KTH Royal Institute of Technology
Co-author 6
Co-author 6
Peeter Laud
Peeter Laud
Cybernetica AS
Roberto Bruni
Roberto Bruni
University of Pisa