← Leaderboards
Quoc-Nam Tran
Lamar University
$319,248
Attributed
$433,070
Total exposure
6
Grants
6
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $220.6K · FY2009–14$250K$187.5K$125K$62.5K$0
'09
'10
'11
'12
'13
'14
Funding mix
By agency
NSF$433,070 · 6
By mechanism
—$433,070 · 6
Top collaborators
- Stanly L Steinberg1 shared
- Valentin Andreev1 shared
Grant awards (6)
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking$59,119
· FY2014 · CSE · contact PI
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking$60,420
· FY2013 · CSE · contact PI
Computer Algebra Research Student Support for the 17th International Conference on Applications of Computer Algebra (ACA 2011)$7,000
· FY2011 · CSE · contact PI
AF: Small: Collaborative Research: Efficient Groebner Basis Computation in Boolean Rings for Temporal Logic Reasoning and Model Checking$220,645
· FY2009 · CSE · contact PI
International Conference on Applications of Symbolic Computation (ACA-2004); July 21-23, 2004; Beaumont, TX$10,000
· FY2004 · CSE · contact PI
SGER: Efficient Groebner Basis Computation for Finding Implicit Representations of Geometric Objects$75,886
· FY2003 · CSE · contact PI