Year |
Citation |
Score |
2018 |
Agha G, Palmskog K. A Survey of Statistical Model Checking Acm Transactions On Modeling and Computer Simulation. 28: 1-39. DOI: 10.1145/3158668 |
0.363 |
|
2017 |
Sirjani M, Khamespanah E, Mechitov K, Agha G. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks Acm Sigbed Review. 14: 49-56. DOI: 10.1145/3166227.3166237 |
0.771 |
|
2017 |
Spencer B, Park J, Mechitov K, Jo H, Agha G. Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure Procedia Engineering. 171: 5-13. DOI: 10.1016/J.Proeng.2017.01.304 |
0.808 |
|
2017 |
Khamespanah E, Sirjani M, Mechitov K, Agha G. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking International Journal On Software Tools For Technology Transfer. 20: 547-561. DOI: 10.1007/S10009-017-0480-3 |
0.763 |
|
2016 |
Yoon H, Shiftehfar R, Cho S, Spencer BF, Nelson ME, Agha G. Victim Localization and Assessment System for Emergency Responders Journal of Computing in Civil Engineering. 30. DOI: 10.1061/(Asce)Cp.1943-5487.0000483 |
0.466 |
|
2016 |
Charalambides M, Dinges P, Agha G. Parameterized, concurrent session types for asynchronous multi-actor interactions Science of Computer Programming. 115: 100-126. DOI: 10.1016/J.Scico.2015.10.006 |
0.316 |
|
2016 |
Spencer BF, Jo H, Mechitov KA, Li J, Sim SH, Kim RE, Cho S, Linderman LE, Moinzadeh P, Giles RK, Agha G. Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure Journal of Civil Structural Health Monitoring. 6: 17-41. DOI: 10.1007/S13349-015-0111-1 |
0.793 |
|
2016 |
Khamespanah E, Mechitov K, Sirjani M, Agha G. Schedulability analysis of distributed real-time sensor network applications using actor-based model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9641: 165-181. DOI: 10.1007/978-3-319-32582-8_11 |
0.309 |
|
2015 |
Ricci A, Agha G, Bordini RH, Marron A. Special issue on programming based on actors, agents and decentralized control Science of Computer Programming. 98: 117-119. DOI: 10.1016/J.Scico.2014.10.003 |
0.324 |
|
2014 |
Mo Y, Zhang Z, Lu Y, Meng W, Agha G. Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System Mathematical Problems in Engineering. 2014. DOI: 10.1155/2014/850926 |
0.311 |
|
2014 |
Kwon YM, Mechitov K, Agha G. Design and implementation of a mobile actor platform for wireless sensor networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8665: 276-316. |
0.386 |
|
2013 |
Li B, Sun Z, Mechitov K, Hackmann G, Lu C, Dyke SJ, Agha G, Spencer BF. Realistic case studies of wireless structural control Proceedings of the Acm/Ieee 4th International Conference On Cyber-Physical Systems, Iccps 2013. 179-188. DOI: 10.1145/2502524.2502549 |
0.536 |
|
2013 |
Kwon Y, Agha G. Performance evaluation of sensor networks by statistical modeling and euclidean model checking Acm Transactions On Sensor Networks. 9. DOI: 10.1145/2489253.2489256 |
0.383 |
|
2012 |
Gartia MR, Braunschweig B, Chang TW, Moinzadeh P, Minsker BS, Agha G, Wieckowski A, Keefer LL, Liu GL. The microelectronic wireless nitrate sensor network for environmental water monitoring Journal of Environmental Monitoring. 14: 3068-3075. PMID 23138753 DOI: 10.1039/C2Em30380A |
0.714 |
|
2012 |
Moinzadeh P, Mechitov K, Shiftehfar R, Abdelzaher T, Agha G, Spencer BF. The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study Annual Ieee Communications Society Conference On Sensor, Mesh and Ad Hoc Communications and Networks Workshops. 1: 380-388. DOI: 10.1109/SECON.2012.6275801 |
0.762 |
|
2011 |
Kwon Y, Agha G. Verifying the evolution of probability distributions governed by a DTMC Ieee Transactions On Software Engineering. 37: 126-141. DOI: 10.1109/Tse.2010.80 |
0.348 |
|
2011 |
Chadha R, Korthikanti VA, Viswanathan M, Agha G, Kwon Y. Model checking MDPs with a unique compact invariant set of distributions Proceedings of the 2011 8th International Conference On Quantitative Evaluation of Systems, Qest 2011. 121-130. DOI: 10.1109/QEST.2011.22 |
0.764 |
|
2011 |
Korthikanti VA, Agha G, Greenstreet M. On the energy complexity of parallel algorithms Proceedings of the International Conference On Parallel Processing. 562-570. DOI: 10.1109/ICPP.2011.84 |
0.773 |
|
2011 |
Korthikanti VA, Agha G. Energy-performance trade-off analysis of parallel algorithms for shared memory architectures Sustainable Computing: Informatics and Systems. 1: 167-176. DOI: 10.1016/J.Suscom.2011.05.004 |
0.783 |
|
2011 |
Rice JA, Mechitov KA, Sim SH, Spencer BF, Agha GA. Enabling framework for structural health monitoring using smart sensors Structural Control and Health Monitoring. 18: 574-587. DOI: 10.1002/Stc.386 |
0.794 |
|
2010 |
Nagayama T, Moinzadeh P, Mechitov K, Ushita M, Makihata N, Leiri M, Agha G, Spencer BF, Fujino Y, Seo JW. Reliable multi-hop communication for structural health monitoring Smart Structures and Systems. 6: 481-504. DOI: 10.12989/Sss.2010.6.5_6.481 |
0.79 |
|
2010 |
Jang S, Jo H, Cho S, Mechitov K, Rice JA, Sim SH, Jung HJ, Yun CB, Spencer BF, Agha G. Structural health monitoring of a cable-stayed bridge using smart sensor technology: Deployment and evaluation Smart Structures and Systems. 6: 439-459. DOI: 10.12989/Sss.2010.6.5_6.439 |
0.773 |
|
2010 |
Rice JA, Mechitov K, Sim SH, Nagayama T, Jang S, Kim R, Spencer BF, Agha G, Fujino Y. Flexible smart sensor framework for autonomous structural health monitoring Smart Structures and Systems. 6: 423-438. DOI: 10.12989/Sss.2010.6.5_6.423 |
0.808 |
|
2010 |
Korthikanti VA, Agha G. Towards optimizing energy costs of algorithms for shared memory architectures Annual Acm Symposium On Parallelism in Algorithms and Architectures. 157-165. DOI: 10.1145/1810479.1810510 |
0.783 |
|
2010 |
Kwon Y, Mechitov K, Sundresh S, Kim W, Agha G. Resilient localization for sensor networks in outdoor environments Acm Transactions On Sensor Networks. 7. DOI: 10.1145/1806895.1806898 |
0.787 |
|
2010 |
Rice JA, Mechitov KA, Spencer BF, Agha GA. Autonomous smart sensor network for full-scale structural health monitoring Proceedings of Spie - the International Society For Optical Engineering. 7647. DOI: 10.1117/12.847917 |
0.791 |
|
2010 |
Korthikanti VA, Viswanathan M, Agha G, Kwon YM. Reasoning about MDPs as transformers of probability distributions Proceedings - 7th International Conference On the Quantitative Evaluation of Systems, Qest 2010. 199-208. DOI: 10.1109/QEST.2010.35 |
0.768 |
|
2010 |
Korthikanti VA, Agha G. Avoiding energy wastage in parallel applications 2010 International Conference On Green Computing, Green Comp 2010. 149-163. DOI: 10.1109/GREENCOMP.2010.5598314 |
0.785 |
|
2010 |
Jang S, Jo H, Mechitov K, Sim SH, Spencer BF, Agha G, Cho S, Jung HJ, Yun CB, Rice JA. Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference On Bridge Maintenance, Safety and Management. 172-179. |
0.324 |
|
2010 |
Jang S, Jo H, Mechitov K, Sim SH, Spencer BF, Agha G, Cho S, Jung HJ, Yun CB, Rice JA. Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference On Bridge Maintenance, Safety and Management. 172-179. |
0.324 |
|
2009 |
Nagayama T, Spencer BF, Mechitov KA, Agha GA. Middleware services for structural health monitoring using smart sensors Smart Structures and Systems. 5: 119-137. DOI: 10.12989/Sss.2009.5.2.119 |
0.785 |
|
2009 |
Korthikanti VA, Agha G. Analysis of parallel algorithms for energy conservation in scalable multicore architectures Proceedings of the International Conference On Parallel Processing. 212-219. DOI: 10.1109/ICPP.2009.74 |
0.785 |
|
2008 |
Ham M, Agha G. Market-based coordination strategies for physical multi-agent systems Acm Sigbed Review. 5: 1-2. DOI: 10.1145/1366283.1366306 |
0.565 |
|
2008 |
Agha G. Computing in pervasive cyberspace Communications of the Acm. 51: 68-70. DOI: 10.1145/1327452.1327484 |
0.304 |
|
2008 |
Kwon Y, Agha G. Passive localization: Large size sensor network localization based on environmental events Proceedings - 2008 International Conference On Information Processing in Sensor Networks, Ipsn 2008. 3-14. DOI: 10.1109/IPSN.2008.55 |
0.312 |
|
2007 |
Mechitov K, Razavi R, Agha G. Architecture design principles to support adaptive service orchestration in WSN applications Acm Sigbed Review. 4: 37-42. DOI: 10.1145/1317103.1317110 |
0.764 |
|
2006 |
Razavi R, Mechitov K, Sundresh S, Agha G, Perrot JF. Ambiance: Adaptive object model-based platform for macroprogramming sensor networks Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 2006: 663-664. DOI: 10.1145/1176617.1176662 |
0.797 |
|
2006 |
Kwon Y, Sundresh S, Mechitov K, Agha G. ActorNet: An actor platform for wireless sensor networks Proceedings of the International Conference On Autonomous Agents. 2006: 1297-1300. DOI: 10.1145/1160633.1160871 |
0.81 |
|
2006 |
Agha G. Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science (summary) Proceedings - Ieee International Conference On Sensor Networks, Ubiquitous, and Trustworthy Computing. 2006: 2-3. DOI: 10.1109/SUTC.2006.1636152 |
0.318 |
|
2006 |
Sen K, Vardhan A, Agha G, Roşu G. Decentralized runtime analysis of multithreaded applications 20th International Parallel and Distributed Processing Symposium, Ipdps 2006. 2006. DOI: 10.1109/IPDPS.2006.1639591 |
0.675 |
|
2006 |
Jang MW, Agha G. Agent framework services to reduce agent communication overhead in large-scale agent-based simulations Simulation Modelling Practice and Theory. 14: 679-694. DOI: 10.1016/J.Simpat.2005.10.002 |
0.318 |
|
2006 |
Agha G, Meseguer J, Sen K. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Electronic Notes in Theoretical Computer Science. 153: 213-239. DOI: 10.1016/J.Entcs.2005.10.040 |
0.626 |
|
2006 |
Sen K, Roşu G, Agha G. Online efficient predictive safety analysis of multithreaded programs International Journal On Software Tools For Technology Transfer. 8: 248-260. DOI: 10.1007/S10009-005-0192-Y |
0.615 |
|
2005 |
Yin L, Palmer J, Uttamchandani S, Katz R, Agha G. AUTOLOOP: Automated action selection in the "Observe-Analyze-Act" loop for storage systems Proceedings - Sixth Ieee International Workshop On Policies For Distributed Systems and Networks, Policy 2005. 2005: 129-138. DOI: 10.1109/POLICY.2005.9 |
0.69 |
|
2005 |
Devaraj CF, Nagda M, Gupta I, Agha GA. An underlay for sensor networks: Localized protocols for maintenance and usage 2nd Ieee International Conference On Mobile Ad-Hoc and Sensor Systems, Mass 2005. 2005: 502-509. DOI: 10.1109/MAHSS.2005.1542837 |
0.34 |
|
2005 |
Vardhan A, Sen K, Viswanathan M, Agha G. Using language inference to verify omega-regular properties Lecture Notes in Computer Science. 3440: 45-60. |
0.669 |
|
2004 |
Uttamchandani S, Alvarez GA, Agha G. DecisionQoS: An adaptive, self-evolving QoS arbitration module for storage systems Proceedings - Fifth Ieee International Workshop On Policies For Distributed Systems and Networks, Policy 2004. 67-76. DOI: 10.1109/POLICY.2004.1309151 |
0.738 |
|
2004 |
Tosic PT, Agha GA. Towards a hierarchical taxonomy of autonomous agents Conference Proceedings - Ieee International Conference On Systems, Man and Cybernetics. 4: 3421-3426. DOI: 10.1109/ICSMC.2004.1400871 |
0.761 |
|
2004 |
Sundresh S, Kim W, Agha G. SENS: A sensor, environment and network simulator Proceedings of the Ieee Annual Simulation Symposium. 221-228. |
0.807 |
|
2004 |
Tosic P, Agha G. Concurrency vs. sequential interleavings in 1-D threshold cellular automata Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2004 (Abstracts and Cd-Rom). 18: 2539-2546. |
0.76 |
|
2004 |
Sen K, Vardhan A, Agha G, Roşu G. Efficient decentralized monitoring of safety in distributed systems Proceedings - International Conference On Software Engineering. 26: 418-427. |
0.671 |
|
2004 |
Agha G, Thati P. An algebraic theory of actors and its application to a simple object-based language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2635: 26-57. |
0.737 |
|
2004 |
Vardhan A, Sen K, Viswanathan M, Agha G. Actively learning to verify safety for FIFO automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 494-505. |
0.658 |
|
2004 |
Tosic PT, Agha GA. Characterizing configuration spaces of simple threshold cellular automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3305: 861-870. |
0.744 |
|
2004 |
Vardhan A, Sen K, Viswanathan M, Agha G. Learning to verify safety properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308: 274-289. |
0.649 |
|
2004 |
Thati P, Talcott C, Agha G. Techniques for executing and reasoning about specification diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3116: 521-536. |
0.753 |
|
2003 |
Mechitov K, Kwon Y, Sundresh S, Agha G. Poster abstract: Cooperative tracking with binary-detection sensor networks Sensys'03: Proceedings of the First International Conference On Embedded Networked Sensor Systems. 332-333. |
0.793 |
|
2003 |
Vardhan A, Agha G. Using passive object garbage collection algorithms for garbage collection of active objects Acm Sigplan Notices. 38: 213-220. |
0.638 |
|
2002 |
Milojicic D, Agha G, Bernadat P, Chauhan D, Guday S, Jamali N, Lambright D, Travostino F. Case studies in security and resource management for mobile object systems Autonomous Agents and Multi-Agent Systems. 5: 45-79. DOI: 10.1023/A:1013444932711 |
0.652 |
|
2002 |
Thati P, Ziaei R, Agha G. A theory of may testing for asynchronous calculi with locality and no name matching Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 223-239. |
0.749 |
|
2002 |
Thati P, Ziaei R, Agha G. A theory of may testing for actors Ifip Advances in Information and Communication Technology. 81: 147-162. |
0.74 |
|
2001 |
Varela C, Agha G. Programming dynamically reconfigurable open systems with SALSA Sigplan Notices (Acm Special Interest Group On Programming Languages). 36: 20-32. DOI: 10.1145/583960.583964 |
0.654 |
|
2001 |
Venkatasubramanian N, Talcott C, Agha G. A formal model for reasoning about adaptive QoS-enabled middleware Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2021: 197-221. DOI: 10.1145/1005561.1005564 |
0.529 |
|
2001 |
Thati P, Chang PH, Agha G. Crawlets: Agents for high performance web search engines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2240: 119-134. DOI: 10.1007/3-540-45647-3_9 |
0.757 |
|
1999 |
Nielsen B, Agha G. Towards reusable real-time objects Annals of Software Engineering. 7: 257-282. DOI: 10.7146/Brics.V5I44.19489 |
0.316 |
|
1998 |
Ren S, Agha GA. A modular approach for programming embedded systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1494: 146-157. DOI: 10.1007/3-540-65193-4_22 |
0.561 |
|
1998 |
Milojicic D, Agha G, Bernadat P, Chauhan D, Guday S, Jamali N, Lambright D. Case studies in security and resource management for mobile objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1543: 306. |
0.588 |
|
1996 |
Ren S, Agha GA, Saito M. A modular approach to programming distributed real-time systems Journal of Parallel and Distributed Computing. 36: 4-12. DOI: 10.1006/Jpdc.1996.0086 |
0.472 |
|
1995 |
Ren S, Agha GA. RTsynchronizer Acm Sigplan Notices. 30: 50-59. DOI: 10.1145/216633.216656 |
0.429 |
|
1994 |
Panwar R, Agha G. A Methodology for Programming Scalable Architectures Journal of Parallel and Distributed Computing. 22: 479-487. DOI: 10.1006/Jpdc.1994.1105 |
0.357 |
|
1994 |
Callsen CJ, Agha G. Open Heterogeneous Computing in Actorspace Journal of Parallel and Distributed Computing. 21: 289-300. DOI: 10.1006/Jpdc.1994.1060 |
0.34 |
|
1993 |
Agha G, Frlund S, Kim W, Panwar R, Patterson A, Sturman D. Abstraction and Modularity Mechanisms for Concurrent Computing Ieee Parallel and Distributed Technology. 1: 3-14. DOI: 10.1109/88.218170 |
0.361 |
|
1992 |
Venkatasubramanian N, Miriyala S, Agha G. Scalable concurrent computing Sadhana. 17: 193-220. DOI: 10.1007/Bf02811343 |
0.534 |
|
1991 |
Singh V, Kumar V, Agha G, Tomlinson C. Efficient algorithms for parallel sorting on mesh multicomputers International Journal of Parallel Programming. 20: 95-131. DOI: 10.1007/Bf01407839 |
0.323 |
|
1990 |
Agha G. Concurrent object-oriented programming Communications of the Acm. 33: 125-141. DOI: 10.1145/83880.84528 |
0.365 |
|
Show low-probability matches. |