Luigi Logrippo
Scholar

Luigi Logrippo

Google Scholar ID: T4Gt7h4AAAAJ
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
Formal MethodsSecurity
Google Scholar↗
Citations & Impact
All-time
Citations
562
 
H-index
12
 
i10-index
16
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
2 items
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
2025
Cited
0
Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip
2025
Cited
0
Resume (English only)
Co-authors
17 total
Daniel Amyot
Daniel Amyot
Professor, University of Ottawa
Co-author 2
Co-author 2
John Mylopoulos
John Mylopoulos
University of Ottawa
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Raouf Boutaba
Raouf Boutaba
Professor of Computer Science, University of Waterloo
Co-author 7
Co-author 7
Co-author 8
Co-author 8