Scholar
Luigi Logrippo
Google Scholar ID: T4Gt7h4AAAAJ
Professor, Département d'informatique et ingénierie, Université du Québec en Outaouais
Formal Methods
Security
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
562
H-index
12
i10-index
16
Publications
20
Co-authors
17
list available
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
Co-authors
8 total
Daniel Amyot
Professor, University of Ottawa
John Mylopoulos
University of Ottawa
Raouf Boutaba
Professor of Computer Science, University of Waterloo
Tet Yeap
Professor of Electrical Engineering and Computer Science, University of Ottawa
Jameleddine Hassine
Associate Professor of Computer Science, KFUPM
Alexander Clemm
Distinguished Engineer on sabbatical
Fernando Miguel Carvalho
Assitant Professor, ADEETC, ISEL, Polytechnic Institute of Lisbon
Pamela Zave
AT&T Labs--Research
