Alessandro Giua

9.9k total citations
330 papers, 7.2k citations indexed

About

Alessandro Giua is a scholar working on Computational Theory and Mathematics, Management Information Systems and Computer Networks and Communications. According to data from OpenAlex, Alessandro Giua has authored 330 papers receiving a total of 7.2k indexed citations (citations by other indexed papers that have themselves been cited), including 229 papers in Computational Theory and Mathematics, 97 papers in Management Information Systems and 79 papers in Computer Networks and Communications. Recurrent topics in Alessandro Giua's work include Petri Nets in System Modeling (222 papers), Formal Methods in Verification (174 papers) and Business Process Modeling and Analysis (91 papers). Alessandro Giua is often cited by papers focused on Petri Nets in System Modeling (222 papers), Formal Methods in Verification (174 papers) and Business Process Modeling and Analysis (91 papers). Alessandro Giua collaborates with scholars based in Italy, France and China. Alessandro Giua's co-authors include Carla Seatzu, Zhiwu Li, Maria Paola Cabasino, Mauro Franceschelli, F. DiCesare, Yin Tong, Ziyue Ma, Daniele Corona, G. Usai and L.E. Holloway and has published in prestigious journals such as IEEE Transactions on Automatic Control, Scientific Reports and Automatica.

In The Last Decade

Alessandro Giua

312 papers receiving 6.9k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Alessandro Giua Italy 46 4.8k 1.9k 1.9k 1.8k 1.4k 330 7.2k
Carla Seatzu Italy 36 2.8k 0.6× 1.1k 0.6× 1.2k 0.7× 973 0.5× 949 0.7× 247 4.4k
Bruce H. Krogh United States 43 2.9k 0.6× 585 0.3× 983 0.5× 2.0k 1.1× 2.8k 1.9× 228 8.0k
Christoforos N. Hadjicostis Cyprus 38 2.2k 0.5× 421 0.2× 399 0.2× 3.4k 1.9× 1.9k 1.3× 300 6.2k
Rong Su Singapore 38 1.6k 0.3× 158 0.1× 629 0.3× 1.3k 0.7× 1.7k 1.1× 339 4.6k
Gábor Karsai United States 34 661 0.1× 313 0.2× 274 0.1× 1.4k 0.8× 1.2k 0.8× 301 5.3k
P. R. Kumar United States 24 378 0.1× 955 0.5× 591 0.3× 1.2k 0.7× 617 0.4× 77 3.1k
J.E. Rooda Netherlands 24 1.0k 0.2× 334 0.2× 716 0.4× 167 0.1× 354 0.2× 208 2.3k
Marco Ajmone Marsan Italy 31 1.5k 0.3× 866 0.5× 279 0.2× 2.8k 1.6× 176 0.1× 215 5.3k
Lui Sha United States 50 2.6k 0.5× 158 0.1× 481 0.3× 8.0k 4.5× 1.4k 1.0× 307 13.8k
Liudong Xing United States 47 293 0.1× 493 0.3× 221 0.1× 1.7k 0.9× 913 0.6× 384 8.6k

Countries citing papers authored by Alessandro Giua

Since Specialization
Citations

This map shows the geographic impact of Alessandro Giua's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Alessandro Giua with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alessandro Giua more than expected).

Fields of papers citing papers by Alessandro Giua

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Alessandro Giua. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Alessandro Giua. The network helps show where Alessandro Giua may publish in the future.

Co-authorship network of co-authors of Alessandro Giua

This figure shows the co-authorship network connecting the top 25 collaborators of Alessandro Giua. A scholar is included among the top collaborators of Alessandro Giua based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Alessandro Giua. Alessandro Giua is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Lefebvre, Dimitri, Carla Seatzu, Christoforos N. Hadjicostis, & Alessandro Giua. (2025). Detectability notions for a class of finite labeled Markovian systems. Nonlinear Analysis Hybrid Systems. 57. 101586–101586. 1 indexed citations
2.
Seatzu, Carla, et al.. (2024). A joint diagnoser approach for diagnosability of discrete event systems under attack. Automatica. 172. 112004–112004.
3.
Liu, Tiantian, Carla Seatzu, & Alessandro Giua. (2024). Timed Opacity Verification for Switching Output Automata. IFAC-PapersOnLine. 58(1). 24–29.
4.
Lefebvre, Dimitri, et al.. (2024). State Estimation of Timed Automata Under Partial Observation. IEEE Transactions on Automatic Control. 70(3). 1981–1987. 2 indexed citations
5.
Peng, Kun, Yufeng Chen, Carla Seatzu, Zhiwu Li, & Alessandro Giua. (2024). Concealability Analysis for Current-State Opacity Enforcement via Editing Functions. IEEE Transactions on Automatic Control. 69(10). 7231–7238.
6.
Giua, Alessandro, et al.. (2023). Verification of Joint Current-State Opacity Using Petri Nets. IFAC-PapersOnLine. 56(2). 7899–7905. 1 indexed citations
7.
Zhang, Qi, Carla Seatzu, Zhiwu Li, & Alessandro Giua. (2022). Sensor and Actuator Attacks in Discrete Event Systems. IFAC-PapersOnLine. 55(28). 38–45. 3 indexed citations
8.
Yin, Xiang, et al.. (2022). You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. IFAC-PapersOnLine. 55(28). 135–141. 3 indexed citations
9.
Ma, Ziyue, et al.. (2022). Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. arXiv (Cornell University). 1 indexed citations
10.
Lefebvre, Dimitri, Carla Seatzu, Christoforos N. Hadjicostis, & Alessandro Giua. (2021). Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discrete Event Dynamic Systems. 32(1). 65–88. 11 indexed citations
11.
Zhang, Kuize & Alessandro Giua. (2020). On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems. 30(3). 465–497. 20 indexed citations
12.
He, Zhou, Zhiwu Li, Alessandro Giua, Francesco Basile, & Carla Seatzu. (2019). Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”. IEEE Transactions on Automatic Control. 64(12). 5253–5259. 19 indexed citations
13.
Seatzu, Carla, et al.. (2019). Multiple Attacks Detection on Discrete Event Systems. UNICA IRIS Institutional Research Information System (University of Cagliari). 2352–2357. 23 indexed citations
14.
Giua, Alessandro, Stéphane Lafortune, & Carla Seatzu. (2019). Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Transactions on Automatic Control. 65(7). 3092–3097. 7 indexed citations
15.
Giua, Alessandro, et al.. (2018). Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. IEEE Transactions on Automatic Control. 64(7). 2997–3004. 41 indexed citations
16.
Su, Hongye, et al.. (2017). Codiagnosability Analysis of Bounded Petri Nets. IEEE Transactions on Automatic Control. 63(4). 1192–1199. 62 indexed citations
17.
Demongodin, Isabel, et al.. (2016). Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. UNICA IRIS Institutional Research Information System (University of Cagliari). 14 indexed citations
18.
Giua, Alessandro, et al.. (2008). HYPENS: a Matlab tool for timed discrete, continuous and hybrid Petri nets. Lecture notes in computer science. 5062. 419–428. 4 indexed citations
19.
Giua, Alessandro, et al.. (2002). Journal on Discrete Event Dynamic Systems: theory and applications. Springer US.
20.
Giua, Alessandro & Elio Usai. (1998). Modelling Hybrid Systems by High-Level Petri Nets. UNICA IRIS Institutional Research Information System (University of Cagliari). 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026