Gul Agha

引用次数

	总计	2019 年至今
引用	23150	4766
h 指数	63	27
i10 指数	200	68

1200

600

300

900

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024107 109 155 259 255 308 360 284 458 406 433 399 339 304 293 358 431 533 707 708 723 757 918 983 969 1083 1126 1114 1018 935 1048 964 861 795 813 711 618

开放获取的出版物数量

查看全部

21 篇文章

2 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Koushik SenProfessor of Computer Science, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Kirill MechitovUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Billie F. Spencer, Jr.Professor of Civil and Environmental Engineering, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
YoungMin KwonAssociate Professor of Computer Science, The State University of New York at Korea在 sunykorea.ac.kr 的电子邮件经过验证
Darko MarinovUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Predrag TosicEastern Washington University and Washington State University在 wsu.edu 的电子邮件经过验证
Sameer SundreshUniversity of Illinois at Urbana-Champaign在 sundresh.org 的电子邮件经过验证
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic Institute在 cs.rpi.edu 的电子邮件经过验证
Grigore RosuUniversity of Illinois at Urbana Champaign在 illinois.edu 的电子邮件经过验证
Tomonori NagayamaProfessor of Civil Engineering, The University of Tokyo在 bridge.t.u-tokyo.ac.jp 的电子邮件经过验证
Rajesh KarmaniAskWhai在 askwhai.com 的电子邮件经过验证
Sung-Han SimProfessor of Sungkyunkwan University在 skku.edu 的电子邮件经过验证
Abhay Vardhan在 quasarresearch.tech 的电子邮件经过验证
Nalini VenkatasubramanianProfessor of Computer Science, University of California, Irvine在 uci.edu 的电子邮件经过验证
Vijay Anand KorthikantiPrincipal Research Scientist, Nvidia在 uiuc.edu 的电子邮件经过验证
Soojin ChoAssociate Professor, University of Seoul在 uos.ac.kr 的电子邮件经过验证
Atul SandurUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Shinae JangUniversity of Connecticut在 uconn.edu 的电子邮件经过验证
Hongki JoAssociate Professor, University of Arizona在 email.arizona.edu 的电子邮件经过验证

关注

Gul Agha

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

在 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	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	2689	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	718	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	353	1999
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018	345	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	303*	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者