| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 9 |       | YoungMin Kwon, Gul Agha: LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329 |
| 8 | | YoungMin Kwon, Gul Agha: Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14 |
| 7 | | YoungMin Kwon, Gul Agha: A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6 |
| 6 | | YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha: ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300 |
| 5 | | YoungMin Kwon, Gul Agha: Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58 |
| 4 | | YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha: Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652 |
| 3 | | YoungMin Kwon, Gul A. Agha: iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246 |
| 2 | | YoungMin Kwon, Gul Agha: Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208 |
| 1 | | Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha: Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333 |
Selection of 9 from 9 records - YoungMin Kwon has 4 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)