Farhad Arbab

Cited by

	All	Since 2020
Citations	12062	1446
h-index	43	12
i10-index	160	16

740

370

185

555

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 73 56 49 48 86 71 212 132 207 175 216 243 268 322 417 473 565 612 612 625 632 556 616 604 675 533 725 469 334 325 259 289 217 22

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sung-Shik JongmansOpen University of the NetherlandsVerified email at ou.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
George Α. PapadopoulosProfessor of Software Engineering, Department of Computer Science, University of CyprusVerified email at ucy.ac.cy
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn
Christel BaierTU DresdenVerified email at tu-dresden.de
Jan RuttenCWIVerified email at cwi.nl
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Dave ClarkeIndependentVerified email at storytel.com
Alexander LazovikUniversity of GroningenVerified email at rug.nl
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Henderik A. ProperProfessor in Enterprise & Process Engineering at TU WIenVerified email at acm.org
Kasper DokterPhD studentVerified email at cwi.nl
Christian KrauseSAP SEVerified email at sap.com
Eric MonfroyProfessor of Computer Science, Université de NantesVerified email at univ-nantes.fr
Tetsuo TomiyamaAdvisor to President, Professor, International Professional University of Technology in TokyoVerified email at iput.ac.jp
Pascal BouvryProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Hamideh AfsarmaneshProfessor of Computer Science, University of AmsterdamVerified email at uva.nl

Farhad Arbab

Professor of Computer Science, Leiden University

Verified email at liacs.nl - Homepage

Software Engineering Concurrency


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 Springer-Verlag New York Inc, 2009	2928*	2009
Reo: a channel-based coordination model for component composition F Arbab Mathematical structures in computer science 14 (3), 329-366, 2004	947	2004
Coordination models and languages GA Papadopoulos, F Arbab Advances in computers 46, 329-400, 1998	767	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	485*	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	421	2006
The IWIM model for coordination of concurrent activities F Arbab Coordination Languages and Models: First International Conference …, 1996	306	1996
Abstract behavior types: a foundation model for components and their composition F Arbab Science of Computer Programming 55 (1-3), 3-52, 2005	267	2005
An overview of Manifold and its implementation F Arbab, I Herman, P Spilling Concurrency: practice and experience 5 (1), 23-70, 1993	265	1993
A coinductive calculus of component connectors F Arbab, JJMM Rutten Recent Trends in Algebraic Development Techniques: 16th International …, 2003	242	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	206	1992
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	156	2003
What do you mean, coordination F Arbab Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998	156	1998
Connector colouring I: Synchronisation and context dependency D Clarke, D Costa, F Arbab Electronic Notes in Theoretical Computer Science 154 (1), 101-119, 2006	134	2006
Overview of Thirty Semantic Formalisms for Reo. SSTQ Jongmans, F Arbab Scientific Annals of Computer Science 22 (1), 2012	117	2012
Towards using Reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng Leveraging Applications of Formal Methods, Verification and Validation …, 2008	94	2008
Coordination through channel composition F Arbab, F Mavaddat Coordination Models and Languages: 5th International Conference …, 2002	93	2002
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	90	2007
Coordination of massively concurrent activities F Arbab Centrum voor Wiskunde en Informatica, 1995	79	1995
Puff, the magic protocol F Arbab Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	78	2011
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	78	2004

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

Follow

Cited by

Co-authors