CINECA IRIS Institutional Research Information System

PRIAMI, CORRADO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 15.351
AS - Asia 7.533
EU - Europa 3.972
SA - Sud America 1.638
AF - Africa 290
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 4
Totale 28.805
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.791
SG - Singapore 2.171
CN - Cina 1.752
HK - Hong Kong 1.732
BR - Brasile 1.329
IT - Italia 1.018
VN - Vietnam 861
SE - Svezia 637
BG - Bulgaria 629
CA - Canada 489
FR - Francia 422
RU - Federazione Russa 354
DE - Germania 310
TR - Turchia 287
GB - Regno Unito 158
JP - Giappone 156
UA - Ucraina 131
AR - Argentina 122
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
CO - Colombia 40
CH - Svizzera 39
SA - Arabia Saudita 30
MX - Messico 29
UZ - Uzbekistan 25
PK - Pakistan 24
VE - Venezuela 24
PY - Paraguay 23
PH - Filippine 22
PE - Perù 20
ES - Italia 19
NG - Nigeria 19
NL - Olanda 19
BE - Belgio 18
CL - Cile 18
MA - Marocco 17
PL - Polonia 17
TN - Tunisia 17
AU - Australia 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
DK - Danimarca 6
HN - Honduras 6
IR - Iran 6
MY - Malesia 6
TW - Taiwan 6
AL - Albania 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
BB - Barbados 3
CG - Congo 3
KG - Kirghizistan 3
ML - Mali 3
NI - Nicaragua 3
OM - Oman 3
TT - Trinidad e Tobago 3
BA - Bosnia-Erzegovina 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
NO - Norvegia 2
PS - Palestinian Territory 2
QA - Qatar 2
RS - Serbia 2
Totale 28.779
Salva come PNG Salva come JPEG
Città #
Woodbridge 1.998
Hong Kong 1.722
Fairfield 1.599
Ashburn 1.423
Houston 1.213
Singapore 1.068
Ann Arbor 852
Santa Clara 656
Seattle 654
San Jose 632
Sofia 628
Dallas 540
Cambridge 525
Wilmington 512
Chandler 449
Ottawa 449
Shanghai 446
New York 442
Beijing 380
Boardman 278
Princeton 267
Lawrence 238
Ho Chi Minh City 220
Lauterbourg 212
Medford 209
Des Moines 200
Istanbul 163
Tokyo 148
Florence 145
Marseille 137
Milan 137
Hanoi 134
Hefei 130
Bremen 125
Los Angeles 119
Jacksonville 112
Nanjing 109
Redondo Beach 108
Serra 108
Seoul 99
Buffalo 97
São Paulo 96
Dakar 88
Dong Ket 85
Dearborn 78
San Diego 76
Izmir 70
Nanchang 54
Council Bluffs 52
Rio de Janeiro 50
Changsha 43
Abidjan 41
Redwood City 41
Munich 38
Helsinki 37
London 33
Shenyang 33
Pisa 32
Bern 31
Da Nang 30
Hebei 30
The Dalles 30
Johannesburg 29
Kunming 29
Düsseldorf 28
Rome 27
Belo Horizonte 26
Norwalk 26
San Francisco 26
Chicago 25
Jiaxing 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
Guangzhou 19
Haiphong 18
Lagos 18
Porto Alegre 18
Buenos Aires 17
Dhaka 17
Guarulhos 17
Lima 17
Tianjin 17
Bologna 16
Brussels 16
Orem 16
Quito 16
Toronto 16
Columbus 15
Jinan 14
Warsaw 14
Atlanta 13
Grafing 13
Totale 21.517
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 243
Complexity as a basis for comparing semantic models of concurrency 222
A stochastic semantics for BioAmbients 219
Comparison of syntactic error handling in LR parsers 218
True Concurrency via Abstract Interpretation 215
Enhanced operational semantics 210
Analysis of Facile programs: A case study. 209
Causality for mobile processes 208
A public dataset of 24-H multi-levels psycho-physiological responses in young healthy adults 208
A transitional semantics of full Prolog 207
An efficient verifier of truly concurrent properties 206
LR techniques for handling syntax errors 198
Simulation algorithms for computational systems biology 195
Formal Executable Descriptions of Biological Systems 192
Authentication Primitives for Secure Protocol Specifications 192
Constructing specific SOS semantics for concurrency via abstract interpretation 192
Performance Evaluation for Global Computation 187
Clinical & Vitamin Response to a Short-Term Multi-Micronutrient Intervention in Brazilian Children & Teens: From Population Data to Inter-Individual Responses 183
Understanding mobile agents via a non-interleaving semantics for Facile. 180
Causality for debugging mobile agents 179
Causality and replication in concurrent processes 178
Proved trees 172
Authentication via Localized Names 172
Generating the analythic component parts of syntax-directed editors 171
On Evaluating the Performance of Security Protocols 170
Mobile Processes with a distributed Environment 169
Enhanced Operational Semantics in Systems Biology 164
KEEP A WATCHFUL EYE ON CYRCADIAN RHYTHM AND BRAIN WELLNESS 163
A network analysis of cofactor-protein interactions for analyzing associations between human nutrition and diseases 163
Non interleaving semantics of mobile processes 162
Systems view of adipogenesis via novel omics-driven and tissue-specific activity scoring of network functional modules 162
Process algebra-based computational tools in ecological modelling 162
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 161
Beta-binders for biological quantitative experiments 161
Checking Security Policies through an Enhanced Control Flow Analysis 160
Authentication Primitives for Protocol Specifications 156
Performance Evaluation of Mobile Processes via Abstract Machines 155
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 155
Primitives for Authentication in Process Algebras 154
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 149
Semantic-driven Performance Evaluation 148
Classification of Neisseria meningitidis genomes with a bag-of-words approach and machine learning 146
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
An imperative language of self-modifying graphs for biological systems 144
Algorithmic systems biology 144
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 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
Causal pi-calculus for Biochemical Modelling 142
Evolving BlenX programs to simulate the evolution of biological networks 142
Modelling Biochemical Pathways through Enhanced pi-calculus 141
Identification of an early transcriptomic signature of insulin resistance and related diseases in lymphomonocytes of healthy subjects 140
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 139
A Bounded-Optimistic, Parallel Beta-Binders Simulator 139
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 138
analysis of biological systems 138
A Quantitative Study of Two Attacks 138
The 5-formyltetrahydrofolate futile cycle reduces pathway stochasticity in an extended hybrid-stochastic model of folate-mediated one-carbon metabolism 138
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks 137
Graphical modeling meets systems pharmacology 137
Model Checking Biological Systems Described Using Ambient Calculus 137
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 136
Process Calculi Abstractions for Biology 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
Mobile processes with local clocks 136
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 136
Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems 135
An Enhanced CFA for Security Policies 134
BlenX Static and Dynamic Semantics 134
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 133
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 133
A closed-loop multi-level model of glucose homeostasis 132
The Decidability of the Structural Congruence for Beta-binders 131
Programming Biology in BlenX 130
Modelling the dynamics of biosystems 129
A computationally driven analysis of the polyphenol-protein interactome 129
Modelling self-assembly in BlenX 128
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient 128
Performance Evaluation of Security Protocols Specified in LySa 128
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 127
The Beta Workbench: a computational tool to study the dynamics of biological systems 127
Application of a stochastic name-passing calculus to representation and simulation of molecular processes 127
Mechanistic interplay between ceramide and insulin resistance 127
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks 126
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 125
Cell cycle control in Eukaryotes: a BioSpi model 125
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 124
Operational Patterns in Beta-binders 124
Context-dependent prediction of protein complexes by SiComPre 123
Calibration of dynamic models of biological systems with KInfer 122
Novel drug target identification for the treatment of dementia using multi-relational association mining 122
Biological Transactions for Quantitative Models 122
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness 122
Network Inference from Time-Dependent Omics Data 121
Redi: a simulator of stochastic biochemical reaction-diffusion systems 120
Performance analysis of a UML micro business case study 119
Algorithmic Systems Biology: Computer Science propels Systems Biology 119
Totale 15.332
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.114
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 85.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.960 357 906 1.003 1.078 471 662 698 359 519 546 257 104
2026/202725 25 0 0 0 0 0 0 0 0 0 0 0
Totale 29.106