Enterprise architecture at work: Modelling, communication and analysis M Lankhorst Springer-Verlag New York Inc, 2009 | 2805* | 2009 |
Reo: a channel-based coordination model for component composition F Arbab Mathematical structures in computer science 14 (3), 329-366, 2004 | 918 | 2004 |
Coordination models and languages GA Papadopoulos, F Arbab Advances in computers 46, 329-400, 1998 | 770 | 1998 |
Modeling component connectors in Reo by constraint automata C Baier, M Sirjani, F Arbab, J Rutten Science of computer programming 61 (2), 75-113, 2006 | 469* | 2006 |
Enterprise architecture: Management tool and blueprint for the organisation H Jonkers, MM Lankhorst, HWL Ter Doest, F Arbab, H Bosma, ... Information systems frontiers 8 (2), 63, 2006 | 394 | 2006 |
The IWIM model for coordination of concurrent activities F Arbab Coordination Languages and Models: First International Conference …, 1996 | 304 | 1996 |
An overview of Manifold and its implementation F Arbab, I Herman, P Spilling Concurrency: practice and experience 5 (1), 23-70, 1993 | 264 | 1993 |
Abstract behavior types: a foundation model for components and their composition F Arbab Science of Computer Programming 55 (1-3), 3-52, 2005 | 263 | 2005 |
A coinductive calculus of component connectors F Arbab, JJMM Rutten Recent Trends in Algebraic Development Techniques: 16th International …, 2003 | 229 | 2003 |
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands A Hansen, F Arbab ACM Transactions on Graphics (TOG) 11 (2), 152-182, 1992 | 204 | 1992 |
What do you mean, coordination F Arbab Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998 | 155 | 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 |
Connector colouring I: Synchronisation and context dependency D Clarke, D Costa, F Arbab Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006 | 130 | 2006 |
Overview of Thirty Semantic Formalisms for Reo. SSTQ Jongmans, F Arbab Scientific Annals of Computer Science 22 (1), 2012 | 108 | 2012 |
Coordination through channel composition F Arbab, F Mavaddat Coordination Models and Languages: 5th International Conference …, 2002 | 92 | 2002 |
Towards using Reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 87 | 2008 |
Web services choreography and orchestration in Reo and constraint automata S Meng, F Arbab Proceedings of the 2007 ACM symposium on Applied computing, 346-353, 2007 | 86 | 2007 |
Coordination of massively concurrent activities F Arbab Centrum voor Wiskunde en Informatica, 1995 | 81 | 1995 |
Models and temporal logics for timed component connectors F Arbab, C Baier, F De Boer, J Rutten Proceedings of the Second International Conference on Software Engineering …, 2004 | 75 | 2004 |
Set models and boolean operations for solids and assemblies F Arbab IEEE Computer Graphics and Applications 10 (6), 76-86, 1990 | 75 | 1990 |