CRIS Current Research Information System

TROINA, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.660
EU - Europa 2.776
AS - Asia 2.567
SA - Sud America 172
Continente sconosciuto - Info sul continente non disponibili 150
AF - Africa 92
OC - Oceania 2
Totale 9.419
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.624
GB - Regno Unito 1.508
SG - Singapore 739
CN - Cina 733
VN - Vietnam 583
DE - Germania 297
IT - Italia 252
FR - Francia 197
RU - Federazione Russa 157
HK - Hong Kong 154
IN - India 136
BR - Brasile 127
SE - Svezia 104
IE - Irlanda 76
ZA - Sudafrica 73
EE - Estonia 65
TR - Turchia 61
UA - Ucraina 51
BD - Bangladesh 26
JP - Giappone 22
PH - Filippine 22
AR - Argentina 18
CA - Canada 15
KR - Corea 15
NL - Olanda 14
IR - Iran 12
TH - Thailandia 11
IQ - Iraq 10
BE - Belgio 9
CH - Svizzera 9
FI - Finlandia 9
EC - Ecuador 8
MX - Messico 8
HR - Croazia 7
SA - Arabia Saudita 7
ID - Indonesia 6
UZ - Uzbekistan 6
CO - Colombia 5
KE - Kenya 5
PL - Polonia 5
PY - Paraguay 5
DO - Repubblica Dominicana 4
LB - Libano 4
PK - Pakistan 4
PS - Palestinian Territory 4
TW - Taiwan 4
CR - Costa Rica 3
EG - Egitto 3
JM - Giamaica 3
PE - Perù 3
SC - Seychelles 3
AT - Austria 2
AU - Australia 2
BJ - Benin 2
CL - Cile 2
CZ - Repubblica Ceca 2
EU - Europa 2
GR - Grecia 2
MY - Malesia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
ES - Italia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
IL - Israele 1
JO - Giordania 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
MD - Moldavia 1
MT - Malta 1
NG - Nigeria 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
SV - El Salvador 1
TG - Togo 1
TN - Tunisia 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 9.272
Salva come PNG Salva come JPEG
Città #
Southend 1.455
Singapore 485
Fairfield 444
Santa Clara 264
Woodbridge 236
Ashburn 229
San Jose 206
Seattle 205
Houston 173
Wilmington 164
Hong Kong 147
Chandler 145
Cambridge 144
Princeton 132
Hanoi 120
Beijing 116
Ann Arbor 114
Ho Chi Minh City 106
Boardman 105
Council Bluffs 96
Dong Ket 85
Dublin 74
Nanjing 69
Lauterbourg 67
Westminster 66
Padova 65
Istanbul 56
Jinan 55
Berlin 50
Medford 45
Shenyang 40
Los Angeles 39
Changsha 32
Saint Petersburg 30
Hebei 29
Grafing 27
San Diego 27
Guangzhou 25
Tianjin 25
Bologna 23
Redondo Beach 23
Phoenix 21
Buffalo 20
Nanchang 20
New York 20
Tokyo 19
Da Nang 17
Dallas 16
Jiaxing 16
Haiphong 15
Hangzhou 15
São Paulo 15
Taizhou 14
Norwalk 13
Zhengzhou 12
Haikou 11
Ningbo 11
Shanghai 11
Biên Hòa 9
Brussels 9
Falls Church 9
Hefei 9
Atlanta 8
Chicago 8
Milan 8
Palermo 8
Pisa 8
Taiyuan 8
Chengdu 7
Ferrara 7
Frankfurt am Main 7
Fuzhou 7
Hải Dương 7
Nancy 7
Redmond 7
York 7
Helsinki 6
Brooklyn 5
Can Tho 5
Como 5
Dearborn 5
Lanzhou 5
Lausanne 5
Riccione 5
Thái Nguyên 5
Xi'an 5
Baghdad 4
Bangkok 4
Belo Horizonte 4
Brasília 4
Bến Tre 4
Cape Town 4
Charlotte 4
Le Chesnay 4
London 4
Manila 4
Montreal 4
Nairobi 4
Novosibirsk 4
Qingdao 4
Totale 6.551
Salva come PNG Salva come JPEG
Nome #
Towards a Formal Treatment of Secrecy against Computational Adversaries 202
Approximating Imperfect Cryptography in a Formal Model 201
Bisimulation Congruences in the Calculus of Looping Sequences 193
Probabilistic Timed Automata for Security Analysis and Design 179
Automatic Covert Channel Analysis of a Multilevel Secure Component 179
Bisimulations in Calculi Modelling Membranes 177
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways 176
A Probabilistic Applied Pi-Calculus 175
Modelling Ecological Systems with the Calculus of Wrapped Compartments 172
Automatic Analysis of a Non-Repudiation Protocol 169
The Calculus of Looping Sequences for Modeling Biological Membranes 167
Automatic Analysis of the NRL Pump 165
Interactions between Computer Science and Biology 164
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 160
A Classification of Time and/or Probability Dependent Security Properties 159
Design and Verification of Long-Running Transactions in a Timed Framework 158
Modelling biological and ecological systems with the Calculus of Wrapped Compartments 158
Type Disciplines for Analysing Biologically Relevant Properties 154
Timed Automata with Data Structures for Distributed Systems Design and Analysis 153
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 150
Information Flow Analysis for Probabilistic Timed Automata 148
A Calculus of Looping Sequences for Modelling Microbiological Systems 148
A Type System for a Stochastic CLS 147
Weak Bisimulation for Probabilistic Timed Automata 147
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 145
On designing multicore-aware simulators for biological systems 145
A Calculus of Looping Sequences for Modelling Microbiological Systems 144
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 141
Reachability results for timed automata with unbounded data structures 139
Modelling an Ammonium Transporter with SCLS 138
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 138
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 138
Stochastic Calculus of Wrapped Compartments 137
Parametric Probabilistic Transition Systems for System Design and Analysis 137
Stochastic Bigraphs 136
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 136
CWC Surface Language Software (Prototypal Software) 134
Simulation and Bisimulation for Probabilistic Timed Automata 134
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 133
Time and Probability-Based Information Flow Analysis 132
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 130
Modelling Ecological Systems with the Calculus of Wrapped Compartments 129
Simulation techniques for the calculus of wrapped compartments 129
Typed stochastic semantics for the calculus of looping sequences 127
Hybrid Calculus of Wrapped Compartments 124
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 124
A Probabilistic Calculus for Molecular Systems 123
Type Directed Semantics for the Calculus of Looping Sequences 121
Types for BioAmbients 121
A Spatial Calculus of Wrapped Compartments 120
CWC simulator (Calculus of Wrapped Compartments) 119
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 119
Ecological Modelling with the Calculus of Wrapped Compartments 117
Verification of Hybrid Automata by Synthesis and Refinement 117
A Formalism for the Description of Protein Interaction 116
Concurrency and Interaction in Complex Systems 114
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology 106
CWC parallel simulator with on-line statistics 105
A Probabilistic Model for Molecular Systems 104
null 98
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) 98
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments 95
Preface 95
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 93
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008) 87
null 83
null 80
Interactions between Computer Science and Biology 79
A Calculus of Looping Sequences with Local Rules 73
A Type System for Required/Excluded Elements in CLS 65
Totale 9.419
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.006
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 26.006
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022843 0 0 0 52 139 70 24 102 75 14 194 173
2022/2023887 84 112 35 127 94 110 21 46 158 19 57 24
2023/2024156 13 57 15 18 15 8 6 5 2 5 3 9
2024/20251.088 19 280 73 102 303 24 89 7 3 7 27 154
2025/20262.012 81 128 269 94 200 153 224 145 494 141 49 34
2026/2027368 33 97 172 66 0 0 0 0 0 0 0 0
Totale 9.419