Statistics
Publications
41
Citations
1.4K
H-Index
20
Active since
1994
Marcello Bonsangue is an author at Leiden University specializing in engineering, computer science, and formal methods.
Publications per year
1994–2022
41
41
Generalizing determinization from automata to coalgebras
Alexandra Silva, Filippo Bonchi, Marcello Bonsangue et al. · Logical Methods in Computer Science · 2013 · 111 citations · Full text
Towards a language for coherent enterprise architecture descriptions
H. Jonkers, R. van Burren, Farhad Arbab et al. · 2004 · 90 citations · Full text
1–5 of 41