TROINA, ANGELO
 Distribuzione geografica
Continente #
NA - Nord America 2.252
EU - Europa 1.434
AS - Asia 592
SA - Sud America 8
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
AF - Africa 2
Totale 4.296
Nazione #
US - Stati Uniti d'America 2.232
CN - Cina 252
SE - Svezia 252
IE - Irlanda 204
SG - Singapore 180
DE - Germania 169
IT - Italia 162
UA - Ucraina 155
FI - Finlandia 144
KR - Corea 97
FR - Francia 96
DK - Danimarca 60
GB - Regno Unito 60
PL - Polonia 58
VN - Vietnam 51
AT - Austria 45
CA - Canada 20
BE - Belgio 10
ID - Indonesia 7
RU - Federazione Russa 7
NL - Olanda 5
EC - Ecuador 4
EU - Europa 4
AU - Australia 3
JP - Giappone 3
PT - Portogallo 3
BR - Brasile 2
MU - Mauritius 2
VE - Venezuela 2
CZ - Repubblica Ceca 1
HK - Hong Kong 1
LU - Lussemburgo 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
RO - Romania 1
TH - Thailandia 1
Totale 4.296
Città #
Ann Arbor 276
Chandler 245
Santa Clara 224
Dublin 204
Beijing 190
Singapore 149
Jacksonville 99
Houston 90
Medford 76
Fairfield 73
Princeton 69
Dearborn 67
Nyköping 67
Ashburn 66
Villeurbanne 66
Wilmington 66
Warsaw 58
Columbus 54
Torino 51
Woodbridge 47
Vienna 45
Dong Ket 38
Seattle 31
Pisa 28
Boston 25
Fremont 22
Milan 19
Boardman 17
Cambridge 15
Redwood City 14
Brussels 10
Falls Church 10
Guangzhou 10
Lachine 10
Verona 10
Fusignano 8
San Diego 8
Toronto 8
Jakarta 7
Kunming 7
Norwalk 7
Hefei 6
Jinan 6
Chengdu 5
Düsseldorf 5
Helsinki 5
Nanjing 5
San Mateo 5
Des Moines 4
Lappeenranta 4
London 4
Mountain View 4
University Park 4
Guayaquil 3
Hanoi 3
Los Angeles 3
Phoenix 3
Rimini 3
Shenyang 3
Alfonsine 2
Auburn Hills 2
Camerino 2
Frankfurt am Main 2
Fuzhou 2
Karlsruhe 2
Livorno 2
Padova 2
Pittsburgh 2
Redmond 2
Silver Spring 2
Washington 2
Adelaide 1
Alpignano 1
Auckland 1
Augusta 1
Caracas 1
Catania 1
Chisinau 1
Chongqing 1
Elk Grove Village 1
Elsternwick 1
Glen Rock 1
Groningen 1
Hachenburg 1
Hong Kong 1
Huzhou 1
Incheon 1
Jinhua 1
Kyoto 1
Lanzhou 1
Liverpool 1
Ludwigshafen 1
Lugo 1
Macerata 1
Manassas 1
Maracaibo 1
Marco 1
Marseille 1
Melbourne 1
Moncalieri 1
Totale 2.714
Nome #
Simulation techniques for the calculus of wrapped compartments 198
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 194
Hybrid Calculus of Wrapped Compartments 188
Modelling Ecological Systems with the Calculus of Wrapped Compartments 123
Modelling an Ammonium Transporter with SCLS 115
CWC simulator (Calculus of Wrapped Compartments) 109
On designing multicore-aware simulators for biological systems 107
Type Directed Semantics for the Calculus of Looping Sequences 107
A Spatial Calculus of Wrapped Compartments 106
The Calculus of Looping Sequences for Modeling Biological Membranes 102
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 101
A Probabilistic Applied Pi-Calculus 96
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 91
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 90
A Formalism for the Description of Protein Interaction 88
A Calculus of Looping Sequences with Local Rules 84
CWC parallel simulator with on-line statistics 78
Stochastic Calculus of Wrapped Compartments 75
Approximating Imperfect Cryptography in a Formal Model 74
Towards a Formal Treatment of Secrecy against Computational Adversaries 73
Automatic Covert Channel Analysis of a Multilevel Secure Component 72
CWC Surface Language Software (Prototypal Software) 71
Types for BioAmbients 71
Automatic Analysis of the NRL Pump 70
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 67
Ecological Modelling with the Calculus of Wrapped Compartments 67
Automatic Analysis of a Non-Repudiation Protocol 64
A Calculus of Looping Sequences for Modelling Microbiological Systems 64
Design and Verification of Long-Running Transactions in a Timed Framework 64
A Classification of Time and/or Probability Dependent Security Properties 63
1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) 62
Interactions between Computer Science and Biology 62
A Probabilistic Model for Molecular Systems 58
A Calculus of Looping Sequences for Modelling Microbiological Systems 58
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 57
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 56
Bisimulation Congruences in the Calculus of Looping Sequences 54
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 54
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 53
Typed stochastic semantics for the calculus of looping sequences 53
A Probabilistic Calculus for Molecular Systems 52
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection 52
A Probabilistic Formulation of Imperfect Cryptography 51
Type Disciplines for Analysing Biologically Relevant Properties 50
A Type System for Required/Excluded Elements in CLS 47
Modelling Ecological Systems with the Calculus of Wrapped Compartments 47
A Type System for a Stochastic CLS 46
Verification of Hybrid Automata by Synthesis and Refinement 45
Bisimulations in Calculi Modelling Membranes 44
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 42
Simulation and Bisimulation for Probabilistic Timed Automata 41
Concurrency and Interaction in Complex Systems 38
Parametric Probabilistic Transition Systems for System Design and Analysis 37
Time and Probability-Based Information Flow Analysis 37
Stochastic Bigraphs 36
Timed Automata with Data Structures for Distributed Systems Design and Analysis 35
Probabilistic Timed Automata for Security Analysis and Design 35
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 35
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions 35
Information Flow Analysis for Probabilistic Timed Automata 33
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) 33
Weak Bisimulation for Probabilistic Timed Automata 32
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 30
Reachability results for timed automata with unbounded data structures 28
CS2Bio'10: 1st International Workshop on Interactions between Computer Science and Biology 28
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways 27
Totale 4.455
Categoria #
all - tutte 14.172
article - articoli 0
book - libri 0
conference - conferenze 4.024
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 18.196


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020307 0 0 0 0 0 77 85 25 47 28 34 11
2020/2021583 45 10 42 17 72 66 82 33 70 46 34 66
2021/2022497 6 10 13 50 43 9 24 21 15 24 136 146
2022/2023723 73 42 22 64 79 212 79 42 67 6 28 9
2023/2024232 37 63 14 10 4 7 0 13 0 10 16 58
2024/2025560 0 122 20 111 274 33 0 0 0 0 0 0
Totale 4.455