Farhad Arbab

Cited by

	All	Since 2020
Citations	11890	1435
h-index	42	12
i10-index	154	15

680

340

170

510

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202571 55 49 48 85 71 210 133 215 176 218 238 266 315 420 472 571 614 619 594 615 548 582 583 645 555 678 468 335 334 255 285 208 18

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Sung-Shik JongmansOpen University of the NetherlandsVerified email at ou.nl
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
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Jan RuttenCWIVerified 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
Eric MonfroyProfessor of Computer Science, Université de NantesVerified email at univ-nantes.fr
Pascal BouvryProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Christian KrauseSAP SEVerified email at sap.com
Hamideh AfsarmaneshProfessor of Computer Science, University of AmsterdamVerified email at uva.nl
Mahdi SargolzaeiUniversity 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	2933*	2009
Reo: a channel-based coordination model for component composition F Arbab Mathematical structures in computer science 14 (3), 329-366, 2004	928	2004
Coordination models and languages GA Papadopoulos, F Arbab Advances in computers 46, 329-400, 1998	774	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	471*	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	415	2006
The IWIM model for coordination of concurrent activities F Arbab Coordination Languages and Models: First International Conference …, 1996	308	1996
An overview of Manifold and its implementation F Arbab, I Herman, P Spilling Concurrency: practice and experience 5 (1), 23-70, 1993	266	1993
Abstract behavior types: a foundation model for components and their composition F Arbab Science of Computer Programming 55 (1-3), 3-52, 2005	265	2005
A coinductive calculus of component connectors F Arbab, JJMM Rutten Recent Trends in Algebraic Development Techniques: 16th International …, 2003	230	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	203	1992
What do you mean, coordination F Arbab Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998	156	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	154	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	91	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	90	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	80	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	77	2004
Puff, the magic protocol F Arbab Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011	74	2011

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