Sciweavers

73

CORR
2009
Springer

106views Education» more CORR 2009»

A framework for protein and membrane interactions

14 years 11 months ago

A framework for protein and membrane interactions

Download users.dimi.uniud.it

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

claim paper

Read More »

103

Voted

CORR
2009
Springer

115views Education» more CORR 2009»

Bigraphical models for protein and membrane interactions

14 years 11 months ago

Bigraphical models for protein and membrane interactions

Download users.dimi.uniud.it

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

claim paper

Read More »

77

CORR
2009
Springer

117views Education» more CORR 2009»

Automated Predicate Abstraction for Real-Time Models

14 years 11 months ago

Automated Predicate Abstraction for Real-Time Models

Download www.informatik.uni-freiburg.de

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

claim paper

Read More »

63

CORR
2009
Springer

88views Education» more CORR 2009»

An Inverse Method for Policy-Iteration Based Algorithms

14 years 11 months ago

An Inverse Method for Policy-Iteration Based Algorithms

Download www.lsv.ens-cachan.fr

Laurent Fribourg, Étienne André

claim paper

Read More »

67

CORR
2009
Springer

68views Education» more CORR 2009»

How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model

14 years 11 months ago

How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model

Download cogprints.org

Stefan Leijnen, Liane Gabora

claim paper

Read More »

63

CORR
2009
Springer

63views Education» more CORR 2009»

An Intuitive Automated Modelling Interface for Systems Biology

14 years 11 months ago

An Intuitive Automated Modelling Interface for Systems Biology

Download lucacardelli.name

Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...

claim paper

Read More »

61

CORR
2009
Springer

63views Education» more CORR 2009»

A Type System for Required/Excluded Elements in CLS

14 years 11 months ago

A Type System for Required/Excluded Elements in CLS

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, An...

claim paper

Read More »

66

CORR
2009
Springer

55views Education» more CORR 2009»

Security Theorems via Model Theory

14 years 11 months ago

Security Theorems via Model Theory

Download web.cs.wpi.edu

Joshua D. Guttman

claim paper

Read More »

55

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

14 years 11 months ago

Modal Logic and the Approximation Induction Principle

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

64

CORR
2009
Springer

79views Education» more CORR 2009»

Characteristic Formulae for Fixed-Point Semantics: A General Framework

14 years 11 months ago

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Download www.ru.is

Luca Aceto, Anna Ingólfsdóttir, Josh...

claim paper

Read More »