skip to main
|
skip to sidebar
Neha Rungta: Little Endian in the Big City
Tuesday, February 15, 2005
Modeling and querying biomolecular interaction networks
This is an interesting paper I found
Click Here
The references of this paper might also be interesting and can lead to some background for us to start with.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Blog Archive
►
2008
(3)
►
July
(1)
►
May
(2)
►
2007
(4)
►
March
(1)
►
February
(3)
►
2006
(37)
►
November
(2)
►
October
(2)
►
September
(1)
►
August
(2)
►
June
(4)
►
May
(3)
►
April
(4)
►
March
(14)
►
February
(5)
▼
2005
(62)
►
December
(4)
►
November
(10)
►
October
(9)
►
September
(6)
►
August
(1)
►
July
(2)
►
June
(5)
►
March
(10)
▼
February
(9)
Interprocedural control flow graph
Constant Propagation through procedures
Static Analysis for Memory Operations
Hybrid Petri Net Representation of Gene Regulatory...
Modeling and querying biomolecular interaction net...
Symbolic model Checking of biological systems
Model Checking Biological Systems
Detecting infeasible paths statically
Control Flow Graph
►
January
(6)
►
2004
(3)
►
December
(3)
Links
My Publications
Women In CS Club
Indian Tabloid
Mike Jones' Non School Blog
Yeh Hai Cricket Meri Jaan
vv-lab
Nerd News
About Me
Neha Rungta
I am doing a PhD (Formal Verification) in Computer Science. I am from India living in Provo Utah.
View my complete profile
No comments:
Post a Comment