Farhad Arbab

Cited by

	All	Since 2016
Citations	10242	2512
h-index	40	18
i10-index	148	41

640

320

160

480

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202129 63 52 42 46 83 62 202 135 212 188 198 228 255 277 384 402 528 580 572 619 566 525 530 587 631 504 618 425 332 1

Co-authors

Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & InformaticaVerified email at ou.nl
George Α. PapadopoulosProfessor of Software Engineering, Department of Computer Science, University of CyprusVerified email at cs.ucy.ac.cy
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Dave ClarkeIndependentVerified email at storytel.com
Alexander LazovikUniversity of GroningenVerified email at rug.nl
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Jose ProencaCISTER - ISEPVerified email at proenca.org
Henderik A. ProperProfessor in Enterprise Engineering at Radboud University Nijmegen, at University of Luxembourg, andVerified email at acm.org
Christian KrauseSAP SEVerified email at sap.com
Pascal BouvryProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Eric MonfroyProfessor of Computer Science, Université de NantesVerified email at univ-nantes.fr
Hamideh AfsarmaneshProfessor of Computer Science, University of AmsterdamVerified email at uva.nl
Mahdi SargolzaeiUniversity of AmsterdamVerified email at uva.nl
Kasper DokterPhD studentVerified email at cwi.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.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	2248*	2009
Reo: a channel-based coordination model for component composition F Arbab Mathematical structures in computer science 14 (3), 329-366, 2004	832	2004
Coordination models and languages GA Papadopoulos, F Arbab Advances in computers 46, 329-400, 1998	717	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	422*	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-66, 2006	315	2006
The IWIM model for coordination of concurrent activities F Arbab International Conference on Coordination Languages and Models, 34-56, 1996	290	1996
An overview of Manifold and its implementation F Arbab, I Herman, P Spilling Concurrency: practice and experience 5 (1), 23-70, 1993	246	1993
Abstract behavior types: a foundation model for components and their composition F Arbab Science of Computer Programming 55 (1-3), 3-52, 2005	245	2005
A coinductive calculus of component connectors F Arbab, JJMM Rutten International Workshop on Algebraic Development Techniques, 34-55, 2002	205	2002
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	190	1992
What do you mean, coordination F Arbab Bulletin of the Dutch Association for Theoretical Computer Science (NVTI) 19, 1998	144	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	140	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	121	2006
Overview of Thirty Semantic Formalisms for Reo. SSTQ Jongmans, F Arbab Scientific Annals of Computer Science 22 (1), 2012	87	2012
Coordination through channel composition F Arbab, F Mavaddat International Conference on Coordination Languages and Models, 22-39, 2002	81	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	80	2007
Towards using reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng International Symposium On Leveraging Applications of Formal Methods …, 2008	78	2008
Coordination of massively concurrent activities F Arbab Centrum voor Wiskunde en Informatica, 1995	77	1995
Set models and boolean operations for solids and assemblies F Arbab IEEE Computer Graphics and Applications 10 (6), 76-86, 1990	69	1990
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	68	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

Upload PDF

Follow this author

Cited by

Co-authors