BOREALE, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.585
EU - Europa 3.099
AS - Asia 893
SA - Sud America 104
OC - Oceania 72
AF - Africa 38
Continente sconosciuto - Info sul continente non disponibili 3
Totale 12.794
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.573
RU - Federazione Russa 1.087
IT - Italia 468
SE - Svezia 348
IE - Irlanda 324
HK - Hong Kong 322
SG - Singapore 319
PL - Polonia 308
DE - Germania 177
UA - Ucraina 151
FI - Finlandia 93
BR - Brasile 91
CN - Cina 81
GB - Regno Unito 74
AU - Australia 72
IN - India 67
TR - Turchia 49
CH - Svizzera 32
CI - Costa d'Avorio 19
FR - Francia 17
VN - Vietnam 13
SC - Seychelles 10
ID - Indonesia 9
CA - Canada 8
JO - Giordania 8
NL - Olanda 6
ES - Italia 4
IQ - Iraq 4
KG - Kirghizistan 4
CM - Camerun 3
CO - Colombia 3
HU - Ungheria 3
IL - Israele 3
JP - Giappone 3
MA - Marocco 3
PK - Pakistan 3
TW - Taiwan 3
BE - Belgio 2
CL - Cile 2
EU - Europa 2
MX - Messico 2
PY - Paraguay 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AR - Argentina 1
AZ - Azerbaigian 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
GR - Grecia 1
HN - Honduras 1
IM - Isola di Man 1
IS - Islanda 1
LV - Lettonia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
UY - Uruguay 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 12.794
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.266
Fairfield 930
Ashburn 420
Woodbridge 419
Chandler 411
Seattle 402
Cambridge 390
Dublin 324
Warsaw 307
Houston 306
Wilmington 288
Hong Kong 242
Jacksonville 227
Singapore 173
Altamura 141
Lawrence 140
Florence 139
Princeton 100
Ann Arbor 98
Buffalo 95
Melbourne 70
Boston 58
Medford 57
Mumbai 49
Boardman 48
Izmir 47
San Diego 46
Moscow 39
Bern 32
Shanghai 27
Beijing 23
Abidjan 19
Norwalk 19
Hillsboro 18
Kent 18
Milan 14
São Paulo 14
Washington 14
Falls Church 13
Frankfurt Am Main 12
Los Angeles 12
Helsinki 11
Yubileyny 11
Dong Ket 10
New York 10
Siena 10
Jakarta 9
Cascina 8
London 8
Pontedera 8
Salerno 8
The Dalles 8
West Jordan 8
Auburn Hills 7
Dearborn 7
Rome 6
Bengaluru 5
Toronto 5
Wuhan 5
Andover 4
Bishkek 4
Cagliari 4
Campi Bisenzio 4
Chiswick 4
Domicella 4
Kilburn 4
Laurel 4
Montecchio Emilia 4
Olgiate Comasco 4
Pisa 4
Pittsburgh 4
Redwood City 4
Verona 4
Baghdad 3
Barcelona 3
Foligno 3
Follonica 3
Guangzhou 3
Hanoi 3
Livorno 3
Nanjing 3
Perugia 3
Philadelphia 3
Pune 3
Sesto Fiorentino 3
Taipei 3
Tokyo 3
Asunción 2
Beauvais 2
Budapest 2
Castiglione della Pescaia 2
Chengdu 2
Chiusi 2
Conselheiro Lafaiete 2
Council Bluffs 2
Curitiba 2
Dourados 2
Franca 2
Heidelberg 2
Jerusalem 2
Totale 9.735
Salva come PNG Salva come JPEG
Nome #
Searching secrets rationally 292
Relative privacy threats and learning from anonymized data 206
Relative privacy risks and learning from anonymized data 192
A Typed Calculus for Querying Distributed XML Documents 188
Proof Techniques for Cryptographic Processes 177
Experimenting with STA, a tool for automatic analysis of security protocols 167
A Fully Abstract Semantics for Causality in the pi-Calculus 164
Algebra, coalgebra, and minimization in polynomial differential equations 161
Analysis of Probabilistic Systems via Generating Functions and Pad'e Approximation 159
Type Abstractions of Name-Passing Processes 158
A Concurrent Calculus with Atomic Transactions 158
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries 158
Testing equivalence for mobile processes 157
Behavioural contracts with request-response operations 157
XPi: A Typed Process Calculus for XML Messaging 156
Static Analysis Techniques for Session-Oriented Calculi 155
Responsiveness in Process Calculi 154
A Fully Abstract Semantics for Causality in the pi-calculus 154
A method for symbolic analysis of security protocols 153
A complexity analysis of bisimilarity for value-passing processes 152
A Framework for the Analysis of Security Protocols 152
A General Name Binding Mechanism 151
Behavioural contracts with request-response operations 150
D-Fusion: A Distinctive Fusion Calculus 149
Symbolic Bisimulation for Timed Processes 149
Basic Observables for Processes 146
A Type System for Client Progress in a Service-Oriented Calculus 146
CaSPiS: a calculus of sessions, pipelines and services 146
Basic Observables for Processes 142
Responsiveness in process calculi 140
Denotational Testing Semantics in Coinductive Form 139
A coalgebraic perspective on linear weighted automata 139
Advanced mechanisms for service composition, query and discovery 139
Deciding safety properties in infinite-state pi-calculus via behavioural types 136
Bisimulation in Name-Passing Calculi without Matching 135
Worst- and average-case privacy breaches in randomization mechanisms 135
Spatial and behavioral types in the pi-calculus 135
On Formally Bounding Information Leakage by Statistical Estimation 135
On the relationship between spatial logics and behavioral simulations 134
Process Algebraic Analysis of Cryptographic Protocols 133
Linear-Time and May-Testing in a Probabilistic Reactive Setting 133
Processes as formal power series: A coinductive approach to denotational semantics 132
Spatial and Behavioral Types in the Pi-Calculus 132
Quantitative information flow under generic leakage functions and adaptive adversaries 132
Improving ABC via large deviations theory 132
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation 131
Symbolic Trace Analysis of Cryptographic Protocols 130
Trace and Testing Equivalence on Asynchronous Processes 128
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 128
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 127
XPi: A typed process calculus for XML messaging 126
On Compositional Reasoning in the Spi-calculus 125
Attacking right-to-left modular exponentiation with timely random faults 125
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance 124
Divergence in testing and readiness semantics 124
Testing Equivalence for Mobile Processes 123
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms 123
Proof Techniques for Cryptographic Processes 122
Sessions and Pipelines for Structured Service Programming 122
Asymptotic Information Leakage under One-Try Attacks 121
A symbolic semantics for the π-calculus — Extended abstract 121
SCC: a Service Centered Calculus 120
Quantifying Information Leakage in Process Calculi 120
Asymptotic Information Leakage under One-Try Attacks 119
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 119
Quantitative Information Flow, with a View 118
Quantifying information leakage in process calculi 115
Asynchronous Observations of Processes 114
A Theory of ''May'' Testing for Asynchronous Languages 113
Inference on Markov chains parameters via Large Deviations ABC 110
A Symbolic Semantics for the pi-Calculus 108
Algebra, coalgebra, and minimization in polynomial differential equations 108
Formal Techniques for Distributed Systems 108
Quantitative Multirun Security under Active Adversaries 107
Complete sets of axioms for finite basic LOTOS behavioural equivalences 107
On the Expressiveness of Internal Mobility in Name-Passing Calculi 103
Weighted Bisimulation in Linear Algebraic Form 103
Bisimulations in the join-calculus 101
Output Sampling for Output Diversity in Automatic Unit Test Generation 99
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE's 98
On the expressivness of internal mobility in name-passing calculi 98
Algorithms for exact and approximate linear abstractions of polynomial continuous systems 93
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs 93
Proceedings 7th International Workshop on Security Issues in Concurrency 91
Weighted approximate Bayesian computation via Sanov’s theorem 90
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) 88
Approximate Bayesian Computation for Probabilistic Damage Identification 88
An implicit function theorem for the stream calculus 87
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation 87
A theory of symbolic bisimulation for timed processes 86
Products, Polynomials and Differential Equations in the Stream Calculus 85
Linearization, Model Reduction and Reachability in Nonlinear odes 85
Algebra and Coalgebra of Stream Products 84
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. 84
Bisimilarity problems requiring exponential time 83
Asymptotic Risk Analysis for Trust and Reputation SystemsSOFSEM 2013: Theory and Practice of Computer Science 83
On the coalgebra of partial differential equations 82
Process Algebraic Theories for Mobile Systems 81
STA, symbolic trace analyzer 80
A linear-algebraic method to compute polynomial PDE conservation laws 78
Totale 12.726
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.615
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 33.615
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020132 0 0 0 0 0 0 0 0 0 0 100 32
2020/20211.059 102 86 103 75 22 116 29 117 88 176 59 86
2021/2022812 25 84 95 17 12 22 39 57 32 25 235 169
2022/20231.630 151 389 84 131 132 286 162 92 110 6 42 45
2023/2024542 32 55 116 28 44 68 21 74 9 24 32 39
2024/20255.530 150 448 227 561 2.061 1.544 81 224 124 74 36 0
Totale 12.890