Concepedia

Jimin Gao

JG

Statistics

Publications

4

Citations

267

H-Index

4

Active since

2004

Affiliations

University of Minnesota(Current)

Twin Cities Orthopedics

Jimin Gao is an author at University of Minnesota specializing in computing, computer science, and syntax.

Publications per year

2004–2009

4

Publications

4

Silver: An extensible attribute grammar system

Eric Van Wyk, Derek Bodin, Jimin Gao et al. · Science of Computer Programming · 2009 · 164 citations

, , +12

Silver: an Extensible Attribute Grammar System

Eric Van Wyk, Derek Bodin, Jimin Gao et al. · Electronic Notes in Theoretical Computer Science · 2008 · 59 citations · Full text

, , +12

Auto-generating test sequences using model checkers: A case study

Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser et al. · 2004 · 29 citations

, , +10

On the advantages of approximate vs. complete verification: bigger models, faster, less memory, usually accurate

David R. Owen, Tim Menzies, Mats P. E. Heimdahl et al. · 2004 · 15 citations

, , +11

1–4 of 4