CINECA IRIS Institutional Research Information System

PRIAMI, CORRADO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.409
EU - Europa 3.028
AS - Asia 1.277
AF - Africa 148
OC - Oceania 16
SA - Sud America 13
Continente sconosciuto - Info sul continente non disponibili 3
Totale 15.894
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.944
IT - Italia 853
CN - Cina 723
SE - Svezia 629
BG - Bulgaria 625
CA - Canada 464
VN - Vietnam 261
DE - Germania 238
FR - Francia 177
RU - Federazione Russa 118
UA - Ucraina 108
TR - Turchia 103
GB - Regno Unito 94
SN - Senegal 85
SG - Singapore 77
FI - Finlandia 61
HK - Hong Kong 57
CI - Costa d'Avorio 40
CH - Svizzera 34
IN - India 24
NG - Nigeria 19
AU - Australia 15
BE - Belgio 15
KR - Corea 14
GR - Grecia 12
NL - Olanda 11
AT - Austria 9
PL - Polonia 9
BR - Brasile 6
ES - Italia 6
JP - Giappone 6
PT - Portogallo 5
RO - Romania 5
DK - Danimarca 4
IR - Iran 4
CO - Colombia 3
IE - Irlanda 3
CL - Cile 2
CZ - Repubblica Ceca 2
EE - Estonia 2
EU - Europa 2
MA - Marocco 2
NO - Norvegia 2
ZA - Sudafrica 2
A1 - Anonimo 1
AE - Emirati Arabi Uniti 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
HU - Ungheria 1
IL - Israele 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
TH - Thailandia 1
TW - Taiwan 1
Totale 15.894
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.998
Fairfield 1.599
Houston 1.206
Ann Arbor 852
Ashburn 690
Seattle 650
Sofia 625
Cambridge 525
Wilmington 507
Chandler 449
Ottawa 446
New York 414
Beijing 272
Princeton 267
Lawrence 238
Medford 209
Des Moines 198
Marseille 136
Florence 128
Bremen 124
Jacksonville 112
Nanjing 107
Serra 104
Milan 102
Dakar 85
Dong Ket 85
Dearborn 78
San Diego 76
Izmir 69
Hong Kong 55
Nanchang 54
Redwood City 41
Abidjan 40
Changsha 40
Shenyang 32
Bern 30
Hebei 30
Kunming 29
Norwalk 26
Düsseldorf 25
Jiaxing 25
Jüchen 23
Kocaeli 22
Boulder 20
Hefei 20
Trento 20
San Francisco 19
Lagos 18
Los Angeles 18
Phoenix 17
Tianjin 16
Guangzhou 14
Brussels 13
Grafing 13
Jinan 13
London 12
Albissola Marina 11
Indiana 11
Rome 11
Boardman 9
Chicago 9
Torino 9
Vienna 9
Auburn Hills 8
Frankfurt am Main 8
Helsinki 8
Massa 8
Toronto 8
Bangalore 7
Bologna 7
Haikou 7
Hangzhou 7
Melbourne 7
New Bedfont 7
Ogden 7
Pietrasanta 7
Pisa 7
Verona 7
Warsaw 7
Zhengzhou 7
Frosinone 6
Paris 6
Washington 6
Amsterdam 5
Pune 5
San Jose 5
Taizhou 5
Xian 5
Agawam 4
Ankara 4
Bari 4
Carrara 4
Castiglione Chiavarese 4
Chengdu 4
Croydon 4
Dallas 4
Enterprise 4
Falls Church 4
Horia 4
Istanbul 4
Totale 13.320
Salva come PNG Salva come JPEG
Nome #
Integrated quantitative systems pharmacology (QSP) model of lysosomal diseases provides an innovative computational platform to support research and therapeutic development for the sphingolipidoses 196
Complexity as a basis for comparing semantic models of concurrency 160
A stochastic semantics for BioAmbients 149
Comparison of syntactic error handling in LR parsers 147
True Concurrency via Abstract Interpretation 144
Enhanced operational semantics 143
Analysis of Facile programs: A case study. 142
A transitional semantics of full Prolog 136
Causality for debugging mobile agents 136
On Evaluating the Performance of Security Protocols 132
Formal Executable Descriptions of Biological Systems 130
Performance Evaluation for Global Computation 129
LR techniques for handling syntax errors 128
Simulation algorithms for computational systems biology 127
An efficient verifier of truly concurrent properties 123
Causality and replication in concurrent processes 120
Causality for mobile processes 120
Constructing specific SOS semantics for concurrency via abstract interpretation 118
Authentication via Localized Names 117
Mobile Processes with a distributed Environment 116
Understanding mobile agents via a non-interleaving semantics for Facile. 116
Enhanced Operational Semantics in Systems Biology 115
Authentication Primitives for Secure Protocol Specifications 112
A network analysis of cofactor-protein interactions for analyzing associations between human nutrition and diseases 110
Checking Security Policies through an Enhanced Control Flow Analysis 108
Authentication Primitives for Protocol Specifications 108
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 107
Semantic-driven Performance Evaluation 106
Diversity of key players in the microbial ecosystems of the human body 105
Primitives for Authentication in Process Algebras 104
Proved trees 103
Generating the analythic component parts of syntax-directed editors 102
Performance Evaluation of Mobile Processes via Abstract Machines 102
Non interleaving semantics of mobile processes 101
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 97
An Enhanced CFA for Security Policies 96
A Quantitative Study of Two Attacks 96
Beta-binders for biological quantitative experiments 96
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 96
analysis of biological systems 95
null 94
Causal pi-calculus for Biochemical Modelling 92
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 91
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 90
The Decidability of the Structural Congruence for Beta-binders 90
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease 89
A rule-based and imperative language for biochemical modeling and simulation 89
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 89
A reverse metabolic approach to weaning: in silico identification of immune-beneficial infant gut bacteria, mining their metabolism for prebiotic feeds and sourcing these feeds in the natural product space 88
An imperative language of self-modifying graphs for biological systems 88
Modelling Biochemical Pathways through Enhanced pi-calculus 87
Mobile processes with local clocks 86
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 86
Reflecting Mobile Ambients into the pi-calculus 85
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 85
Algorithmic systems biology 85
Redi: a simulator of stochastic biochemical reaction-diffusion systems 85
Novel drug target identification for the treatment of dementia using multi-relational association mining 83
Mechanistic interplay between ceramide and insulin resistance 83
Application of a stochastic name-passing calculus to representation and simulation of molecular processes 82
Process algebra-based computational tools in ecological modelling 82
Systems view of adipogenesis via novel omics-driven and tissue-specific activity scoring of network functional modules 81
Clinical & Vitamin Response to a Short-Term Multi-Micronutrient Intervention in Brazilian Children & Teens: From Population Data to Inter-Individual Responses 81
Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems 81
A public dataset of 24-H multi-levels psycho-physiological responses in young healthy adults 81
Authentication Primitives for Refining Protocol Specifications 80
Process Calculi Abstractions for Biology 80
Algorithmic Systems Biology: Computer Science propels Systems Biology 80
A computationally driven analysis of the polyphenol-protein interactome 80
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 79
Performance analysis of a UML micro business case study 79
Identification of an early transcriptomic signature of insulin resistance and related diseases in lymphomonocytes of healthy subjects 79
BlenX Static and Dynamic Semantics 79
On the Decidability and Complexity of the Structural Congruence for Beta-binders 79
Regulatory Crosstalk of Doxorubicin, Estradiol and TNFα Combined Treatment in Breast Cancer-derived Cell Lines 79
Graphical modeling meets systems pharmacology 78
A closed-loop multi-level model of glucose homeostasis 78
Performance Evaluation of Security Protocols Specified in LySa 78
Model Checking Biological Systems Described Using Ambient Calculus 78
Evolving BlenX programs to simulate the evolution of biological networks 77
Biological Transactions for Quantitative Models 77
Communicating by Compatibility 77
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data 77
Modelling self-assembly in BlenX 76
Genetic associations with micronutrient levels identified in immune and gastrointestinal networks 76
A logical approach to security in the context of ambient calculus 76
A network-based approach to identify deregulated pathways and drug effects in metabolic syndrome 76
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 76
Biological network inference for drug discovery 75
Modeling Static Biological Compartments with Beta-binders 74
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer 74
On the Computational Power of BlenX 74
The role of breast-feeding in infant immune system: a systems perspective on the intestinal microbiome 74
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 74
The 5-formyltetrahydrofolate futile cycle reduces pathway stochasticity in an extended hybrid-stochastic model of folate-mediated one-carbon metabolism 74
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 73
Cell cycle control in Eukaryotes: a BioSpi model 73
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 73
Exploiting non-Markovian Bio-Processes 72
Network analysis in systems nutrition 72
Totale 9.617
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.638
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 42.638
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.095 0 0 0 0 0 0 0 0 0 0 593 502
2019/20203.596 473 293 142 261 379 422 415 313 370 247 211 70
2020/20211.545 127 93 109 69 106 104 43 112 186 159 93 344
2021/20222.508 64 180 112 148 448 361 58 146 84 38 114 755
2022/20232.011 289 144 88 214 195 235 20 114 462 19 209 22
2023/20241.089 74 85 189 29 179 402 44 35 16 35 1 0
Totale 16.167