CINECA IRIS Institutional Research Information System

PRIAMI, CORRADO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.114
AS - Asia 7.531
EU - Europa 3.941
SA - Sud America 1.630
AF - Africa 290
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 4
Totale 28.527
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.560
SG - Singapore 2.170
CN - Cina 1.752
HK - Hong Kong 1.731
BR - Brasile 1.324
IT - Italia 993
VN - Vietnam 861
SE - Svezia 637
BG - Bulgaria 629
CA - Canada 487
FR - Francia 421
RU - Federazione Russa 354
DE - Germania 310
TR - Turchia 287
GB - Regno Unito 157
JP - Giappone 156
UA - Ucraina 131
AR - Argentina 121
KR - Corea 113
FI - Finlandia 105
IN - India 93
SN - Senegal 88
BD - Bangladesh 64
ZA - Sudafrica 58
IQ - Iraq 53
ID - Indonesia 50
EC - Ecuador 43
CI - Costa d'Avorio 41
CH - Svizzera 39
CO - Colombia 39
SA - Arabia Saudita 30
MX - Messico 29
UZ - Uzbekistan 25
PK - Pakistan 24
VE - Venezuela 24
PY - Paraguay 23
PH - Filippine 22
NG - Nigeria 19
PE - Perù 19
BE - Belgio 18
CL - Cile 18
ES - Italia 18
NL - Olanda 18
MA - Marocco 17
TN - Tunisia 17
AU - Australia 16
PL - Polonia 16
AT - Austria 15
UY - Uruguay 15
EG - Egitto 13
GR - Grecia 13
KE - Kenya 12
LT - Lituania 12
DO - Repubblica Dominicana 9
IL - Israele 9
AE - Emirati Arabi Uniti 8
IE - Irlanda 8
JO - Giordania 8
NP - Nepal 8
KZ - Kazakistan 7
PT - Portogallo 7
RO - Romania 7
AZ - Azerbaigian 6
IR - Iran 6
MY - Malesia 6
TW - Taiwan 6
AL - Albania 5
DK - Danimarca 5
HN - Honduras 5
JM - Giamaica 5
MD - Moldavia 5
TH - Thailandia 5
BH - Bahrain 4
BJ - Benin 4
BO - Bolivia 4
CR - Costa Rica 4
DZ - Algeria 4
ET - Etiopia 4
KW - Kuwait 4
PA - Panama 4
CG - Congo 3
KG - Kirghizistan 3
ML - Mali 3
OM - Oman 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BY - Bielorussia 2
CZ - Repubblica Ceca 2
EE - Estonia 2
EU - Europa 2
GE - Georgia 2
LB - Libano 2
LK - Sri Lanka 2
MT - Malta 2
NI - Nicaragua 2
NO - Norvegia 2
PS - Palestinian Territory 2
QA - Qatar 2
RS - Serbia 2
Totale 28.502
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.998
Hong Kong 1.721
Fairfield 1.599
Ashburn 1.396
Houston 1.212
Singapore 1.067
Ann Arbor 852
Seattle 654
Santa Clara 653
Sofia 628
San Jose 590
Dallas 537
Cambridge 525
Wilmington 512
Chandler 449
Ottawa 449
Shanghai 446
New York 438
Beijing 380
Boardman 278
Princeton 267
Lawrence 238
Ho Chi Minh City 220
Lauterbourg 212
Medford 209
Des Moines 199
Istanbul 163
Tokyo 148
Florence 145
Marseille 137
Hanoi 134
Milan 131
Hefei 130
Bremen 125
Los Angeles 116
Jacksonville 112
Nanjing 109
Redondo Beach 108
Serra 108
Seoul 99
Buffalo 96
São Paulo 96
Dakar 88
Dong Ket 85
Dearborn 78
San Diego 76
Izmir 70
Nanchang 54
Rio de Janeiro 48
Council Bluffs 45
Changsha 43
Abidjan 41
Redwood City 41
Munich 38
Helsinki 37
London 33
Shenyang 33
Bern 31
Pisa 31
Da Nang 30
Hebei 30
The Dalles 30
Johannesburg 29
Kunming 29
Düsseldorf 28
Rome 27
Belo Horizonte 26
Norwalk 26
Jiaxing 25
San Francisco 25
Curitiba 24
Jüchen 23
Frankfurt am Main 22
Kocaeli 22
Phoenix 22
Trento 22
Baghdad 21
Brasília 21
Tashkent 21
Boulder 20
Chicago 20
Guangzhou 19
Haiphong 18
Lagos 18
Porto Alegre 18
Buenos Aires 17
Dhaka 17
Guarulhos 17
Tianjin 17
Brussels 16
Lima 16
Quito 16
Toronto 16
Bologna 15
Columbus 15
Jinan 14
Orem 14
Warsaw 14
Grafing 13
Guayaquil 13
Totale 21.404
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 242
Complexity as a basis for comparing semantic models of concurrency 222
A stochastic semantics for BioAmbients 217
True Concurrency via Abstract Interpretation 215
Comparison of syntactic error handling in LR parsers 214
Enhanced operational semantics 210
Analysis of Facile programs: A case study. 208
A transitional semantics of full Prolog 207
Causality for mobile processes 207
An efficient verifier of truly concurrent properties 204
LR techniques for handling syntax errors 198
Simulation algorithms for computational systems biology 193
Authentication Primitives for Secure Protocol Specifications 190
Formal Executable Descriptions of Biological Systems 189
Constructing specific SOS semantics for concurrency via abstract interpretation 189
Performance Evaluation for Global Computation 187
A public dataset of 24-H multi-levels psycho-physiological responses in young healthy adults 182
Clinical & Vitamin Response to a Short-Term Multi-Micronutrient Intervention in Brazilian Children & Teens: From Population Data to Inter-Individual Responses 181
Causality for debugging mobile agents 179
Understanding mobile agents via a non-interleaving semantics for Facile. 179
Causality and replication in concurrent processes 178
Generating the analythic component parts of syntax-directed editors 170
Proved trees 169
Authentication via Localized Names 169
On Evaluating the Performance of Security Protocols 169
Mobile Processes with a distributed Environment 168
Enhanced Operational Semantics in Systems Biology 164
KEEP A WATCHFUL EYE ON CYRCADIAN RHYTHM AND BRAIN WELLNESS 162
Non interleaving semantics of mobile processes 162
A network analysis of cofactor-protein interactions for analyzing associations between human nutrition and diseases 162
Process algebra-based computational tools in ecological modelling 161
Systems view of adipogenesis via novel omics-driven and tissue-specific activity scoring of network functional modules 160
Checking Security Policies through an Enhanced Control Flow Analysis 159
Beta-binders for biological quantitative experiments 159
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 158
Performance Evaluation of Mobile Processes via Abstract Machines 155
Authentication Primitives for Protocol Specifications 155
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 153
Diversity of key players in the microbial ecosystems of the human body 153
Reflecting Mobile Ambients into the pi-calculus 150
Genetic associations with micronutrient levels identified in immune and gastrointestinal networks 148
Semantic-driven Performance Evaluation 147
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 146
Classification of Neisseria meningitidis genomes with a bag-of-words approach and machine learning 144
An imperative language of self-modifying graphs for biological systems 144
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 144
A rule-based and imperative language for biochemical modeling and simulation 143
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 143
Causal pi-calculus for Biochemical Modelling 142
Primitives for Authentication in Process Algebras 141
Evolving BlenX programs to simulate the evolution of biological networks 141
Algorithmic systems biology 140
Identification of an early transcriptomic signature of insulin resistance and related diseases in lymphomonocytes of healthy subjects 140
Modelling Biochemical Pathways through Enhanced pi-calculus 139
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 139
A Bounded-Optimistic, Parallel Beta-Binders Simulator 139
A Quantitative Study of Two Attacks 138
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 137
analysis of biological systems 137
Graphical modeling meets systems pharmacology 137
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks 136
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease 136
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer 136
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 136
Model Checking Biological Systems Described Using Ambient Calculus 136
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 135
Process Calculi Abstractions for Biology 135
The 5-formyltetrahydrofolate futile cycle reduces pathway stochasticity in an extended hybrid-stochastic model of folate-mediated one-carbon metabolism 135
An Enhanced CFA for Security Policies 134
Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems 134
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 133
BlenX Static and Dynamic Semantics 133
Mobile processes with local clocks 133
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 132
The Decidability of the Structural Congruence for Beta-binders 131
Programming Biology in BlenX 130
A closed-loop multi-level model of glucose homeostasis 130
A computationally driven analysis of the polyphenol-protein interactome 129
Modelling self-assembly in BlenX 128
Application of a stochastic name-passing calculus to representation and simulation of molecular processes 127
Modelling the dynamics of biosystems 127
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient 127
Performance Evaluation of Security Protocols Specified in LySa 126
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks 126
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 125
The Beta Workbench: a computational tool to study the dynamics of biological systems 125
Cell cycle control in Eukaryotes: a BioSpi model 125
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 124
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 124
Operational Patterns in Beta-binders 123
Mechanistic interplay between ceramide and insulin resistance 123
Calibration of dynamic models of biological systems with KInfer 122
Biological Transactions for Quantitative Models 122
Context-dependent prediction of protein complexes by SiComPre 122
Novel drug target identification for the treatment of dementia using multi-relational association mining 121
Network Inference from Time-Dependent Omics Data 120
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness 120
Algorithmic Systems Biology: Computer Science propels Systems Biology 119
A logical approach to security in the context of ambient calculus 119
Redi: a simulator of stochastic biochemical reaction-diffusion systems 119
Totale 15.196
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.330
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 81.330
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021437 0 0 0 0 0 0 0 0 0 0 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/20255.688 18 273 73 269 418 439 561 421 644 905 637 1.030
2025/20266.707 357 906 1.003 1.078 471 662 698 359 519 546 108 0
Totale 28.828