BOREALE, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.097
EU - Europa 4.832
AS - Asia 2.750
SA - Sud America 462
Continente sconosciuto - Info sul continente non disponibili 121
AF - Africa 92
OC - Oceania 72
Totale 18.426
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.976
RU - Federazione Russa 1.433
IT - Italia 1.269
SG - Singapore 757
CN - Cina 619
DE - Germania 520
SE - Svezia 392
HK - Hong Kong 385
BR - Brasile 367
VN - Vietnam 366
IE - Irlanda 324
PL - Polonia 318
KR - Corea 251
UA - Ucraina 161
FR - Francia 124
IN - India 105
GB - Regno Unito 100
FI - Finlandia 98
AU - Australia 72
CA - Canada 72
TR - Turchia 56
JP - Giappone 37
CH - Svizzera 33
AR - Argentina 31
BD - Bangladesh 29
IQ - Iraq 24
ID - Indonesia 22
CI - Costa d'Avorio 19
NL - Olanda 18
MX - Messico 17
ES - Italia 16
JO - Giordania 15
PK - Pakistan 15
ZA - Sudafrica 15
MY - Malesia 14
NG - Nigeria 13
VE - Venezuela 13
CL - Cile 12
EC - Ecuador 12
SC - Seychelles 11
CO - Colombia 9
PY - Paraguay 9
CR - Costa Rica 8
MA - Marocco 7
AE - Emirati Arabi Uniti 6
KE - Kenya 6
KG - Kirghizistan 6
UZ - Uzbekistan 6
PH - Filippine 5
PT - Portogallo 5
SA - Arabia Saudita 5
AZ - Azerbaigian 4
HU - Ungheria 4
PE - Perù 4
SN - Senegal 4
TH - Thailandia 4
TW - Taiwan 4
UY - Uruguay 4
BJ - Benin 3
CM - Camerun 3
DZ - Algeria 3
HN - Honduras 3
IL - Israele 3
JM - Giamaica 3
OM - Oman 3
PR - Porto Rico 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
AL - Albania 2
AT - Austria 2
BE - Belgio 2
DO - Repubblica Dominicana 2
EU - Europa 2
GA - Gabon 2
GT - Guatemala 2
LB - Libano 2
LT - Lituania 2
NP - Nepal 2
AI - Anguilla 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BM - Bermuda 1
BO - Bolivia 1
BS - Bahamas 1
BZ - Belize 1
CW - ???statistics.table.value.countryCode.CW??? 1
EG - Egitto 1
GE - Georgia 1
GR - Grecia 1
IM - Isola di Man 1
IS - Islanda 1
KZ - Kazakistan 1
LV - Lettonia 1
ML - Mali 1
NI - Nicaragua 1
PA - Panama 1
RO - Romania 1
Totale 18.303
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.291
Fairfield 930
Ashburn 726
Singapore 512
Woodbridge 419
Chandler 411
Seattle 405
Cambridge 390
Dublin 324
Warsaw 316
Houston 307
Hong Kong 296
Wilmington 290
Seoul 250
Milan 249
Jacksonville 231
Florence 166
Buffalo 150
Hefei 145
Altamura 141
Lawrence 140
San Jose 131
Council Bluffs 130
The Dalles 119
Ho Chi Minh City 106
Princeton 101
Ann Arbor 98
Lauterbourg 94
Los Angeles 94
Hanoi 93
Beijing 92
Rome 87
Melbourne 70
Moscow 67
Boston 60
Medford 57
Mumbai 55
Boardman 52
New York 52
Izmir 47
San Diego 47
São Paulo 47
Dallas 44
Kent 35
Tokyo 35
Bern 32
Shanghai 30
Turin 28
Naples 26
Redondo Beach 23
Norwalk 20
Abidjan 19
Chicago 19
Montreal 19
Hillsboro 18
Da Nang 17
Lucca 17
Columbus 16
Haiphong 16
Washington 16
Helsinki 15
Jakarta 15
Bologna 14
Figino 14
Frankfurt am Main 14
Falls Church 13
London 13
Orem 13
Venice 13
Abuja 12
Clifton 12
Frankfurt Am Main 12
Palermo 12
Phoenix 12
Bari 11
Miano 11
Siena 11
Verona 11
Yubileyny 11
Brooklyn 10
Dong Ket 10
Johannesburg 10
Livorno 10
Stockholm 10
Toronto 10
Biên Hòa 9
Calvi Risorta 9
Rio de Janeiro 9
Baghdad 8
Belo Horizonte 8
Brasília 8
Cagliari 8
Cascina 8
Chennai 8
Genoa 8
Philadelphia 8
Pisa 8
Pittsburgh 8
Pontedera 8
Salerno 8
Totale 12.640
Salva come PNG Salva come JPEG
Nome #
Searching secrets rationally 381
Linearization, model reduction and reachability in nonlinear odes 352
Relative privacy threats and learning from anonymized data 278
Relative privacy risks and learning from anonymized data 262
A Typed Calculus for Querying Distributed XML Documents 239
A Fully Abstract Semantics for Causality in the pi-Calculus 232
A complexity analysis of bisimilarity for value-passing processes 231
Proof Techniques for Cryptographic Processes 223
A Concurrent Calculus with Atomic Transactions 221
Experimenting with STA, a tool for automatic analysis of security protocols 219
Worst- and average-case privacy breaches in randomization mechanisms 211
Type Abstractions of Name-Passing Processes 209
Responsiveness in Process Calculi 207
Algebra, coalgebra, and minimization in polynomial differential equations 206
A Fully Abstract Semantics for Causality in the pi-calculus 203
A method for symbolic analysis of security protocols 203
A coalgebraic perspective on linear weighted automata 202
Behavioural contracts with request-response operations 202
An implicit function theorem for the stream calculus 200
XPi: A Typed Process Calculus for XML Messaging 199
Static Analysis Techniques for Session-Oriented Calculi 199
Advanced mechanisms for service composition, query and discovery 199
CaSPiS: a calculus of sessions, pipelines and services 198
A General Name Binding Mechanism 198
Deciding safety properties in infinite-state pi-calculus via behavioural types 195
Behavioural contracts with request-response operations 194
Improving ABC via large deviations theory 193
D-Fusion: A Distinctive Fusion Calculus 191
Algebra, coalgebra, and minimization in polynomial differential equations 191
A Framework for the Analysis of Security Protocols 191
Spatial and Behavioral Types in the Pi-Calculus 188
Basic Observables for Processes 187
Basic Observables for Processes 186
A Type System for Client Progress in a Service-Oriented Calculus 186
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries 186
Analysis of Probabilistic Systems via Generating Functions and Pad'e Approximation 185
Responsiveness in process calculi 185
On the relationship between spatial logics and behavioral simulations 184
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance 183
A linear-algebraic method to compute polynomial PDE conservation laws 182
Symbolic Bisimulation for Timed Processes 182
Linear-Time and May-Testing in a Probabilistic Reactive Setting 182
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation 181
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 181
Trace and Testing Equivalence on Asynchronous Processes 180
Inference on Markov chains parameters via Large Deviations ABC 178
Symbolic Trace Analysis of Cryptographic Protocols 176
On Formally Bounding Information Leakage by Statistical Estimation 176
Testing equivalence for mobile processes 175
XPi: A typed process calculus for XML messaging 175
Processes as formal power series: A coinductive approach to denotational semantics 173
Quantitative information flow under generic leakage functions and adaptive adversaries 173
Denotational Testing Semantics in Coinductive Form 170
Bisimulation in Name-Passing Calculi without Matching 169
A Theory of ''May'' Testing for Asynchronous Languages 169
Products, Polynomials and Differential Equations in the Stream Calculus 168
Spatial and behavioral types in the pi-calculus 168
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 167
Sessions and Pipelines for Structured Service Programming 166
On Compositional Reasoning in the Spi-calculus 165
Process Algebraic Analysis of Cryptographic Protocols 164
Algebra and Coalgebra of Stream Products 163
Proceedings 7th International Workshop on Security Issues in Concurrency 163
Output Sampling for Output Diversity in Automatic Unit Test Generation 163
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 161
A symbolic semantics for the π-calculus — Extended abstract 160
On the coalgebra of partial differential equations 160
Proof Techniques for Cryptographic Processes 159
Testing Equivalence for Mobile Processes 158
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms 158
SCC: a Service Centered Calculus 155
Divergence in testing and readiness semantics 155
A Symbolic Semantics for the pi-Calculus 154
Quantifying Information Leakage in Process Calculi 154
Attacking right-to-left modular exponentiation with timely random faults 153
Asymptotic Information Leakage under One-Try Attacks 153
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs 153
Quantitative Multirun Security under Active Adversaries 150
Weighted approximate Bayesian computation via Sanov’s theorem 149
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation 149
Quantifying information leakage in process calculi 147
Approximate Bayesian Computation for Probabilistic Damage Identification 144
Quantitative Information Flow, with a View 142
Asymptotic Information Leakage under One-Try Attacks 137
Complete sets of axioms for finite basic LOTOS behavioural equivalences 137
Formal Techniques for Distributed Systems 135
Asynchronous Observations of Processes 134
A theory of symbolic bisimulation for timed processes 130
Weighted Bisimulation in Linear Algebraic Form 126
Linearization, Model Reduction and Reachability in Nonlinear odes 126
Algorithms for exact and approximate linear abstractions of polynomial continuous systems 125
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE's 124
On the expressivness of internal mobility in name-passing calculi 124
STA, symbolic trace analyzer 122
On the Expressiveness of Internal Mobility in Name-Passing Calculi 121
Bisimulations in the join-calculus 119
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) 116
Asymptotic Risk Analysis for Trust and Reputation SystemsSOFSEM 2013: Theory and Practice of Computer Science 113
Bisimilarity problems requiring exponential time 110
Process Algebraic Theories for Mobile Systems 110
Totale 17.631
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.767
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 47.767
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022787 0 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.718 150 448 227 561 2.061 1.544 81 224 124 74 110 114
2025/20264.950 322 662 387 760 527 215 524 213 251 238 106 745
2026/2027398 211 187 0 0 0 0 0 0 0 0 0 0
Totale 18.426