TROINA, ANGELO
 Distribuzione geografica
Continente #
EU - Europa 2.547
NA - Nord America 2.439
AS - Asia 736
AF - Africa 69
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
SA - Sud America 1
Totale 5.795
Nazione #
US - Stati Uniti d'America 2.438
GB - Regno Unito 1.498
CN - Cina 404
DE - Germania 285
IT - Italia 210
VN - Vietnam 136
FR - Francia 121
IN - India 117
SE - Svezia 103
RU - Federazione Russa 95
IE - Irlanda 74
ZA - Sudafrica 66
EE - Estonia 65
TR - Turchia 55
UA - Ucraina 49
IR - Iran 11
BE - Belgio 9
CH - Svizzera 9
NL - Olanda 9
HR - Croazia 7
FI - Finlandia 6
UZ - Uzbekistan 4
LB - Libano 3
CZ - Repubblica Ceca 2
EU - Europa 2
PL - Polonia 2
SC - Seychelles 2
SG - Singapore 2
AU - Australia 1
BR - Brasile 1
CA - Canada 1
GR - Grecia 1
IL - Israele 1
JO - Giordania 1
LU - Lussemburgo 1
RO - Romania 1
SA - Arabia Saudita 1
TG - Togo 1
TH - Thailandia 1
Totale 5.795
Città #
Southend 1.455
Fairfield 444
Woodbridge 236
Seattle 204
Houston 172
Wilmington 164
Ashburn 159
Chandler 145
Cambridge 144
Princeton 132
Ann Arbor 114
Dong Ket 85
Dublin 74
Nanjing 68
Westminster 66
Padova 65
Istanbul 55
Jinan 52
Berlin 50
Medford 43
Shenyang 39
Boardman 37
Changsha 32
Saint Petersburg 30
Hebei 29
Beijing 28
Grafing 27
San Diego 25
Bologna 21
Tianjin 21
Nanchang 20
Jiaxing 16
Hangzhou 13
Taizhou 13
Norwalk 12
Haikou 11
Ningbo 11
Zhengzhou 11
Brussels 9
Falls Church 9
Pisa 8
Taiyuan 8
Ferrara 7
Guangzhou 7
Nancy 7
Palermo 7
Redmond 7
York 7
Como 5
Dearborn 5
Lanzhou 5
Lausanne 5
Riccione 5
Fuzhou 4
Le Chesnay 4
Novosibirsk 4
Phoenix 4
Ulan-ude 4
Vicenza 4
Abano Terme 3
Bern 3
Frankfurt Am Main 3
Helsinki 3
Lappeenranta 3
Olalla 3
Parma 3
Pune 3
Rimini 3
San Lazzaro di Savena 3
Sant'agata Sul Santerno 3
Siena 3
Besenello 2
Buffalo 2
Busto Arsizio 2
Bühl 2
Chicago 2
Den Haag 2
Easton 2
Florence 2
Groningen 2
Isola Vicentina 2
London 2
Mountain View 2
Paris 2
Redwood City 2
Rubano 2
Tolentino 2
Amman 1
Bangkok 1
Battipaglia 1
Beaverton 1
Cape Town 1
Catania 1
Clearwater 1
Des Moines 1
Faenza 1
Gardone Val Trompia 1
Gorla Minore 1
Hefei 1
Kilburn 1
Totale 4.529
Nome #
Bisimulation Congruences in the Calculus of Looping Sequences 147
Towards a Formal Treatment of Secrecy against Computational Adversaries 145
Approximating Imperfect Cryptography in a Formal Model 141
Automatic Covert Channel Analysis of a Multilevel Secure Component 130
A Probabilistic Applied Pi-Calculus 124
Automatic Analysis of a Non-Repudiation Protocol 122
Modelling Ecological Systems with the Calculus of Wrapped Compartments 119
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways 119
The Calculus of Looping Sequences for Modeling Biological Membranes 117
A Classification of Time and/or Probability Dependent Security Properties 117
Automatic Analysis of the NRL Pump 116
Bisimulations in Calculi Modelling Membranes 115
Timed Automata with Data Structures for Distributed Systems Design and Analysis 113
Information Flow Analysis for Probabilistic Timed Automata 108
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 108
Probabilistic Timed Automata for Security Analysis and Design 106
Interactions between Computer Science and Biology 105
Modelling an Ammonium Transporter with SCLS 103
Design and Verification of Long-Running Transactions in a Timed Framework 102
null 98
Weak Bisimulation for Probabilistic Timed Automata 98
A Calculus of Looping Sequences for Modelling Microbiological Systems 97
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 96
Modelling biological and ecological systems with the Calculus of Wrapped Compartments 96
Stochastic Calculus of Wrapped Compartments 94
On designing multicore-aware simulators for biological systems 94
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 94
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 93
A Calculus of Looping Sequences for Modelling Microbiological Systems 92
A Type System for a Stochastic CLS 92
Type Disciplines for Analysing Biologically Relevant Properties 92
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 91
Reachability results for timed automata with unbounded data structures 90
Stochastic Bigraphs 89
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 89
Time and Probability-Based Information Flow Analysis 88
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 88
Simulation and Bisimulation for Probabilistic Timed Automata 87
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 86
Parametric Probabilistic Transition Systems for System Design and Analysis 85
Typed stochastic semantics for the calculus of looping sequences 83
null 83
Simulation techniques for the calculus of wrapped compartments 82
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 80
null 80
Hybrid Calculus of Wrapped Compartments 78
A Probabilistic Calculus for Molecular Systems 74
Verification of Hybrid Automata by Synthesis and Refinement 74
Types for BioAmbients 72
Modelling Ecological Systems with the Calculus of Wrapped Compartments 70
CWC Surface Language Software (Prototypal Software) 67
A Probabilistic Model for Molecular Systems 66
CWC parallel simulator with on-line statistics 65
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 64
A Spatial Calculus of Wrapped Compartments 62
Concurrency and Interaction in Complex Systems 62
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 60
CWC simulator (Calculus of Wrapped Compartments) 58
Ecological Modelling with the Calculus of Wrapped Compartments 58
Type Directed Semantics for the Calculus of Looping Sequences 56
Preface 56
A Formalism for the Description of Protein Interaction 54
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology 50
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 49
Proceedings of the First Interaction and Concurrency Experiences Workshop (ICE 2008) 41
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) 36
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments 24
Interactions between Computer Science and Biology 20
A Type System for Required/Excluded Elements in CLS 18
A Calculus of Looping Sequences with Local Rules 14
Totale 5.942
Categoria #
all - tutte 12.914
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 12.914


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019134 0 0 0 0 0 0 0 0 0 0 96 38
2019/20201.996 272 71 3 82 251 153 192 265 341 93 80 193
2020/20211.170 249 49 9 47 19 38 35 126 214 50 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/2024147 13 57 15 18 15 8 6 5 2 5 3 0
Totale 5.942