Serge Haddad

3.4k total citations
82 papers, 740 citations indexed

About

Serge Haddad is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Management Information Systems. According to data from OpenAlex, Serge Haddad has authored 82 papers receiving a total of 740 indexed citations (citations by other indexed papers that have themselves been cited), including 57 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 21 papers in Management Information Systems. Recurrent topics in Serge Haddad's work include Petri Nets in System Modeling (46 papers), Formal Methods in Verification (37 papers) and Business Process Modeling and Analysis (17 papers). Serge Haddad is often cited by papers focused on Petri Nets in System Modeling (46 papers), Formal Methods in Verification (37 papers) and Business Process Modeling and Analysis (17 papers). Serge Haddad collaborates with scholars based in France, Italy and Spain. Serge Haddad's co-authors include G. Franceschinis, C. Dutheillet, G. Chiola, Amal El Fallah Seghrouchni, Jeremy Sproston, Patricia Bouyer, Marco Beccuti, Béatrice Bérard, Pierre-Alain Reynier and Paolo Ballarini and has published in prestigious journals such as European Journal of Operational Research, IEEE Transactions on Software Engineering and International Journal of Production Research.

In The Last Decade

Serge Haddad

71 papers receiving 688 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Serge Haddad France 14 493 218 197 193 137 82 740
Eike Best Germany 14 632 1.3× 273 1.3× 230 1.2× 249 1.3× 56 0.4× 64 791
Marina Ribaudo Italy 11 271 0.5× 107 0.5× 106 0.5× 138 0.7× 78 0.6× 42 474
Laure Petrucci France 7 364 0.7× 67 0.3× 179 0.9× 130 0.7× 191 1.4× 38 569
Stefan Haar France 12 465 0.9× 227 1.0× 131 0.7× 260 1.3× 33 0.2× 60 749
Walter Vogler Germany 15 663 1.3× 170 0.8× 262 1.3× 215 1.1× 89 0.6× 75 811
J. Campos Spain 12 393 0.8× 210 1.0× 157 0.8× 255 1.3× 125 0.9× 44 679
Béatrice Bérard France 11 521 1.1× 61 0.3× 256 1.3× 172 0.9× 246 1.8× 31 760
Ph. Schnoebelen France 12 668 1.4× 61 0.3× 392 2.0× 150 0.8× 286 2.1× 26 877
Bernard Berthomieu France 7 727 1.5× 198 0.9× 111 0.6× 142 0.7× 187 1.4× 16 921
Philippe Darondeau France 14 522 1.1× 121 0.6× 250 1.3× 267 1.4× 37 0.3× 41 638

Countries citing papers authored by Serge Haddad

Since Specialization
Citations

This map shows the geographic impact of Serge Haddad'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 Serge Haddad with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Serge Haddad more than expected).

Fields of papers citing papers by Serge Haddad

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Serge Haddad. 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 Serge Haddad. The network helps show where Serge Haddad may publish in the future.

Co-authorship network of co-authors of Serge Haddad

This figure shows the co-authorship network connecting the top 25 collaborators of Serge Haddad. A scholar is included among the top collaborators of Serge Haddad 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 Serge Haddad. Serge Haddad 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.
Bérard, Béatrice, et al.. (2020). Polynomial interrupt timed automata: Verification and expressiveness. Information and Computation. 277. 104580–104580.
2.
Bertrand, Nathalie, et al.. (2019). A tale of two diagnoses in probabilistic systems. Information and Computation. 269. 104441–104441. 3 indexed citations
3.
Haddad, Serge & Benjamin Monmege. (2017). Interval iteration algorithm for MDPs and IMDPs. Theoretical Computer Science. 735. 111–131. 18 indexed citations
4.
Koutny, Maciej, Jörg Desel, & Serge Haddad. (2015). Transactions on petri nets and other models of concurrency X. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations
5.
Beccuti, Marco, G. Franceschinis, Daniele Codetta‐Raiteri, & Serge Haddad. (2013). Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. The Computer Journal. 57(12). 1870–1892. 6 indexed citations
6.
Bérard, Béatrice, et al.. (2012). Interrupt Timed Automata: verification and expressiveness. Formal Methods in System Design. 40(1). 41–87. 15 indexed citations
7.
Haddad, Serge & Lucia Pomello. (2012). Application and theory of petri nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29 2012 : proceedings. Lecture notes in computer science. 7347. 1–428. 3 indexed citations
8.
Bérard, Béatrice, Franck Cassez, Serge Haddad, Didier Lime, & Olivier Roux. (2012). The expressive power of time Petri nets. Theoretical Computer Science. 474. 1–20. 16 indexed citations
9.
Finkel, Alain, et al.. (2012). Ordinal theory for expressiveness of well-structured transition systems. Information and Computation. 224. 1–22. 1 indexed citations
10.
Haddad, Serge, et al.. (2012). Bounding models families for performance evaluation in composite Web services. Journal of Computational Science. 4(4). 232–241. 4 indexed citations
11.
Beccuti, Marco, G. Franceschinis, & Serge Haddad. (2011). MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets. International Journal of Performability Engineering. 7(5). 417. 2 indexed citations
12.
Haddad, Serge, et al.. (2009). Les réseaux de Petri stochastiques. Base Institutionnelle de Recherche de l'université Paris-Dauphine (BIRD) (University Paris-Dauphine). 3 indexed citations
13.
Haddad, Serge & Denis Poitrenaud. (2007). Recursive Petri nets. Acta Informatica. 44(7-8). 463–508. 17 indexed citations
14.
Haddad, Serge, et al.. (2004). Performance evaluation of non markovian stochastic discrete event systems - a new approach. IFAC Proceedings Volumes. 37(18). 243–248.
15.
Fallah-Seghrouchni, Amal El, et al.. (2001). A Formal Study of Interactions in Multi-agent Systems.. 8. 3 indexed citations
16.
Haddad, Serge, et al.. (1999). Combining Different Failure Detectors for Solving a Large-Scale Consensus Problem. Base Institutionnelle de Recherche de l'université Paris-Dauphine (BIRD) (University Paris-Dauphine). 1 indexed citations
17.
Seghrouchni, Amal El Fallah, et al.. (1999). A Formal Study of Interactions in Multi-agent Systems. Computers and Their Applications. 240–245. 7 indexed citations
18.
Chiola, G., C. Dutheillet, G. Franceschinis, & Serge Haddad. (1997). A symbolic reachability graph for coloured petri nets. Theoretical Computer Science. 176(1-2). 39–65. 45 indexed citations
19.
Haddad, Serge, et al.. (1993). Assessment of ESTELLE and EDT Through Real Case Studies. 223–238. 1 indexed citations
20.
Haddad, Serge, et al.. (1991). An Algorithm Providing Fault-Tolerance for Layered Distributed Systems. Base Institutionnelle de Recherche de l'université Paris-Dauphine (BIRD) (University Paris-Dauphine).

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