Priami, Corrado
Priami, Corrado
A Model Predicting Rolling Cells Percentage in Inflamed Brain Venules
2013-01-01 Lecca, Paola; G., Constantin; C., Laudanna; Priami, Corrado
Algorithmic Systems Biology
2010-01-01 Priami, Corrado
Beta Binders for Biological Interactions
2005-01-01 Priami, Corrado; Quaglia, Paola
Enhanced operational semantics in systems biology
2003-01-01 P., Degano; Priami, Corrado
Extended transition systems for parametric bisimulation
1993-01-01 P., Inverardi; Priami, Corrado; D., Yankelevich
l: An imperative DSL to stochastically simulate biological systems
2015-01-01 Zunino, Roberto; Nikolić, Đurica; Priami, Corrado; Kahramanogullari, Ozan; Schiavinotto, Tommaso
Mobile processes with local clocks
1997-01-01 P., Degano; J., Loddo; Priami, Corrado
Model Checking Biological Systems Described Using Ambient Calculus
2005-01-01 R., Mardare; Priami, Corrado; Quaglia, Paola; Vagin, Oleksandr
Model Checking Biological Systems Described Using Ambient Calculus
2005-01-01 R., Mardare; Priami, Corrado; Quaglia, Paola; Vagin, Oleksandr
Modelling self-assembly in BlenX
2010-01-01 Larcher, Roberto; Priami, Corrado; Romanel, Alessandro
Network Inference from Time-Dependent Omics Data
2011-01-01 Lecca, Paola; Nguyen, Thien Bao; Priami, Corrado; Quaglia, Paola
Process Calculi Abstractions for Biology
2009-01-01 Guerriero, Maria Luisa; Prandi, Davide; Priami, Corrado; Quaglia, Paola
Process Calculi Abstractions for Biology
2009-01-01 M. L., Guerriero; Prandi, Davide; Priami, Corrado; Quaglia, Paola
Programming Biology in BlenX
2010-01-01 L., Dematté; Larcher, Roberto; Palmisano, Alida; Priami, Corrado; Romanel, Alessandro
The BlenX Language: A Tutorial
2008-01-01 Demattè, Lorenzo; Priami, Corrado; Romanel, Alessandro
Visualization in process algebra models of biological systems
2009-01-01 L., Cardelli; Priami, Corrado