CINECA IRIS Institutional Research Information System

PRIAMI, CORRADO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.363
EU - Europa 3.125
AS - Asia 1.817
AF - Africa 151
OC - Oceania 16
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 3
Totale 17.489
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.893
IT - Italia 903
CN - Cina 780
SE - Svezia 629
BG - Bulgaria 625
CA - Canada 469
SG - Singapore 405
VN - Vietnam 261
TR - Turchia 249
DE - Germania 244
FR - Francia 179
RU - Federazione Russa 135
UA - Ucraina 108
GB - Regno Unito 105
SN - Senegal 85
FI - Finlandia 66
HK - Hong Kong 62
CI - Costa d'Avorio 40
CH - Svizzera 34
IN - India 26
NG - Nigeria 19
BE - Belgio 18
AU - Australia 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
LT - Lituania 4
BD - Bangladesh 3
BJ - Benin 3
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
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
HU - Ungheria 1
IL - Israele 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
TH - Thailandia 1
TW - Taiwan 1
Totale 17.489
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.998
Fairfield 1.599
Houston 1.206
Ann Arbor 852
Ashburn 707
Seattle 650
Santa Clara 640
Sofia 625
Cambridge 525
Wilmington 508
Chandler 449
Ottawa 447
New York 414
Beijing 273
Princeton 267
Boardman 258
Lawrence 238
Medford 209
Singapore 200
Des Moines 198
Istanbul 150
Marseille 136
Florence 132
Bremen 124
Jacksonville 112
Nanjing 108
Milan 107
Serra 104
Dakar 85
Dong Ket 85
Dearborn 78
San Diego 76
Izmir 69
Hong Kong 60
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
Trento 22
Hefei 21
Boulder 20
London 19
Pisa 19
San Francisco 19
Lagos 18
Los Angeles 18
Phoenix 17
Brussels 16
Tianjin 16
Guangzhou 15
Frankfurt am Main 13
Grafing 13
Helsinki 13
Jinan 13
Rome 12
Toronto 12
Albissola Marina 11
Indiana 11
Ogden 10
Bologna 9
Chicago 9
Torino 9
Vienna 9
Auburn Hills 8
Dallas 8
Massa 8
Zhengzhou 8
Bangalore 7
Haikou 7
Hangzhou 7
Kent 7
Melbourne 7
New Bedfont 7
Pietrasanta 7
Verona 7
Warsaw 7
Frosinone 6
Fuzhou 6
Paris 6
Shanghai 6
Washington 6
Amsterdam 5
Chengdu 5
Pune 5
San Jose 5
Taizhou 5
Xian 5
Agawam 4
Ankara 4
Bari 4
Carrara 4
Totale 14.641
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 205
Complexity as a basis for comparing semantic models of concurrency 167
A stochastic semantics for BioAmbients 158
Comparison of syntactic error handling in LR parsers 155
True Concurrency via Abstract Interpretation 155
Analysis of Facile programs: A case study. 151
Enhanced operational semantics 150
A transitional semantics of full Prolog 145
Causality for debugging mobile agents 143
On Evaluating the Performance of Security Protocols 141
Formal Executable Descriptions of Biological Systems 140
Performance Evaluation for Global Computation 138
LR techniques for handling syntax errors 136
Simulation algorithms for computational systems biology 136
An efficient verifier of truly concurrent properties 134
Causality and replication in concurrent processes 131
Constructing specific SOS semantics for concurrency via abstract interpretation 129
Causality for mobile processes 129
Authentication via Localized Names 128
Understanding mobile agents via a non-interleaving semantics for Facile. 126
Mobile Processes with a distributed Environment 125
Enhanced Operational Semantics in Systems Biology 123
A network analysis of cofactor-protein interactions for analyzing associations between human nutrition and diseases 120
Authentication Primitives for Secure Protocol Specifications 118
Semantic-driven Performance Evaluation 117
Checking Security Policies through an Enhanced Control Flow Analysis 116
Diversity of key players in the microbial ecosystems of the human body 116
Authentication Primitives for Protocol Specifications 116
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 114
Primitives for Authentication in Process Algebras 113
Proved trees 111
Generating the analythic component parts of syntax-directed editors 110
Performance Evaluation of Mobile Processes via Abstract Machines 110
Non interleaving semantics of mobile processes 109
Beta-binders for biological quantitative experiments 107
An Enhanced CFA for Security Policies 106
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 106
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 105
A Quantitative Study of Two Attacks 105
analysis of biological systems 102
Causal pi-calculus for Biochemical Modelling 100
A public dataset of 24-H multi-levels psycho-physiological responses in young healthy adults 100
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 99
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 98
The Decidability of the Structural Congruence for Beta-binders 98
An imperative language of self-modifying graphs for biological systems 97
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease 97
A rule-based and imperative language for biochemical modeling and simulation 97
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 97
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 96
Mobile processes with local clocks 96
A computationally driven analysis of the polyphenol-protein interactome 95
Modelling Biochemical Pathways through Enhanced pi-calculus 94
null 94
Mechanistic interplay between ceramide and insulin resistance 94
Reflecting Mobile Ambients into the pi-calculus 93
Algorithmic systems biology 93
Redi: a simulator of stochastic biochemical reaction-diffusion systems 93
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 93
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 92
Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems 92
Novel drug target identification for the treatment of dementia using multi-relational association mining 91
Process algebra-based computational tools in ecological modelling 91
Application of a stochastic name-passing calculus to representation and simulation of molecular processes 90
Systems view of adipogenesis via novel omics-driven and tissue-specific activity scoring of network functional modules 90
Process Calculi Abstractions for Biology 90
A network-based approach to identify deregulated pathways and drug effects in metabolic syndrome 90
Genetic associations with micronutrient levels identified in immune and gastrointestinal networks 89
Algorithmic Systems Biology: Computer Science propels Systems Biology 89
Clinical & Vitamin Response to a Short-Term Multi-Micronutrient Intervention in Brazilian Children & Teens: From Population Data to Inter-Individual Responses 89
A closed-loop multi-level model of glucose homeostasis 89
Identification of an early transcriptomic signature of insulin resistance and related diseases in lymphomonocytes of healthy subjects 88
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 87
Modelling self-assembly in BlenX 87
Performance analysis of a UML micro business case study 87
Graphical modeling meets systems pharmacology 87
BlenX Static and Dynamic Semantics 87
On the Decidability and Complexity of the Structural Congruence for Beta-binders 87
Regulatory Crosstalk of Doxorubicin, Estradiol and TNFα Combined Treatment in Breast Cancer-derived Cell Lines 87
Authentication Primitives for Refining Protocol Specifications 86
Model Checking Biological Systems Described Using Ambient Calculus 86
Biological Transactions for Quantitative Models 85
Communicating by Compatibility 85
A logical approach to security in the context of ambient calculus 85
Performance Evaluation of Security Protocols Specified in LySa 85
Evolving BlenX programs to simulate the evolution of biological networks 84
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data 84
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 84
Biological network inference for drug discovery 83
The 5-formyltetrahydrofolate futile cycle reduces pathway stochasticity in an extended hybrid-stochastic model of folate-mediated one-carbon metabolism 83
Modeling Static Biological Compartments with Beta-binders 82
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 82
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 82
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer 82
On the Computational Power of BlenX 82
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 82
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays 82
Cell cycle control in Eukaryotes: a BioSpi model 81
The role of breast-feeding in infant immune system: a systems perspective on the intestinal microbiome 81
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 81
Totale 10.496
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.430
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 52.430
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.048 0 0 0 0 0 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.355 74 85 189 29 179 402 44 35 16 35 40 227
2024/20251.343 18 273 73 269 418 292 0 0 0 0 0 0
Totale 17.776