Marcello Bonsangue

Cited by

	All	Since 2018
Citations	5851	1489
h-index	32	15
i10-index	80	24

440

220

110

330

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 21 18 30 57 47 53 59 77 116 191 168 210 255 326 308 322 354 387 423 387 412 334 305 255 254 255 86

Public access

View all

16 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Alexander KurzChapman UniversityVerified email at chapman.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenVerified email at acm.org
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityVerified email at han.nl
Maria-Eugenia IacobProfessor, University of TwenteVerified email at utwente.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Dave ClarkeIndependentVerified email at storytel.com
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Mohammad IzadiAssociate Professor of Computer Engineering, Sharif University of TechnologyVerified email at sharif.edu
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr

Marcello Bonsangue

Professor of Computer Science, Leiden University

Verified email at liacs.leidenuniv.nl - Homepage

Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Enterprise architecture at work: Modelling, communication and analysis M Lankhorst, et al. Springer-Verlag New York Inc, 2009	2634*	2009
Concepts for modeling enterprise architectures H Jonkers, M Lankhorst, R Van Buuren, S Hoppenbrouwers, ... International Journal of Cooperative Information Systems 13 (03), 257-287, 2004	313	2004
Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding MM Bonsangue, F van Breugel, JJMM Rutten Theoretical Computer Science 193 (1-2), 1-51, 1998	164	1998
Towards a language for coherent enterprise architecture descriptions H Jonkers, R Van Burren, F Arbab, F de Boer, M Bonsangue, H Bosma, ... Seventh IEEE International Enterprise Distributed Object Computing …, 2003	152	2003
Change impact analysis of enterprise architectures FS de Boer, MM Bonsangue, LPJ Groenewegen, AW Stam, S Stevens, ... IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005	100	2005
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013	91	2013
Duality for logics of transition systems MM Bonsangue, A Kurz Foundations of Software Science and Computational Structures: 8th …, 2005	87	2005
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010	77	2010
An approach to object-orientation in action systems MM Bonsangue, JN Kok, K Sere Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998	72	1998
Algebra-coalgebra duality in Brzozowski's minimization algorithm F Bonchi, MM Bonsangue, HH Hansen, P Panangaden, JJMM Rutten, ... ACM Transactions on Computational Logic (TOCL) 15 (1), 1-29, 2014	65	2014
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	63	2012
Sound and complete axiomatizations of coalgebraic language equivalence MM Bonsangue, S Milius, A Silva ACM Transactions on Computational Logic (TOCL) 14 (1), 1-52, 2013	62	2013
A transition system semantics for the control-driven coordination language MANIFOLD MM Bonsangue, F Arbab, JW De Bakker, JJMM Rutten, A Scutella, ... Theoretical Computer Science 240 (1), 3-47, 2000	56	2000
Presenting functors by operations and equations MM Bonsangue, A Kurz Foundations of Software Science and Computation Structures: 9th …, 2006	54	2006
Enterprise architecture analysis with xml FS de Boer, MM Bonsangue, J Jacob, A Stam, L Van der Torre Proceedings of the 38th Annual Hawaii International Conference on System …, 2005	54	2005
An algebra for Kripke polynomial coalgebras M Bonsangue, J Rutten, A Silva 2009 24th Annual IEEE Symposium on Logic In Computer Science, 49-58, 2009	52	2009
Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva Coordination Models and Languages: 11th International Conference …, 2009	49	2009
Coalgebraic bisimulation-up-to J Rot, M Bonsangue, J Rutten SOFSEM 2013: Theory and Practice of Computer Science: 39th International …, 2013	47	2013
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013	44	2013
A coordination language for mobile components F Arbab, MM Bonsangue, FS de Boer Proceedings of the 2000 ACM symposium on Applied computing-Volume 1, 166-173, 2000	44	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors