Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alfredo Pironti
Formally-Based Black-Box Monitoring of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Finite Time Stability With Guaranteed Cost Control of Uncertain Linear Systems
Kybernetika
Control
Systems Engineering
Information Systems
Electronic Engineering
Electrical
Theoretical Computer Science
Artificial Intelligence
Software
