Jimin Gao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2007
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FASE | Flexible and Extensible Notations for Modeling Languages. | Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |
| 2006 | COMPSAC | On the Distribution of Property Violations in Formal Models: An Initial Study. | Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies |
| 2003 | SEW | On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. | David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao |