2026 Farhad Arbab: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	40	9185	8919	162	152	310	8346

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

9185

8919

162

152

310

8346

Overview

Farhad Arbab is affiliated with Leiden University in the Netherlands and has contributed to the field of Computer Science with a focus on formal methods, system modeling, and software engineering. The research covers multiple subfields, including Computational Theory and Mathematics, Artificial Intelligence, Software, Information Systems, and Hardware and Architecture.

Their work addresses a variety of topics such as:

Formal Methods in Verification
Petri Nets in System Modeling
Model-Driven Software Engineering Techniques
Modular Robots and Swarm Intelligence
Logic, programming, and type systems
Embedded Systems Design Techniques
Service-Oriented Architecture and Web Services

Farhad Arbab's publication record includes papers that explore formal semantics, coordination models, and cyber-physical systems. Notable recent papers include:

"Reconfiguration of Reo Connectors Triggered by Dataflow," 2024, published by Technische Universität Berlin - Universitätsbibliothek
"A Semantic Model for Interacting Cyber-Physical Systems," 2021, in Electronic Proceedings in Theoretical Computer Science
"A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model," 2020, in Zenodo (CERN European Organization for Nuclear Research)
"A semantic model for interacting cyber-physical systems," 2022, published in Journal of Logical and Algebraic Methods in Programming
"Compositional workflow modeling with priority constraints," 2020, in Science of Computer Programming

The frequent coauthors Arbab has collaborated with include:

Benjamin Lion
Carolyn Talcott
Sung-Shik Jongmans
Marjan Sirjani
Christian Koehler

Arbab has contributed to several publication venues with a notable presence in:

arXiv (Cornell University)
Zenodo (CERN European Organization for Nuclear Research)
Journal of Logical and Algebraic Methods in Programming
Science of Computer Programming
Electronic Proceedings in Theoretical Computer Science

In addition to papers, Arbab has authored at least one book titled "Formal Aspects of Component Software", published by Springer Science+Business Media in 2020.

Best Publications

Reo: a channel-based coordination model for component composition

Farhad Arbab

925
Citations
Coordination models and languages

George A. Papadopoulos;Farhad Arbab

852
Citations
A coinductive calculus of component connectors

F. Arbab;J. J. M. M. Rutten

436
Citations
Modeling component connectors in Reo by constraint automata

Christel Baier;Marjan Sirjani;Farhad Arbab;Jan Rutten

376
Citations
Enterprise architecture: Management tool and blueprint for the organisation

Henk Jonkers;Marc M. Lankhorst;Hugo W. Ter Doest;Farhad Arbab

365
Citations
The IWIM Model for Coordination of Concurrent Activities

Farhad Arbab

301
Citations
Abstract behavior types: a foundation model for components and their composition

Farhad Arbab

280
Citations
An overview of Manifold and its implementation

F. Arbab;I. Herman;P. Spilling

265
Citations
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands

Allan Hansen;Farhad Arbab

207
Citations
Towards a language for coherent enterprise architecture descriptions

H. Jonkers;R. van Burren;F. Arbab;F. de Boer

156
Citations
Connector colouring I: Synchronisation and context dependency

Dave Clarke;David Costa;Farhad Arbab

131
Citations
Connector Colouring I: Synchronisation and Context Dependency

Dave Clarke;David Costa;Farhad Arbab

130
Citations
Overview of Thirty Semantic Formalisms for Reo

Sung-Shik T. Q. Jongmans;Farhad Arbab

103
Citations
International Symposium on Fundamentals of Software Engineering

Farhad Arbab;Marjan Sirjani

91
Citations
Web services choreography and orchestration in Reo and constraint automata

Sun Meng;Farhad Arbab

90
Citations
Towards Using Reo for Compliance-Aware Business Process Modeling

Farhad Arbab;Natallia Kokash;Sun Meng

88
Citations
Coordination through Channel Composition

Farhad Arbab;Farhad Mavaddat

86
Citations
Coordination of massively concurrent activities

Farhad Arbab

82
Citations
Models and temporal logics for timed component connectors

F. Arbab;C. Baier;F. de Boer;J. Rutten

82
Citations
Set models and Boolean operations for solids and assemblies

F. Arbab

78
Citations

Frequent Co-Authors

Jan Rutten Radboud University

Christel Baier TU Dresden

Carolyn L. Talcott SRI International

Joost N. Kok University of Twente

Leendert van der Torre University of Luxembourg

Krzysztof R. Apt Centrum Wiskunde & Informatica

Hamideh Afsarmanesh University of Amsterdam

Pascal Bouvry University of Luxembourg

Henderik A. Proper Association for Computing Machinery

Gianluigi Zavattaro University of Bologna

External Links

Personal website of Farhad Arbab Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens up many academic and professional avenues beyond traditional tech roles. Many students consider complementing their CS background with interdisciplinary studies or advanced degrees that can deepen expertise or expand career prospects.

Graduate education options now include a range of affordable and flexible programs fully online. For example, professionals interested in leadership and management might explore affordable online executive mba programs to gain business acumen alongside their technical knowledge. If your interests align more with managing digital collections or information systems, an online mlis (Master of Library and Information Science) could be a great fit.

Budget-conscious learners can access a variety of cheap online masters programs across disciplines, making advanced study more accessible. For those aiming for top executive or academic positions, pursuing a phd in leadership online can further enhance leadership capabilities while fitting around a busy work schedule.

Exploring these related degrees can help you tailor your educational journey and unlock diverse career pathways after earning your Computer Science qualification.