Gul Agha

인용

	전체	2020년 이후
서지정보	23248	3895
h-index	63	23
i10-index	200	51

1200

600

300

900

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025107 109 155 260 256 311 360 284 459 405 434 399 339 306 293 358 434 532 706 708 724 757 918 980 970 1086 1122 1114 1020 939 1045 966 862 794 818 714 660 45

공개 액세스

모두 보기

자료 21개

자료 2개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Koushik SenProfessor of Computer Science, University of California, Berkeleycs.berkeley.edu의 이메일 확인됨
Kirill MechitovUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Billie F. Spencer, Jr.Professor of Civil and Environmental Engineering, University of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
YoungMin KwonAssociate Professor of Computer Science, The State University of New York at Koreasunykorea.ac.kr의 이메일 확인됨
Darko MarinovUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaignillinois.edu의 이메일 확인됨
Predrag TosicEastern Washington University and Washington State Universitywsu.edu의 이메일 확인됨
Sameer SundreshUniversity of Illinois at Urbana-Champaignsundresh.org의 이메일 확인됨
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic Institutecs.rpi.edu의 이메일 확인됨
Grigore RosuUniversity of Illinois at Urbana Champaignillinois.edu의 이메일 확인됨
Tomonori NagayamaProfessor of Civil Engineering, The University of Tokyobridge.t.u-tokyo.ac.jp의 이메일 확인됨
Rajesh KarmaniAskWhaiaskwhai.com의 이메일 확인됨
Sung-Han SimProfessor of Sungkyunkwan Universityskku.edu의 이메일 확인됨
Abhay Vardhanquasarresearch.tech의 이메일 확인됨
Nalini VenkatasubramanianProfessor of Computer Science, University of California, Irvineuci.edu의 이메일 확인됨
Vijay Anand KorthikantiPrincipal Research Scientist, Nvidiauiuc.edu의 이메일 확인됨
Soojin ChoAssociate Professor, University of Seouluos.ac.kr의 이메일 확인됨
Atul SandurUniversity of Illinois at Urbana-Champaignillinois.edu의 이메일 확인됨
Shinae JangUniversity of Connecticutuconn.edu의 이메일 확인됨
Hongki JoAssociate Professor, University of Arizonaemail.arizona.edu의 이메일 확인됨

팔로우

Gul Agha

Professor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQ

illinois.edu의 이메일 확인됨 - 홈페이지

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Actors: A model of concurrent computation in distributed systems. GA Agha MIT Press, Cambridge, 1985	4894	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	2707	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	720	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	622	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	598	2010
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990	573	1990
Concurrent programming using actors: Exploiting large-scale parallelism G Agha, C Hewitt Readings in Distributed Artificial Intelligence, 398-407, 1988	410	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	382	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	354	1999
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018	353	2018
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	332	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	309	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	309*	2006
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001	307	2001
SENS: A sensor, environment and network simulator S Sundresh, W Kim, G Agha 37th Annual Simulation Symposium, 2004. Proceedings., 221-228, 2004	279	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	230	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

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자