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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019152 0 0 0 0 0 0 0 0 0 28 91 33
2019/2020560 15 39 73 71 55 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/2024149 37 63 14 10 4 7 0 13 0 1 0 0
Totale 3.812