Gul Agha

Cituota

	Visi	Nuo 2018
Šaltiniai	22341	4853
h-rodyklė	64	26
i10-rodyklė	196	70

1200

600

300

900

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202355 107 121 154 257 252 306 356 318 459 420 442 403 359 312 300 359 435 552 695 716 726 769 919 974 987 1078 1129 1141 1036 932 1037 950 830 709 747 575

Viešas pasiekiamumas

Peržiūrėti viską

18 straipsnių

3 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Koushik SenProfessor of Computer Science, University of California, BerkeleyPatvirtintas el. paštas cs.berkeley.edu
Kirill MechitovUniversity of Illinois at Urbana-ChampaignPatvirtintas el. paštas illinois.edu
Billie F. Spencer, Jr.Professor of Civil and Environmental Engineering, University of Illinois at Urbana-ChampaignPatvirtintas el. paštas illinois.edu
YoungMin KwonAssociate Professor of Computer Science, The State University of New York at KoreaPatvirtintas el. paštas sunykorea.ac.kr
Darko MarinovUniversity of Illinois at Urbana-ChampaignPatvirtintas el. paštas illinois.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignPatvirtintas el. paštas illinois.edu
Sameer SundreshUniversity of Illinois at Urbana-ChampaignPatvirtintas el. paštas sundresh.org
Predrag TosicEastern Washington University and Washington State UniversityPatvirtintas el. paštas wsu.edu
Carlos VarelaProfessor of Computer Science, Rensselaer Polytechnic InstitutePatvirtintas el. paštas cs.rpi.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignPatvirtintas el. paštas illinois.edu
Tomonori NagayamaProfessor of Civil Engineering, The University of TokyoPatvirtintas el. paštas bridge.t.u-tokyo.ac.jp
Rajesh KarmaniAskWhaiPatvirtintas el. paštas askwhai.com
Sung-Han SimProfessor of Sungkyunkwan UniversityPatvirtintas el. paštas skku.edu
Nalini VenkatasubramanianProfessor of Computer Science, University of California, IrvinePatvirtintas el. paštas uci.edu
Vijay Anand KorthikantiPrincipal Research Scientist, NvidiaPatvirtintas el. paštas uiuc.edu
Soojin ChoAssociate Professor, University of SeoulPatvirtintas el. paštas uos.ac.kr
Shinae JangUniversity of ConnecticutPatvirtintas el. paštas uconn.edu
Hongki JoAssociate Professor, University of ArizonaPatvirtintas el. paštas email.arizona.edu
Shangping RenProfessor, San Diego Sate UniversityPatvirtintas el. paštas sdsu.edu
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignPatvirtintas el. paštas illinois.edu

Stebėti

Gul Agha

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

Patvirtintas el. paštas illinois.edu - Pagrindinis puslapis

Programming Languages Concurrency Theory Formal Methods Software Engineering Sensor Networks


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Actors: A model of concurrent computation in distributed systems. GA Agha MIT Press, Cambridge, 1985	4778	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	2587	2005
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	710	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	612	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	576	2010
Concurrent object-oriented programming G Agha Communications of the ACM 33 (9), 125-141, 1990	561	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	362	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	330	1999
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	313	2005
Programming dynamically reconfigurable open systems with SALSA C Varela, G Agha ACM SIGPLAN Notices 36 (12), 20-34, 2001	308	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
A survey of statistical model checking G Agha, K Palmskog ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018	281	2018
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	274	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	236	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	231	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	217	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	216	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	211	2006
An overview of actor languages G Agha ACM Sigplan Notices 21 (10), 58-67, 1986	201	1986

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai