CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.041 0 0 0 0 0 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/20255.688 18 273 73 269 418 439 561 421 644 905 637 1.030
2025/20264.441 357 906 1.003 1.078 471 626 0 0 0 0 0 0
Totale 26.562