Citations per year, relative to Marcello Bonsangue Marcello Bonsangue (= 1×)
peers
Michael Benedikt
Countries citing papers authored by Marcello Bonsangue
Since
Specialization
Citations
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 of co-authors of Marcello Bonsangue
This figure shows the co-authorship network connecting the top 25 collaborators of Marcello Bonsangue.
A scholar is included among the top collaborators of Marcello Bonsangue 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 Marcello Bonsangue. Marcello Bonsangue is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Bonsangue, Marcello, Einar Broch Johnsen, & Erika Ábrahám. (2016). Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer eBooks.5 indexed citations
Damiani, Ferruccio, et al.. (2013). Formal methods for components and objects : 10th international symposium, FMCO 2011. Lecture notes in computer science. 7542. 1–356.5 indexed citations
5.
Aichernig, Bernhard K., et al.. (2011). Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey. Lecture notes in computer science. 6957. 1–386.2 indexed citations
6.
Winter, Joost de, Marcello Bonsangue, & Jan Rutten. (2011). Context-free languages, coalgebraically. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands.2 indexed citations
7.
Bonsangue, Marcello, Einar Broch Johnsen, Amy L. Murphy, & Jan Vítek. (2009). Distributed Computing Techniques. Theoretical Computer Science. 410. 113–280.1 indexed citations
8.
Bonsangue, Marcello, Dave Clarke, & Alexandra Silva. (2009). Automata for context-dependent connectors. Lecture notes in computer science. 5521. 184–203.4 indexed citations
9.
Bonsangue, Marcello, Jan Rutten, & Alexandra Silva. (2007). Regular expressions for polynomial coalgebras. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands.1 indexed citations
10.
Bonsangue, Marcello & Einar Broch Johnsen. (2007). Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings. Lecture notes in computer science. 4468.1 indexed citations
11.
Arbab, Farhad, Frank S. de Boer, Marcello Bonsangue, et al.. (2005). Integrating Architectural Models. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1(2). 40–31.7 indexed citations
12.
Bonsangue, Marcello, et al.. (2005). Proceedings of the Third International Symposium on Formal Methods for Components and Objects. Lecture notes in computer science. 3657. 1–333.2 indexed citations
13.
Ábrahám, Erika, et al.. (2005). Object connectivity and full abstraction for a concurrent calculus of classes.1 indexed citations
14.
Boer, Frank S. de, Marcello Bonsangue, Susanne Graf, & Willem-Paul de Roever. (2004). 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). Springer eBooks.5 indexed citations
15.
Arbab, Farhad, et al.. (2001). A channel-based coordination model for components. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–15.
16.
Bonsangue, Marcello. (1998). Topological Duality in Semantics.. Electronic Notes in Theoretical Computer Science. 8. 1–274.6 indexed citations
17.
Bonsangue, Marcello, et al.. (1996). Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding. Data Archiving and Networked Services (DANS). 1–43.2 indexed citations
18.
Bonsangue, Marcello, Franck van Breugel, & J.J.M.M. Rutten. (1995). Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–43.13 indexed citations
19.
Bonsangue, Marcello & Joost N. Kok. (1993). Isomorphisms between predicate and state transformers. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–30.1 indexed citations
20.
Bonsangue, Marcello & Joost N. Kok. (1992). Semantics, orderings and recursion in the weakest precondition calculus. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–58.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.