Gul Agha

Affiliations:

University of Illinois, Urbana-Champaign, Urbana-Champaign, IL

Area:

Computer Science, Robotics Engineering

Google:

"Gul Agha"

Tree Publications Similar researchers PubMed Report error

Parents

Children

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

Collaborators

BETA: Related publications

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