Marcello Bonsangue

Cited by

	All	Since 2016
Citations	5197	1684
h-index	31	14
i10-index	71	26

460

230

115

345

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120 24 18 30 60 51 61 47 74 81 137 120 221 261 313 317 300 355 377 448 396 410 328 303 246 1

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 SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Alexander KurzChapman UniversityVerified email at chapman.edu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Henderik A. ProperProfessor in Enterprise Engineering at Radboud University Nijmegen, at University of Luxembourg, andVerified email at acm.org
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityVerified email at han.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Dave ClarkeIndependentVerified email at storytel.com
Maria-Eugenia IacobProfessor, University of TwenteVerified email at utwente.nl
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Mohammad IzadiAssociate professor of Computer Engineering, Sharif University of TechnologyVerified email at sharif.edu

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	2248*	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	287	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	149*	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	140	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	89	2005
Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005	77	2005
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013	74	2013
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010	65	2010
Kleene coalgebra A Silva [Sl: sn], 2010	65	2010
An approach to object-orientation in action systems MM Bonsangue, JN Kok, K Sere International Conference on Mathematics of Program Construction, 68-95, 1998	64	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	59	2014
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	57	2000
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	55	2013
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	53	2012
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	51	2006
Coalgebraic bisimulation-up-to J Rot, M Bonsangue, J Rutten International Conference on Current Trends in Theory and Practice of …, 2013	48	2013
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	47	2009
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	47	2005
Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva International Conference on Coordination Languages and Models, 184-203, 2009	46	2009
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot International Conference on Algebra and Coalgebra in Computer Science, 95-109, 2013	40	2013

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

Upload PDF

Follow this author

Cited by

Co-authors