Farhad Arbab

Cited by

	All	Since 2019
Citations	11779	1801
h-index	41	13
i10-index	154	24

680

340

170

510

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202471 55 50 48 85 71 210 133 215 176 218 238 266 314 420 471 569 613 619 591 619 548 582 582 644 558 674 458 341 329 253 281 139

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & InformaticaVerified 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
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
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	2876*	2009
Reo: a channel-based coordination model for component composition F Arbab Mathematical structures in computer science 14 (3), 329-366, 2004	922	2004
Coordination models and languages GA Papadopoulos, F Arbab Advances in computers 46, 329-400, 1998	771	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	468*	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	403	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	228	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	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	106	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	88	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