Gul Agha

University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Computer Science, Robotics Engineering
"Gul Agha"


Sign in to add trainee
Koushik Sen grad student UIUC (Computer Science Tree)
Svend Frolund grad student 1994 UIUC
Rajendra Panwar grad student 1996 UIUC
Daniel Sturman grad student 1996 UIUC
WooYoung Kim grad student 1997 UIUC
Anna Patterson grad student 1997 UIUC
Shangping Ren grad student 1997 UIUC (Computer Science Tree)
Nalini Venkatasubramanian grad student 1998 UIUC (Computer Science Tree)
Mark Astley grad student 1999 UIUC
Carlos A. Varela grad student 2001 UIUC
Prasannaa Thati grad student 2003 UIUC
Nadeem Jamali grad student 2004 UIUC
Sandeep Uttamchandani grad student 2005 UIUC
Mahmood R. Ziaei grad student 2005 UIUC
Myeong-Wuk Jang grad student 2006 UIUC
Predrag Tosic grad student 2006 UIUC
Abhay Vardhan grad student 2006 UIUC
Po-Hao Chang grad student 2007 UIUC
MyungJoo Ham grad student 2009 UIUC
Sameer Sundresh grad student 2009 UIUC
Liping Chen grad student 2011 UIUC
Vijay A. Korthikanti grad student 2011 UIUC
Kirill A. Mechitov grad student 2011 UIUC
Rajesh Kumar Karmani grad student 2012 UIUC
Parya Moinzadeh grad student 2013 UIUC
Peter Dinges grad student 2014 UIUC
Reza Shiftehfar grad student 2015 UIUC
Minas Charalambides grad student 2017 UIUC
Sihan Li grad student 2019 UIUC
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Agha G, Palmskog K. (2018) A Survey of Statistical Model Checking Acm Transactions On Modeling and Computer Simulation. 28: 1-39
Sirjani M, Khamespanah E, Mechitov K, et al. (2017) A compositional approach for modeling and timing analysis of wireless sensor and actuator networks Acm Sigbed Review. 14: 49-56
Spencer B, Park J, Mechitov K, et al. (2017) Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure Procedia Engineering. 171: 5-13
Khamespanah E, Sirjani M, Mechitov K, et al. (2017) 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
Yoon H, Shiftehfar R, Cho S, et al. (2016) Victim Localization and Assessment System for Emergency Responders Journal of Computing in Civil Engineering. 30
Charalambides M, Dinges P, Agha G. (2016) Parameterized, concurrent session types for asynchronous multi-actor interactions Science of Computer Programming. 115: 100-126
Spencer BF, Jo H, Mechitov KA, et al. (2016) Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure Journal of Civil Structural Health Monitoring. 6: 17-41
Khamespanah E, Mechitov K, Sirjani M, et al. (2016) 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
Ricci A, Agha G, Bordini RH, et al. (2015) Special issue on programming based on actors, agents and decentralized control Science of Computer Programming. 98: 117-119
Mo Y, Zhang Z, Lu Y, et al. (2014) Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System Mathematical Problems in Engineering. 2014
See more...