CRIS Current Research Information System

TROINA, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.365
EU - Europa 2.763
AS - Asia 2.548
SA - Sud America 167
Continente sconosciuto - Info sul continente non disponibili 150
AF - Africa 89
OC - Oceania 2
Totale 9.084
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.336
GB - Regno Unito 1.506
CN - Cina 732
SG - Singapore 727
VN - Vietnam 583
DE - Germania 296
IT - Italia 244
FR - Francia 196
RU - Federazione Russa 157
HK - Hong Kong 154
IN - India 136
BR - Brasile 125
SE - Svezia 104
IE - Irlanda 75
ZA - Sudafrica 73
EE - Estonia 65
TR - Turchia 61
UA - Ucraina 51
BD - Bangladesh 24
JP - Giappone 22
PH - Filippine 20
AR - Argentina 18
KR - Corea 15
NL - Olanda 14
CA - Canada 12
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 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
BY - Bielorussia 1
CI - Costa d'Avorio 1
ES - Italia 1
HN - Honduras 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
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 8.937
Salva come PNG Salva come JPEG
Città #
Southend 1.455
Singapore 475
Fairfield 444
Santa Clara 260
Woodbridge 236
Ashburn 213
Seattle 204
San Jose 179
Houston 172
Wilmington 164
Hong Kong 147
Chandler 145
Cambridge 144
Princeton 132
Hanoi 120
Beijing 115
Ann Arbor 114
Ho Chi Minh City 106
Boardman 105
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 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
New York 14
Phoenix 14
Taizhou 14
Dallas 13
São Paulo 13
Norwalk 12
Zhengzhou 12
Haikou 11
Ningbo 11
Shanghai 11
Biên Hòa 9
Brussels 9
Falls Church 9
Hefei 9
Council Bluffs 8
Palermo 8
Pisa 8
Taiyuan 8
Chengdu 7
Chicago 7
Ferrara 7
Frankfurt am Main 7
Fuzhou 7
Hải Dương 7
Milan 7
Nancy 7
Redmond 7
York 7
Atlanta 6
Helsinki 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
Montreal 4
Novosibirsk 4
Qingdao 4
Quito 4
Quảng Ngãi 4
Quận Bình Thạnh 4
Totale 6.371
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 191
Probabilistic Timed Automata for Security Analysis and Design 175
Bisimulations in Calculi Modelling Membranes 174
Automatic Covert Channel Analysis of a Multilevel Secure Component 173
A Probabilistic Applied Pi-Calculus 172
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 164
Interactions between Computer Science and Biology 162
Automatic Analysis of the NRL Pump 160
A Classification of Time and/or Probability Dependent Security Properties 158
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 156
Modelling biological and ecological systems with the Calculus of Wrapped Compartments 151
Design and Verification of Long-Running Transactions in a Timed Framework 148
Timed Automata with Data Structures for Distributed Systems Design and Analysis 145
Information Flow Analysis for Probabilistic Timed Automata 144
A Calculus of Looping Sequences for Modelling Microbiological Systems 143
A Type System for a Stochastic CLS 143
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 143
Weak Bisimulation for Probabilistic Timed Automata 143
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 142
On designing multicore-aware simulators for biological systems 141
Type Disciplines for Analysing Biologically Relevant Properties 140
A Calculus of Looping Sequences for Modelling Microbiological Systems 136
Modelling an Ammonium Transporter with SCLS 134
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 134
Stochastic Calculus of Wrapped Compartments 132
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 132
Stochastic Bigraphs 132
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 132
Parametric Probabilistic Transition Systems for System Design and Analysis 132
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 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
Simulation and Bisimulation for Probabilistic Timed Automata 129
CWC Surface Language Software (Prototypal Software) 128
Time and Probability-Based Information Flow Analysis 127
Simulation techniques for the calculus of wrapped compartments 127
Modelling Ecological Systems with the Calculus of Wrapped Compartments 126
Typed stochastic semantics for the calculus of looping sequences 125
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 124
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 121
Hybrid Calculus of Wrapped Compartments 119
A Probabilistic Calculus for Molecular Systems 119
Type Directed Semantics for the Calculus of Looping Sequences 116
Types for BioAmbients 115
A Spatial Calculus of Wrapped Compartments 115
CWC simulator (Calculus of Wrapped Compartments) 114
Concurrency and Interaction in Complex Systems 114
Ecological Modelling with the Calculus of Wrapped Compartments 113
Verification of Hybrid Automata by Synthesis and Refinement 113
A Formalism for the Description of Protein Interaction 110
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 110
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 94
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) 93
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments 92
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 86
null 83
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008) 82
null 80
Interactions between Computer Science and Biology 71
A Calculus of Looping Sequences with Local Rules 68
A Type System for Required/Excluded Elements in CLS 59
Totale 9.084
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.870
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 24.870
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.005 0 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/20262.012 81 128 269 94 200 153 224 145 494 141 49 34
2026/202733 33 0 0 0 0 0 0 0 0 0 0 0
Totale 9.084