Seguir
Marcello Bonsangue
Marcello Bonsangue
Professor of Computer Science, Leiden University
Dirección de correo verificada de liacs.leidenuniv.nl - Página principal
Título
Citado por
Citado por
Año
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst, et al.
Springer-Verlag New York Inc, 2009
2932*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
3262004
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
1671998
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
1532003
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
1112005
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Logical Methods in Computer Science 9, 2013
1102013
Duality for logics of transition systems
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2005
862005
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, MM Bonsangue, JJMM Rutten
IARCS Annual Conference on Foundations of Software Technology and …, 2010
822010
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
732012
An approach to object-orientation in action systems
MM Bonsangue, JN Kok, K Sere
Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998
721998
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
672014
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
672013
Multi-view learning with distinguishable feature fusion for rumor detection
X Chen, F Zhou, G Trajcevski, M Bonsangue
Knowledge-Based Systems 240, 108085, 2022
642022
A transition system semantics for the control-driven coordination language MANIFOLD
MM Bonsangue, F Arbab, JW de Bakker, JJMM Rutten, A Scutellá, ...
Theoretical Computer Science 240 (1), 3-47, 2000
642000
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
562005
Presenting functors by operations and equations
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2006
542006
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
522009
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
Logical Methods in Computer Science 11, 2015
512015
Automata for context-dependent connectors
M Bonsangue, D Clarke, A Silva
International Conference on Coordination Languages and Models, 184-203, 2009
492009
Coalgebraic bisimulation-up-to
J Rot, M Bonsangue, J Rutten
International Conference on Current Trends in Theory and Practice of …, 2013
472013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20