- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Yicheng Zhang, Tianmiao Wang, Jianhong Liang, Chaolei Wang, Yang Chen, Yi Zhou, Yubao Luan, Han Gao: An implement of RPV control system for small unmanned helicopters. ROBIO 2012: 1141-1145 |
| 2011 | ||
| j3 | | Han Gao, Flemming Nielson, Hanne Riis Nielson: CaPiTo: protocol stacks for services. Formal Asp. Comput. 23(4): 541-565 (2011) |
| p1 | | Han Gao, Flemming Nielson, Hanne Riis Nielson: Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389 |
| 2010 | ||
| j2 | | Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao: Detecting and preventing type flaws at static time. Journal of Computer Security 18(2): 229-264 (2010) |
| c9 | | Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1 |
| c8 | | Han Gao, Jing-wen Li, Wei Yang: Investigation on moving target detection and velocity estimation with Triple-Channel MIMO-SAR. IGARSS 2010: 4636-4639 |
| 2008 | ||
| c7 | | Han Gao, Chiara Bodei, Pierpaolo Degano: A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. AMAST 2008: 167-183 |
| 2007 | ||
| j1 | | Chiara Bodei, Pierpaolo Degano, Han Gao, Linda Brodo: Detecting and Preventing Type flaws: a Control Flow Analysis with Tags. Electr. Notes Theor. Comput. Sci. 194(1): 3-22 (2007) |
| c6 | | Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson: A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165 |
| 2006 | ||
| c5 | | Han Gao, Hanne Riis Nielson: Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43 |
| c4 | | Han Gao, Michael E. Papka, Rick L. Stevens: Extending Multicast Communications by Hybrid Overlay Network. ICC 2006: 820-828 |
| 2005 | ||
| c3 | | Han Gao, Ivan R. Judson, Thomas D. Uram, S. Lefvert, Terry Disz, Michael E. Papka, Rick L. Stevens: An Infrastructure of Network Services for Seamless Integration in Advanced Collaborative Computing Environments. CLUSTER 2005: 1-10 |
| c2 | | Han Gao, Michael E. Papka, Rick L. Stevens: Performance Metrics of IP Multicast Sessions. ISM 2005: 183-192 |
| 2004 | ||
| c1 | | Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Disz, Michael E. Papka, Rick L. Stevens: Capability matching of data streams with network services. CCGRID 2004: 419-425 |
Colors in the list of coauthors
Last update Sat May 25 20:28:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page