CRIS Current Research Information System

TROINA, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.323
EU - Europa 2.745
AS - Asia 2.525
SA - Sud America 166
AF - Africa 89
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 8.853
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.299
GB - Regno Unito 1.506
CN - Cina 728
SG - Singapore 724
VN - Vietnam 582
DE - Germania 295
IT - Italia 231
FR - Francia 196
RU - Federazione Russa 157
HK - Hong Kong 152
IN - India 136
BR - Brasile 124
SE - Svezia 104
IE - Irlanda 74
ZA - Sudafrica 73
EE - Estonia 65
TR - Turchia 61
UA - Ucraina 51
JP - Giappone 22
PH - Filippine 20
AR - Argentina 18
KR - Corea 15
NL - Olanda 14
IR - Iran 12
BD - Bangladesh 11
TH - Thailandia 11
CA - Canada 10
IQ - Iraq 10
BE - Belgio 9
CH - Svizzera 9
FI - Finlandia 9
EC - Ecuador 8
HR - Croazia 7
MX - Messico 6
SA - Arabia Saudita 6
UZ - Uzbekistan 6
ID - Indonesia 5
PL - Polonia 5
PY - Paraguay 5
DO - Repubblica Dominicana 4
KE - Kenya 4
LB - Libano 4
PK - Pakistan 4
PS - Palestinian Territory 4
TW - Taiwan 4
CO - Colombia 3
EG - Egitto 3
PE - Perù 3
AT - Austria 2
AU - Australia 2
BJ - Benin 2
CL - Cile 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
EU - Europa 2
GR - Grecia 2
MY - Malesia 2
SC - Seychelles 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
ES - Italia 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 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 8.853
Salva come PNG Salva come JPEG
Città #
Southend 1.455
Singapore 472
Fairfield 444
Santa Clara 258
Woodbridge 236
Ashburn 213
Seattle 204
San Jose 174
Houston 172
Wilmington 164
Hong Kong 147
Chandler 145
Cambridge 144
Princeton 132
Hanoi 120
Ann Arbor 114
Beijing 112
Boardman 105
Ho Chi Minh City 105
Dong Ket 85
Dublin 74
Nanjing 69
Lauterbourg 67
Westminster 66
Padova 65
Istanbul 56
Jinan 55
Berlin 50
Medford 43
Shenyang 40
Los Angeles 33
Changsha 32
Saint Petersburg 30
Hebei 29
Grafing 27
Guangzhou 25
San Diego 25
Tianjin 25
Bologna 23
Redondo Beach 23
Buffalo 20
Nanchang 20
Tokyo 19
Da Nang 17
Jiaxing 16
Haiphong 15
Hangzhou 15
Phoenix 14
Taizhou 14
New York 13
São Paulo 13
Dallas 12
Norwalk 12
Zhengzhou 12
Haikou 11
Ningbo 11
Shanghai 11
Biên Hòa 9
Brussels 9
Falls Church 9
Hefei 9
Pisa 8
Taiyuan 8
Chengdu 7
Ferrara 7
Fuzhou 7
Hải Dương 7
Nancy 7
Palermo 7
Redmond 7
York 7
Atlanta 6
Chicago 6
Council Bluffs 6
Frankfurt am Main 6
Helsinki 6
Milan 6
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
Novosibirsk 4
Qingdao 4
Quito 4
Quảng Ngãi 4
Quận Bình Thạnh 4
Ulan-ude 4
Totale 6.347
Salva come PNG Salva come JPEG
Nome #
Towards a Formal Treatment of Secrecy against Computational Adversaries 196
Approximating Imperfect Cryptography in a Formal Model 194
Bisimulation Congruences in the Calculus of Looping Sequences 190
Probabilistic Timed Automata for Security Analysis and Design 174
Automatic Covert Channel Analysis of a Multilevel Secure Component 172
A Probabilistic Applied Pi-Calculus 170
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways 168
Modelling Ecological Systems with the Calculus of Wrapped Compartments 166
Automatic Analysis of a Non-Repudiation Protocol 166
The Calculus of Looping Sequences for Modeling Biological Membranes 163
Bisimulations in Calculi Modelling Membranes 163
Interactions between Computer Science and Biology 161
Automatic Analysis of the NRL Pump 159
A Classification of Time and/or Probability Dependent Security Properties 158
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 153
Modelling biological and ecological systems with the Calculus of Wrapped Compartments 148
Design and Verification of Long-Running Transactions in a Timed Framework 147
Timed Automata with Data Structures for Distributed Systems Design and Analysis 145
Information Flow Analysis for Probabilistic Timed Automata 144
A Type System for a Stochastic CLS 143
A Calculus of Looping Sequences for Modelling Microbiological Systems 142
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 141
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 141
On designing multicore-aware simulators for biological systems 139
Type Disciplines for Analysing Biologically Relevant Properties 138
A Calculus of Looping Sequences for Modelling Microbiological Systems 136
Weak Bisimulation for Probabilistic Timed Automata 136
Modelling an Ammonium Transporter with SCLS 134
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 133
Stochastic Calculus of Wrapped Compartments 131
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 131
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 131
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 131
Parametric Probabilistic Transition Systems for System Design and Analysis 131
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 130
Reachability results for timed automata with unbounded data structures 129
Time and Probability-Based Information Flow Analysis 127
Modelling Ecological Systems with the Calculus of Wrapped Compartments 126
Simulation and Bisimulation for Probabilistic Timed Automata 126
Simulation techniques for the calculus of wrapped compartments 126
CWC Surface Language Software (Prototypal Software) 125
Stochastic Bigraphs 125
Typed stochastic semantics for the calculus of looping sequences 125
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 121
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 121
A Probabilistic Calculus for Molecular Systems 119
Hybrid Calculus of Wrapped Compartments 116
Types for BioAmbients 114
Concurrency and Interaction in Complex Systems 114
CWC simulator (Calculus of Wrapped Compartments) 113
Ecological Modelling with the Calculus of Wrapped Compartments 113
A Spatial Calculus of Wrapped Compartments 113
Verification of Hybrid Automata by Synthesis and Refinement 113
Type Directed Semantics for the Calculus of Looping Sequences 112
A Formalism for the Description of Protein Interaction 109
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 109
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology 103
A Probabilistic Model for Molecular Systems 100
null 98
CWC parallel simulator with on-line statistics 98
Preface 93
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) 92
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments 91
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 86
null 83
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008) 81
null 80
Interactions between Computer Science and Biology 71
A Calculus of Looping Sequences with Local Rules 65
A Type System for Required/Excluded Elements in CLS 58
Totale 9.000
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.690
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 23.690
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021334 0 0 0 0 0 0 0 0 0 0 90 244
2021/20221.097 92 74 88 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/20261.961 81 128 269 94 200 153 224 145 494 141 32 0
Totale 9.000