Sciweavers

4047 search results - page 72 / 810
» Algebraic Model Checking
Sort
View
SC
1992
ACM
15 years 4 months ago
An Algebraic Theory for Modeling Direct Interconnection Networks
S. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Je...
57
Voted
VLDB
2000
ACM
120views Database» more  VLDB 2000»
15 years 4 months ago
The 3W Model and Algebra for Unified Data Mining
Theodore Johnson, Laks V. S. Lakshmanan, Raymond T...
78
Voted
BIOINFORMATICS
2010
85views more  BIOINFORMATICS 2010»
15 years 24 days ago
Polynomial algebra of discrete models in systems biology
Alan Veliz-Cuba, Abdul Salam Jarrah, Reinhard C. L...
51
Voted
CORR
2010
Springer
47views Education» more  CORR 2010»
15 years 24 days ago
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero, Jane H...