CORRADO PRIAMI
CORRADO PRIAMI
Потвърден имейл адрес: unipi.it
Заглавие
Позовавания
Позовавания
Година
Stochastic π-calculus
C Priami
The Computer Journal 38 (7), 578-589, 1995
6461995
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
C Priami, A Regev, E Shapiro, W Silverman
Information processing letters 80 (1), 25-31, 2001
5622001
Beta binders for biological interactions
C Priami, P Quaglia
International Conference on Computational Methods in Systems Biology, 20-33, 2004
2952004
Algorithmic systems biology
C Priami
Communications of the ACM 52 (5), 80-88, 2009
1522009
Non-interleaving semantics for mobile processes
P Degano, C Priami
Theoretical Computer Science 216 (1-2), 237-270, 1999
1231999
The role of breast-feeding in infant immune system: a systems perspective on the intestinal microbiome
P Praveen, F Jordan, C Priami, MJ Morine
Microbiome 3 (1), 1-12, 2015
1012015
The BlenX Language: A Tutorial
L Dematté, C Priami, A Romanel
International School on Formal Methods for the Design of Computer …, 2008
992008
The Beta Workbench: a computational tool to study the dynamics of biological systems
L Dematté, C Priami, A Romanel
Briefings in Bioinformatics 9 (5), 437-449, 2008
972008
Modelling biochemical pathways through enhanced π-calculus
M Curti, P Degano, C Priami, CT Baldari
Theoretical Computer Science 325 (1), 111-140, 2004
962004
Proved trees
P Degano, C Priami
International Colloquium on Automata, Languages, and Programming, 629-640, 1992
941992
Beta-binders for biological quantitative experiments
P Degano, D Prandi, C Priami, P Quaglia
Electronic Notes in Theoretical Computer Science 164 (3), 101-117, 2006
792006
Stochastic-calculus with general distributions
C Priami
Proc. of the 4th Workshop on Process Algebras and Performance Modelling …, 1996
761996
Multi-omics integration—a comparison of unsupervised clustering methodologies
G Tini, L Marchetti, C Priami, MP Scott-Boyer
Briefings in bioinformatics 20 (4), 1269-1279, 2019
742019
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease
GI Allen, N Amoroso, C Anghel, V Balagurusamy, CJ Bare, D Beaton, ...
Alzheimer's & Dementia 12 (6), 645-653, 2016
722016
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
P Degano, C Priami
ACM Computing Surveys (CSUR) 33 (2), 135-176, 2001
722001
Modelling the dynamics of biosystems
C Priami, P Quaglia
Briefings in Bioinformatics 5 (3), 259-269, 2004
692004
Causality for mobile processes
P Degano, C Priami
International Colloquium on Automata, Languages, and Programming, 660-671, 1995
671995
Cell cycle control in eukaryotes: A BioSpi model
P Lecca, C Priami
Electronic Notes in Theoretical Computer Science 180 (3), 51-63, 2007
662007
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells
F Capuani, A Conte, E Argenzio, L Marchetti, C Priami, S Polo, ...
Nature communications 6 (1), 1-14, 2015
582015
Control flow analysis for bioambients
F Nielson, HR Nielson, C Priami, D Rosa
Electronic Notes in Theoretical Computer Science 180 (3), 65-79, 2007
552007
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20