181
Publications
8.9K
Citations
51
H-Index
1992
Active since
Alessandro Giua is an author at University of Cagliari specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceProcess ControlFormal MethodsFormal VerificationComputer EngineeringNetwork AnalysisVerificationAutomation
Publications per year
1992–2023
181
181
Verification of State-Based Opacity Using Petri Nets
Yin Tong, Zhiwu Li, Carla Seatzu et al. · IEEE Transactions on Automatic Control · 2016 · 269 citations · Full text
Rows per page
1–5 of 181