Sciweavers

CORR
2009
Springer
99views Education» more  CORR 2009»
13 years 5 months ago
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Federica Ciocchetta, Adam Duguid, Maria Luisa Guer...
CORR
2009
Springer
74views Education» more  CORR 2009»
13 years 5 months ago
A Process Calculus for Molecular Interaction Maps
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
CORR
2009
Springer
106views Education» more  CORR 2009»
13 years 5 months ago
A framework for protein and membrane interactions
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
Giorgio Bacci, Davide Grohmann, Marino Miculan
CORR
2009
Springer
115views Education» more  CORR 2009»
13 years 5 months ago
Bigraphical models for protein and membrane interactions
mework can be used to compare and merge models at different abstraction levels; in particular, higher-level (e.g. mobility) activities can be given a formal biological justificatio...
Giorgio Bacci, Davide Grohmann, Marino Miculan
CORR
2009
Springer
117views Education» more  CORR 2009»
13 years 5 months ago
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban, Stefan Leue, Jan-Georg Smaus
CORR
2009
Springer
88views Education» more  CORR 2009»
13 years 5 months ago
An Inverse Method for Policy-Iteration Based Algorithms
Laurent Fribourg, Étienne André
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 5 months ago
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 5 months ago
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
CORR
2009
Springer
55views Education» more  CORR 2009»
13 years 5 months ago
Security Theorems via Model Theory
Joshua D. Guttman