Searching for authors named "Hao Chen" – sorted by Relevance.
-
unknown title
- Hao Chen CENPARMI, Concordia University 1455 de Maisonneuve Blvd. West Montreal, Quebec H3G 1M8
- Add To MetaCart
-
Using build-integrated static checking to preserve correctness invariants
- Using Build-Integrated Static Checking to Preserve Correctness Invariants ABSTRACT Hao Chen
- Cited by 3 (1 self) – Add To MetaCart
-
Bringing order to the web: Automatically categorizing search results
- Results Hao Chen School of Information Management & Systems University of California Berkeley, CA 94720
- Cited by 96 (2 self) – Add To MetaCart
-
Delaunay Triangulation for Curved Surfaces
- Delaunay Triangulation for Curved Surfaces Hao Chen and Jonathan Bishop MARC Analysis Research
- Cited by 9 (0 self) – Add To MetaCart
-
MOPS: an Infrastructure for Examining Security Properties of Software
- MOPS : an Infrastructure for Examining Security Properties of Software y Hao Chen University
- Cited by 140 (8 self) – Add To MetaCart
-
FIREMAN: a toolkit for FIREwall Modeling and ANalysis
- FIREMAN: A Toolkit for FIREwall Modeling and ANalysis Lihua Yuan lyuan@(email omitted); Hao Chen
- Cited by 20 (2 self) – Add To MetaCart
-
Simulation of Route Optimization in Mobile IP
- extension to mobile IP includes four messages: binding update, binding warning, Hao Chen and Ljiljana
- Cited by 1 (0 self) – Add To MetaCart
-
Security Testing and Compliance for Online Banking in Real-World
- -World Hao Chen and Jean-Pierre Corriveau Abstract—There is a continuously growing number of customers who
- Add To MetaCart
-
Model Checking One Million Lines of C Code
- Model Checking One Million Lines of C Code # Hao Chen Drew Dean David Wagner UC Berkeley SRI
- Cited by 1 (0 self) – Add To MetaCart
-
SE4SC: A Specific Search Engine for Software Components *
- SE4SC: A Specific Search Engine for Software Components * Hao Chen 1, 2 , Shi Ying 1, 3 , Jin Liu
- Add To MetaCart

