Gul Agha

Cited by

	All	Since 2016
Citations	19827	4739
h-index	62	28
i10-index	199	81

1200

600

300

900

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202156 117 122 144 220 234 283 355 302 454 391 435 412 343 302 271 353 434 490 704 708 698 750 914 912 1025 1044 1151 1144 1012 947 1029 956 773 21

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
Darko MarinovUniversity 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
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Predrag TosicEastern Washington University and Washington State UniversityVerified email at wsu.edu
Jennifer (Rice) BridgeAssociate Professor, University of FloridaVerified email at ce.ufl.edu
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic InstituteVerified email at cs.rpi.edu
Sameer SundreshUniversity of Illinois at Urbana-ChampaignVerified email at sundresh.org
Tomonori NagayamaAssociate professor of Civil Engineering, The University of TokyoVerified email at bridge.t.u-tokyo.ac.jp
Rajesh KarmaniUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Sung-Han SimAssociate Professor of Sungkyunkwan UniversityVerified email at skku.edu
Nalini VenkatasubramanianProfessor of Computer Science, University of California, IrvineVerified email at ics.uci.edu
Shinae JangUniversity of ConnecticutVerified email at uconn.edu
Vijay Anand KorthikantiCerebras SystemsVerified email at uiuc.edu
Soojin ChoAssociate Professor, University of SeoulVerified email at uos.ac.kr
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

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	4076	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	2158	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of Functional Programming 7 (1), 1-72, 1997	657	1997
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools K Sen, G Agha International Conference on Computer Aided Verification, 419-423, 2006	513	2006
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990	502	1990
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	440	2010
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001	294	2001
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 202-215, 2004	289	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	270	1999
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 266-280, 2005	260	2005
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	251	2010
Concurrent programming using actors G Agha Object-oriented concurrent programming, 37-53, 1987	245	1987
SENS: A sensor, environment and network simulator S Sundresh, W Kim, G Agha 37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004	244	2004
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	217	2003
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	211	2009
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	198	2005
Research directions in concurrent object-oriented programming GA Agha, A Yonezawa, P Wegner Mit Press, 1993	192	1993
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	180	2006
An overview of actor languages G Agha ACM Sigplan Notices 21 (10), 58-67, 1986	175	1986
A language framework for multi-object coordination S Frølund, G Agha European Conference on Object-Oriented Programming, 346-360, 1993	173	1993

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