Marcello Bonsangue
-
- Formal Methods in Verification 26
- semigroups and automata theory 9
- Artificial Intelligence top 2%
- Logic, programming, and type systems 38
- Logic, Reasoning, and Knowledge 15
- Advanced Software Engineering Methodologies 14
- Software top 5%
- Information Systems top 2%
- Service-Oriented Architecture and Web Services 12
-
- Distributed systems and fault tolerance 16
-
- Manufacturing Process and Optimization 9
Marcello Bonsangue
92 papers receiving 841 citations
Peers
Comparison fields: 5 of 68
- Management Information Systems 197
- Computational Theory and Mathematics 327
- Artificial Intelligence 518
- Software 58
- Information Systems 272
Countries citing papers authored by Marcello Bonsangue
This map shows the geographic impact of Marcello Bonsangue'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 Marcello Bonsangue with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marcello Bonsangue more than expected).
Fields of papers citing papers by Marcello Bonsangue
This network shows the impact of papers produced by Marcello Bonsangue. 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 Marcello Bonsangue. The network helps show where Marcello Bonsangue may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Marcello Bonsangue, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 0 | |
| 2 | Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | 2016 | 5 |
| 3 | 2014 | 1 | |
| 4 | Formal methods for components and objects : 10th international symposium, FMCO 2011 | 2013 | 5 |
| 5 | Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey | 2011 | 2 |
| 6 | Context-free languages, coalgebraically | 2011 | 2 |
| 7 | Distributed Computing Techniques | 2009 | 1 |
| 8 | Automata for context-dependent connectors | 2009 | 4 |
| 9 | Regular expressions for polynomial coalgebras | 2007 | 1 |
| 10 | Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings | 2007 | 1 |
| 11 | Integrating Architectural Models | 2005 | 7 |
| 12 | Proceedings of the Third International Symposium on Formal Methods for Components and Objects | 2005 | 2 |
| 13 | Object connectivity and full abstraction for a concurrent calculus of classes | 2005 | 1 |
| 14 | Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) | 2004 | 5 |
| 15 | A channel-based coordination model for components | 2001 | 0 |
| 16 | Topological Duality in Semantics. | 1998 | 6 |
| 17 | Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding | 1996 | 2 |
| 18 | Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding | 1995 | 13 |
| 19 | Isomorphisms between predicate and state transformers | 1993 | 1 |
| 20 | Semantics, orderings and recursion in the weakest precondition calculus | 1992 | 2 |
About Marcello Bonsangue
Marcello Bonsangue is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence, having authored 99 papers that have together received 904 indexed citations. Recurring topics across this work include Logic, programming, and type systems (38 papers), Formal Methods in Verification (26 papers), Distributed systems and fault tolerance (16 papers), Logic, Reasoning, and Knowledge (15 papers), Advanced Software Engineering Methodologies (14 papers), Service-Oriented Architecture and Web Services (12 papers), semigroups and automata theory (9 papers) and Manufacturing Process and Optimization (9 papers). The work is most often cited by research in Management Information Systems (197 citations), Computational Theory and Mathematics (327 citations) and Artificial Intelligence (518 citations). Marcello Bonsangue has collaborated with scholars based in Netherlands, France and Germany. Frequent co-authors include J.J.M.M. Rutten, Alexandra Silva, Leendert van der Torre, Jan Rutten, Filippo Bonchi, Franck van Breugel, Xueqin Chen, Fan Zhou, Frank S. de Boer and Farhad Arbab.
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.