Gul Agha

Cited by

	All	Since 2019
Citations	23139	4755
h-index	63	27
i10-index	200	68

1200

600

300

900

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024107 109 155 259 255 308 360 284 458 406 433 399 339 304 293 357 431 533 707 708 723 757 919 983 969 1083 1126 1114 1018 935 1048 964 860 793 813 712 609

Public access

View all

21 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Kirill MechitovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Billie F. Spencer, Jr.Professor of Civil and Environmental Engineering, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
YoungMin KwonAssociate Professor of Computer Science, The State University of New York at KoreaVerified email at sunykorea.ac.kr
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Predrag TosicEastern Washington University and Washington State UniversityVerified email at wsu.edu
Sameer SundreshUniversity of Illinois at Urbana-ChampaignVerified email at sundresh.org
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic InstituteVerified email at cs.rpi.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Tomonori NagayamaProfessor of Civil Engineering, The University of TokyoVerified email at bridge.t.u-tokyo.ac.jp
Rajesh KarmaniAskWhaiVerified email at askwhai.com
Sung-Han SimProfessor of Sungkyunkwan UniversityVerified email at skku.edu
Abhay VardhanVerified email at quasarresearch.tech
Nalini VenkatasubramanianProfessor of Computer Science, University of California, IrvineVerified email at uci.edu
Vijay Anand KorthikantiPrincipal Research Scientist, NvidiaVerified email at uiuc.edu
Soojin ChoAssociate Professor, University of SeoulVerified email at uos.ac.kr
Atul SandurUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Shinae JangUniversity of ConnecticutVerified email at uconn.edu
Hongki JoAssociate Professor, University of ArizonaVerified email at email.arizona.edu

Gul Agha

Professor of Computer Science, University of Illinois at Urbana-Champaign and CEO Embedor

Verified email at illinois.edu - Homepage

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Actors: A model of concurrent computation in distributed systems. GA Agha MIT Press, Cambridge, 1985	4884	1985
CUTE: A concolic unit testing engine for C K Sen, D Marinov, G Agha ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005	2687	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	717	1997
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) K Sen, G Agha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	621	2006
Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation S Jang, H Jo, S Cho, K Mechitov, JA Rice, SH Sim, HJ Jung, CB Yun, ... Smart Structures and systems 6 (5_6), 439-459, 2010	592	2010
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990	570	1990
Concurrent programming using actors: Exploiting large-scale parallelism G Agha, C Hewitt Readings in Distributed Artificial Intelligence, 398-407, 1988	408	1988
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	381	2004
Apparatus and method for synchronizing execution of programs in a distributed real-time computing system M Saito, GA Agha US Patent 5,887,143, 1999	349	1999
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018	344	2018
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	328	2005
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001	307	2001
Flexible smart sensor framework for autonomous structural health monitoring JA Rice, K Mechitov, SH Sim, T Nagayama, S Jang, R Kim, BF Spencer Jr, ... Smart structures and Systems 6 (5_6), 423-438, 2010	305	2010
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006	304*	2006
SENS: A sensor, environment and network simulator S Sundresh, W Kim, G Agha 37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004	278	2004
Actor frameworks for the JVM platform: a comparative analysis RK Karmani, A Shali, G Agha Proceedings of the 7th International Conference on Principles and Practice …, 2009	238	2009
Cooperative tracking with binary-detection sensor networks K Mechitov, S Sundresh, Y Kwon, G Agha Proceedings of the 1st international conference on Embedded networked sensor …, 2003	235	2003
PMaude: Rewrite-based specification language for probabilistic object systems G Agha, J Meseguer, K Sen Electronic Notes in Theoretical Computer Science 153 (2), 213-239, 2006	228	2006
Efficient decentralized monitoring of safety in distributed systems K Sen, A Vardhan, G Agha, G Rosu Proceedings. 26th International Conference on Software Engineering, 418-427, 2004	228	2004
Vesta: A statistical model-checker and analyzer for probabilistic systems K Sen, M Viswanathan, G Agha Second International Conference on the Quantitative Evaluation of Systems …, 2005	222	2005

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