| 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 | 230 | 2003 |
| Resilient localization for sensor networks in outdoor environments YM Kwon, K Mechitov, S Sundresh, W Kim, G Agha 25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005 | 155 | 2005 |
| ActorNet: An actor platform for wireless sensor networks YM Kwon, S Sundresh, K Mechitov, G Agha Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 125 | 2006 |
| Reasoning about MDPs as transformers of probability distributions VA Korthikanti, M Viswanathan, G Agha, YM Kwon 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010 | 51 | 2010 |
| Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains YM Kwon, G Agha International conference on formal engineering methods, 194-208, 2004 | 42 | 2004 |
| LTLC: Linear temporal logic for control YM Kwon, G Agha International Workshop on Hybrid Systems: Computation and Control, 316-329, 2008 | 41 | 2008 |
| Passive localization: Large size sensor network localization based on environmental events YM Kwon, G Agha 2008 International Conference on Information Processing in Sensor Networks …, 2008 | 40 | 2008 |
| Scalable modeling and performance evaluation of wireless sensor networks YM Kwon, G Agha 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2006 | 24 | 2006 |
| Model checking MDPs with a unique compact invariant set of distributions R Chadha, VA Korthikanti, M Viswanathan, G Agha, YM Kwon 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 23 | 2011 |
| Verifying the evolution of probability distributions governed by a DTMC YM Kwon, G Agha IEEE Transactions on Software Engineering 37 (1), 126-141, 2010 | 19 | 2010 |
| A markov reward model for software reliability YM Kwon, G Agha 2007 IEEE International Parallel and Distributed Processing Symposium, 1-6, 2007 | 19 | 2007 |
| Coordination services for wireless sensor networks S Sundresh, G Agha, K Mechitov, WY Kim, Y Kwon International Workshop on Advanced Sensors, Structural Health Monitoring and …, 2003 | 17 | 2003 |
| Resilient localization for sensor networks in outdoor environments Y Kwon, K Mechitov, S Sundresh, W Kim, G Agha ACM Transactions on Sensor Networks (TOSN) 7 (1), 1-30, 2010 | 16 | 2010 |
| iLTLChecker: a probabilistic model checker for multiple DTMCs YM Kwon, G Agha Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 15 | 2005 |
| Keyword-based vehicle retrieval EJ Park, H Kim, S Jeong, B Kang, YM Kwon Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021 | 12 | 2021 |
| Extension of convolutional neural network with general image processing kernels JH Jung, Y Shin, YM Kwon TENCON 2018-2018 IEEE Region 10 Conference, 1436-1439, 2018 | 12 | 2018 |
| Bounded model checking of hybrid systems for control YM Kwon, E Kim IEEE Transactions on Automatic Control 60 (11), 2961-2976, 2015 | 10 | 2015 |
| Design and implementation of a mobile actor platform for wireless sensor networks YM Kwon, K Mechitov, G Agha Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014 | 10 | 2014 |
| Specification and verification of pharmacokinetic models YM Kwon, E Kim Advances in Computational Biology, 465-472, 2010 | 10 | 2010 |
| Cooperative tracking with binary-detection sensor networks S Chits, S Sundresh, Y Kwon, G Agha Technical Report UIUCDCS-R-2003-2379, Computer Science Dept., University of …, 2003 | 9 | 2003 |
