Takip et
Marcello Bonsangue
Marcello Bonsangue
Professor of Computer Science, Leiden University
liacs.leidenuniv.nl üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Enterprise architecture at work: Modelling, communication and analysis
M Lankhorst, et al.
Springer-Verlag New York Inc, 2009
2923*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
3292004
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
1691998
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
1562003
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Logical Methods in Computer Science 9, 2013
1112013
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
1102005
Duality for logics of transition systems
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2005
872005
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, M Bosangue, J Rutten
Schloss Dagstuhl: Leibnitz-Centrum fur Informatik, 2010
862010
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
742012
An approach to object-orientation in action systems
MM Bonsangue, JN Kok, K Sere
Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998
741998
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
682014
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
682013
Multi-view learning with distinguishable feature fusion for rumor detection
X Chen, F Zhou, G Trajcevski, M Bonsangue
Knowledge-Based Systems 240, 108085, 2022
662022
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
652000
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
532009
Automata for context-dependent connectors
M Bonsangue, D Clarke, A Silva
International Conference on Coordination Languages and Models, 184-203, 2009
532009
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
Logical Methods in Computer Science 11, 2015
512015
Coalgebraic bisimulation-up-to
J Rot, M Bonsangue, J Rutten
International Conference on Current Trends in Theory and Practice of …, 2013
482013
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20