| Enterprise architecture at work: Modelling, communication and analysis M Lankhorst, et al. Springer-Verlag New York Inc, 2009 | 2906* | 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 | 325 | 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 | 162 | 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 | 153 | 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 | 109 | 2005 |
| Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Logical Methods in Computer Science 9, 2013 | 107 | 2013 |
| Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005 | 86 | 2005 |
| Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010 | 80 | 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 |
| A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012 | 71 | 2012 |
| 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 | 67 | 2014 |
| 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 | 67 | 2013 |
| 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 | 64 | 2000 |
| Multi-view learning with distinguishable feature fusion for rumor detection X Chen, F Zhou, G Trajcevski, M Bonsangue Knowledge-Based Systems 240, 108085, 2022 | 57 | 2022 |
| 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 | 55 | 2005 |
| Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006 | 54 | 2006 |
| Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot Logical Methods in Computer Science 11, 2015 | 51 | 2015 |
| 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 | 51 | 2009 |
| Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva International Conference on Coordination Languages and Models, 184-203, 2009 | 49 | 2009 |
| Coalgebraic bisimulation-up-to J Rot, M Bonsangue, J Rutten International Conference on Current Trends in Theory and Practice of …, 2013 | 47 | 2013 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.cwi.nl의 이메일 확인됨
