H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 61 Citations 19,643 244 World Ranking 1497 National Ranking 828

Research.com Recognitions

Awards & Achievements

2018 - ACM Fellow For research in concurrent programming and formal methods, specifically the Actor Model

2002 - IEEE Fellow For contributions to the theory and practice of concurrent programming.

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Operating system
  • Artificial intelligence

Her primary areas of study are Programming language, Distributed computing, Concurrent object-oriented programming, Actor model and Theoretical computer science. Many of her studies on Programming language involve topics that are commonly interrelated, such as Asynchronous communication. In the field of Distributed computing, her study on Runtime system overlaps with subjects such as Protocol.

Her Concurrent object-oriented programming study combines topics in areas such as Object-oriented programming, Concurrent computing and Concurrency. Gul Agha frequently studies issues relating to Actor model and process calculi and Actor model. The Theoretical computer science study combines topics in areas such as Process, Divergence-from-randomness model and Probabilistic argumentation.

Her most cited work include:

  • Actors: A Model of Concurrent Computation in Distributed Systems (2167 citations)
  • CUTE: a concolic unit testing engine for C (1526 citations)
  • Concurrent object-oriented programming (598 citations)

What are the main themes of her work throughout her whole career to date?

Her primary areas of investigation include Distributed computing, Programming language, Theoretical computer science, Actor model and Concurrency. Her biological study focuses on Concurrent computing. Her study involves Concurrent object-oriented programming, Object-oriented programming, Java, Programming paradigm and Semantics, a branch of Programming language.

As a member of one scientific family, Gul Agha mostly works in the field of Theoretical computer science, focusing on Probabilistic logic and, on occasion, Markov chain and Model checking. Her Actor model study frequently involves adjacent topics like Actor model and process calculi. Her Concurrency study frequently draws connections between adjacent fields such as Asynchronous communication.

She most often published in these fields:

  • Distributed computing (34.58%)
  • Programming language (22.77%)
  • Theoretical computer science (14.41%)

What were the highlights of her more recent work (between 2010-2021)?

  • Distributed computing (34.58%)
  • Wireless sensor network (9.80%)
  • Software engineering (6.05%)

In recent papers she was focusing on the following fields of study:

Gul Agha mostly deals with Distributed computing, Wireless sensor network, Software engineering, Concurrency and Actor model. Her Distributed computing research incorporates themes from Mobile cloud, Scalability, Shared memory, Communications protocol and Multi-core processor. Her research in Scalability intersects with topics in Probabilistic logic, Cloud computing and Theoretical computer science.

The concepts of her Wireless sensor network study are interwoven with issues in Structural health monitoring, Key distribution in wireless sensor networks, Real-time computing, Embedded system and Scheduling. Her research investigates the link between Software engineering and topics such as Concurrent object-oriented programming that cross with problems in Agent-oriented programming. Her work in Concurrency addresses subjects such as Liveness, which are connected to disciplines such as Reachability.

Between 2010 and 2021, her most popular works were:

  • A Survey of Statistical Model Checking (104 citations)
  • TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs (55 citations)
  • Enabling framework for structural health monitoring using smart sensors (49 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Artificial intelligence

Her scientific interests lie mostly in Distributed computing, Structural health monitoring, Wireless, Wireless sensor network and Actor model. Gul Agha is studying Deadlock, which is a component of Distributed computing. Gul Agha has included themes like Service-oriented architecture, Electronic engineering, Structural monitoring and Modular design in her Structural health monitoring study.

Her studies in Wireless sensor network integrate themes in fields like Key distribution in wireless sensor networks, Visual sensor network, Wireless network, Scheduling and Process engineering. The various areas that Gul Agha examines in her Actor model study include Location transparency, Concurrent object-oriented programming, Software engineering and Locality of reference. Her study in State is interdisciplinary in nature, drawing from both Concurrent computing and Theoretical computer science.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Actors: A Model of Concurrent Computation in Distributed Systems

Gul Agha.
(1986)

4229 Citations

CUTE: a concolic unit testing engine for C

Koushik Sen;Darko Marinov;Gul Agha.
foundations of software engineering (2005)

2327 Citations

A foundation for actor computation

Gul A. Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott.
Journal of Functional Programming (1997)

690 Citations

Concurrent object-oriented programming

Gul Agha.
Communications of The ACM (1990)

598 Citations

CUTE and jCUTE: concolic unit testing and explicit path model-checking tools

Koushik Sen;Gul Agha.
computer aided verification (2006)

547 Citations

Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation

Shinae Jang;Hongki Jo;Soojin Cho;Kirill Mechitov.
Smart Structures and Systems (2010)

456 Citations

Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism

G. Agha;C. Hewitt.
foundations of software technology and theoretical computer science (1985)

333 Citations

Statistical model checking of black-box probabilistic systems

Koushik Sen;Mahesh Viswanathan;Gul Agha.
computer aided verification (2004)

313 Citations

Programming dynamically reconfigurable open systems with SALSA

Carlos Varela;Gul Agha.
Sigplan Notices (2001)

306 Citations

Apparatus and method for synchronizing execution of programs in a distributed real-time computing system

Saito Masahiko;Guruji Agaa.
(1995)

285 Citations

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

Contact us

Best Scientists Citing Gul Agha

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 81

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 73

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 51

Billie F. Spencer

Billie F. Spencer

University of Illinois at Urbana-Champaign

Publications: 51

Koushik Sen

Koushik Sen

University of California, Berkeley

Publications: 48

Carolyn L. Talcott

Carolyn L. Talcott

SRI International

Publications: 46

Tao Xie

Tao Xie

Peking University

Publications: 45

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 39

Sarfraz Khurshid

Sarfraz Khurshid

The University of Texas at Austin

Publications: 38

Nikolai Tillmann

Nikolai Tillmann

Facebook (United States)

Publications: 37

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 31

Akinori Yonezawa

Akinori Yonezawa

University of Tokyo

Publications: 29

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 27

Frank S. de Boer

Frank S. de Boer

Centrum Wiskunde & Informatica

Publications: 26

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 25

Franco Zambonelli

Franco Zambonelli

University of Modena and Reggio Emilia

Publications: 25

Something went wrong. Please try again later.