Gul Agha

Cited by

	All	Since 2018
Citations	22163	4706
h-index	64	26
i10-index	196	69

1200

600

300

900

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202355 107 121 154 256 252 305 354 317 458 418 442 403 359 312 300 359 435 551 695 716 725 769 920 972 985 1078 1132 1131 1033 928 1037 941 830 712 735 448

Public access

View all

18 articles

3 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
Sameer SundreshUniversity of Illinois at Urbana-ChampaignVerified email at sundresh.org
Predrag TosicEastern Washington University and Washington State UniversityVerified email at wsu.edu
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
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
Shinae JangUniversity of ConnecticutVerified email at uconn.edu
Hongki JoAssociate Professor, University of ArizonaVerified email at email.arizona.edu
Shangping RenProfessor, San Diego Sate UniversityVerified email at sdsu.edu
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.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	4760	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	2560	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	705	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	606	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	572	2010
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990	558	1990
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	355	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	336	1999
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	310	2005
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001	305	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	294	2010
Concurrent programming using actors G Agha Object-oriented concurrent programming, 37-53, 1987	275	1987
SENS: A sensor, environment and network simulator S Sundresh, W Kim, G Agha 37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004	273	2004
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018	271	2018
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	235	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	232	2003
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	215	2005
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	214	2004
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	208	2006
An overview of actor languages G Agha ACM Sigplan Notices 21 (10), 58-67, 1986	199	1986

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