IRIS
Priami, Corrado
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.298
EU - Europa 2.476
AS - Asia 1.953
SA - Sud America 150
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 5
Totale 18.903
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.244
SG - Singapore 1.253
UA - Ucraina 659
SE - Svezia 414
CN - Cina 399
IT - Italia 363
FI - Finlandia 306
GB - Regno Unito 207
RU - Federazione Russa 156
DE - Germania 151
BR - Brasile 130
BG - Bulgaria 111
ID - Indonesia 83
VN - Vietnam 62
JO - Giordania 53
CA - Canada 44
TR - Turchia 28
IN - India 20
NL - Olanda 18
CZ - Repubblica Ceca 15
FR - Francia 15
AT - Austria 10
BE - Belgio 9
HK - Hong Kong 8
LT - Lituania 8
AR - Argentina 7
IE - Irlanda 7
JP - Giappone 7
PK - Pakistan 7
IL - Israele 5
KR - Corea 5
MX - Messico 5
UZ - Uzbekistan 5
BD - Bangladesh 4
CI - Costa d'Avorio 4
ES - Italia 4
EU - Europa 4
PE - Perù 4
AE - Emirati Arabi Uniti 3
AU - Australia 3
CH - Svizzera 3
PL - Polonia 3
RO - Romania 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
CL - Cile 2
CO - Colombia 2
DK - Danimarca 2
EC - Ecuador 2
GR - Grecia 2
HU - Ungheria 2
IQ - Iraq 2
IR - Iran 2
KE - Kenya 2
MU - Mauritius 2
NG - Nigeria 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
SC - Seychelles 2
VE - Venezuela 2
AM - Armenia 1
AZ - Azerbaigian 1
BO - Bolivia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
HN - Honduras 1
KG - Kirghizistan 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
ZA - Sudafrica 1
Totale 18.903
Salva come PNG Salva come JPEG
Città #
Fairfield 1.913
Chandler 1.450
Jacksonville 1.380
Ashburn 1.075
Woodbridge 954
Seattle 855
Singapore 792
Wilmington 736
Cambridge 684
Houston 654
Columbus 533
Santa Clara 514
Ann Arbor 444
San Mateo 410
Princeton 387
Dearborn 185
New York 177
Beijing 145
Moscow 138
Trento 125
Sofia 111
San Diego 95
Lawrence 90
Boardman 89
Helsinki 89
Jakarta 82
Los Angeles 52
London 47
Council Bluffs 45
Dong Ket 35
Falls Church 31
Toronto 31
Düsseldorf 27
Como 25
Norwalk 25
Nanjing 24
San Paolo di Civitate 23
Milan 22
Hefei 21
Falkenstein 20
Izmir 19
Kunming 19
Verona 19
Des Moines 18
Altamura 16
Washington 15
Brno 14
Kilburn 14
Nanchang 14
Phoenix 14
Andover 13
Dallas 13
Costa Mesa 11
Ottawa 11
Bremen 10
Munich 10
Amsterdam 8
Brussels 8
Jinan 8
Belo Horizonte 7
Dublin 7
Frankfurt am Main 7
Fremont 7
Guangzhou 7
Hong Kong 7
Staten Island 7
São Paulo 7
Chiswick 6
Redmond 6
Vienna 6
Wandsworth 6
Buffalo 5
Laurel 5
Shanghai 5
Abidjan 4
Acton 4
Arco 4
Comabbio 4
Dottingen 4
Fuzhou 4
Hounslow 4
Hyderabad 4
Istanbul 4
Kozhikode 4
Lima 4
Mexico City 4
Mountain View 4
New Bedfont 4
Rio de Janeiro 4
Tashkent 4
Toenisvorst 4
Tokyo 4
Turin 4
Atlanta 3
Bassano del Grappa 3
Bolzano 3
Chengdu 3
Clearwater 3
Clifton 3
Dhaka 3
Totale 14.981
Salva come PNG Salva come JPEG
Nome #
Simulation of biochemical reactions with time-dependent rates by the rejection-based algorithm 206
Network Inference from Time-Dependent Omics Data 169
Combined use of protein biomarkers and network analysis unveils deregulated regulatory circuits in Duchenne muscular dystrophy 166
On the rejection-based algorithm for simulation and analysis of large-scale reaction networks 146
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations 144
A logical approach to security in the context of ambient calculus 140
Communicating by compatibility 140
A Model Predicting Rolling Cells Percentage in Inflamed Brain Venules 139
A network-based approach to identify deregulated pathways and drug effects in metabolic syndrome 139
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins. 132
Novel drug target identification for the treatment of dementia using multi-relational association mining 132
Mechanistic interplay between ceramide and insulin resistance 132
Cross-disease analysis of Alzheimer’s disease and type-2 Diabetes highlights the role of autophagy in the pathophysiology of two highly comorbid diseases 132
Modelling the dynamics of biosystems 130
A Novel Insulin/Glucose Model after a Mixed-Meal Test in Patients with Type 1 Diabetes on Insulin Pump Therapy 128
Analysis of biological systems 125
Regulatory Crosstalk of Doxorubicin, Estradiol and TNFα Combined Treatment in Breast Cancer-derived Cell Lines 124
A new probabilistic generative model of parameter inference in biochemical networks 122
An Automatic Translation of SBML into Beta-Binders 119
A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment 118
An Automatic Translation of SBML into Beta-Binders 118
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules 116
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks 116
Modelling self-assembly in BlenX 115
Efficient rejection-based simulation of biochemical reactions with stochastic noise and delays 114
Comparison of Syntactic error handling in LR parsers 113
A Formal Language for Computational Systems Biology 113
Integrated quantitative systems pharmacology (QSP) model of lysosomal diseases provides an innovative computational platform to support research and therapeutic development for the sphingolipidoses 113
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra 112
Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model 112
Quantitative analysis reveals how EGFR activation and downregulation are coupled in normal but not in cancer cells 112
Enhanced operational semantics in systems biology 110
Calibration of dynamic models of biological systems with KInfer 110
Inference of autism-related genes by integrating protein-protein interactions and miRNA-target interactions 109
Process Calculi Abstractions for Biology 108
Biological network inference for drug discovery 108
Process Calculi Abstractions for Biology 107
Automatic verification of distributed concurrent systems: the process algebra approach 107
The Beta Workbench: a computational tool to study the dynamics of biological systems 106
Modelling the dynamics of biosystems 106
A Stochastic Semantics for BioAmbients 106
A rule-based and imperative language for biochemical modeling and simulation 106
Evolving BlenX programs to simulate the evolution of biological networks 105
Exploiting non-Markovian Bio-Processes 105
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways 104
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. 104
null 103
Beta-binders for biological quantitative experiments 102
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 102
Incorporating extrinsic noise into the stochastic simulation of biochemical reactions: A comparison of approaches 102
BlenX Static and Dynamic Semantics 102
Modelling and simulation of biological processes in BlenX 101
Performance analysis of a UML micro business case study 101
A Formal Language for Computational Systems Biology 101
Developing An Hierarchical Simulator for Beta-binders 100
Beta-binders for Biological Quantitative Experiments 100
Network Analysis of Neurodegenerative Disease Highlights a Role of Toll-Like Receptor Signaling 100
Composability: Perspectives in Ecological Modeling 100
Biological Transactions for Quantitative Models 99
An imperative language of self-modifying graphs for biological systems 99
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness 99
Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy 99
Methylation Potential Associated with Diet, Genotype, Protein, and Metabolite Levels in the Delta Obesity Vitamin Study 98
null 98
Developing An Hierarchical Simulator for Beta-binders 98
Algorithmic Systems Biology 97
Names of the π-calculus agents handled locally 97
Mobile processes with local clocks 97
Communicating by Compatibility 97
Performance Evaluation of Security Protocols Specified in LySa 96
Snazer: the simulations and networks analyzer 96
A Bounded-Optimistic, Parallel Beta-Binders Simulator 96
Optimization Algorithms for Computational Systems Biology 96
Complexity as a basis for comparing semantic models of concurrency 95
Programming Biology in BlenX 95
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches 95
null 95
Analysis of facile programs: a case study 94
A Quantitative Study of Two Attacks 94
Shape spaces in formal interactions 94
Shape Spaces in Formal Interactions 94
Accelerating rejection-based simulation of biochemical reactions with bounded acceptance probability 94
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer 94
Crowdsourced estimation of cognitive decline and resilience in Alzheimer's disease 94
BlenX4Bio – BlenX for Biologists 93
Performance evaluation for global computation 92
Generating the analytic component parts of syntax directed editors with efficient error recovery 92
Formal executable descriptions of biological systems 92
A Community Challenge for Inferring Genetic Predictors of Gene Essentialities through Analysis of a Functional Screen of Cancer Cell Lines 92
null 92
Application of a stochastic name-passing calculus to representation and simulation of molecular processes 91
Beta binders for biological interactions 91
Redi: a simulator of stochastic biochemical reaction-diffusion systems 91
Consensus Clustering of temporal profiles for the identification of metabolic markers of pre-diabetes in childhood (EarlyBird 73) 91
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration 91
Causality for mobile processes 90
Understanding mobile agents via a non interleaving semantics for facile 90
Model Checking Biological Systems Described Using Ambient Calculus 90
Beta Binders for Biological Interactions 89
An efficient verifier of truly concurrent properties 88
Totale 10.807
Salva come PNG Salva come JPEG
Categoria #
all - tutte 88.611
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.981
Totale 94.592
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.207 0 0 0 0 0 0 0 0 548 251 141 267
2020/20213.132 114 416 136 362 303 199 384 222 266 167 338 225
2021/20222.348 77 385 37 77 70 112 121 489 98 194 203 485
2022/20232.846 456 305 45 396 356 426 12 211 399 33 156 51
2023/20241.284 84 101 92 60 143 370 104 65 8 66 29 162
2024/20252.959 44 25 197 1.095 355 641 63 239 300 0 0 0
Totale 19.257