Sciweavers

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