BOREALE, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.320
EU - Europa 3.931
AS - Asia 2.149
SA - Sud America 419
OC - Oceania 72
AF - Africa 70
Continente sconosciuto - Info sul continente non disponibili 3
Totale 15.964
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.267
RU - Federazione Russa 1.432
SG - Singapore 662
IT - Italia 539
DE - Germania 511
CN - Cina 455
HK - Hong Kong 371
SE - Svezia 358
BR - Brasile 348
IE - Irlanda 324
PL - Polonia 317
KR - Corea 250
UA - Ucraina 159
VN - Vietnam 136
FI - Finlandia 95
GB - Regno Unito 95
IN - India 91
AU - Australia 72
TR - Turchia 56
CH - Svizzera 33
CA - Canada 29
AR - Argentina 26
FR - Francia 22
CI - Costa d'Avorio 19
ID - Indonesia 19
JP - Giappone 16
MX - Messico 15
IQ - Iraq 14
ZA - Sudafrica 14
ES - Italia 12
JO - Giordania 12
NL - Olanda 12
PK - Pakistan 12
BD - Bangladesh 11
SC - Seychelles 10
EC - Ecuador 9
VE - Venezuela 9
CL - Cile 7
CO - Colombia 7
PY - Paraguay 7
KG - Kirghizistan 6
MA - Marocco 6
MY - Malesia 6
UZ - Uzbekistan 5
HU - Ungheria 4
KE - Kenya 4
SA - Arabia Saudita 4
AZ - Azerbaigian 3
BJ - Benin 3
CM - Camerun 3
IL - Israele 3
PH - Filippine 3
SN - Senegal 3
TW - Taiwan 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AT - Austria 2
BE - Belgio 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
EU - Europa 2
GA - Gabon 2
LB - Libano 2
LT - Lituania 2
OM - Oman 2
PE - Perù 2
PT - Portogallo 2
TN - Tunisia 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BO - Bolivia 1
CR - Costa Rica 1
GE - Georgia 1
GR - Grecia 1
HN - Honduras 1
IM - Isola di Man 1
IS - Islanda 1
JM - Giamaica 1
KZ - Kazakistan 1
LV - Lettonia 1
ML - Mali 1
NI - Nicaragua 1
PA - Panama 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
TG - Togo 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 15.964
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.276
Fairfield 930
Ashburn 536
Singapore 420
Woodbridge 419
Chandler 411
Seattle 405
Cambridge 390
Dublin 324
Warsaw 315
Houston 307
Hong Kong 290
Wilmington 290
Seoul 250
Jacksonville 229
Florence 151
Buffalo 146
Hefei 145
Altamura 141
Lawrence 140
Princeton 100
Ann Arbor 98
Los Angeles 85
Beijing 82
San Jose 73
Melbourne 70
Moscow 67
The Dalles 63
Boston 60
Medford 57
Mumbai 53
Boardman 48
Izmir 47
San Diego 46
São Paulo 46
New York 39
Dallas 37
Ho Chi Minh City 35
Kent 35
Bern 32
Hanoi 30
Shanghai 29
Redondo Beach 23
Norwalk 20
Abidjan 19
Hillsboro 18
Milan 17
Chicago 16
Washington 15
Montreal 14
Tokyo 14
Council Bluffs 13
Falls Church 13
Jakarta 13
Lucca 13
Clifton 12
Frankfurt Am Main 12
Helsinki 12
London 11
Yubileyny 11
Dong Ket 10
Phoenix 10
Siena 10
Stockholm 10
Brooklyn 9
Frankfurt am Main 9
Johannesburg 9
Belo Horizonte 8
Cascina 8
Haiphong 8
Livorno 8
Pontedera 8
Rome 8
Salerno 8
Toronto 8
West Jordan 8
Auburn Hills 7
Brasília 7
Chennai 7
Dearborn 7
Porto Alegre 7
Rio de Janeiro 7
Bengaluru 6
Bishkek 6
Biên Hòa 6
Denver 6
Guangzhou 6
Lahore 6
Pittsburgh 6
San Francisco 6
Amman 5
Ankara 5
Asunción 5
Baghdad 5
Campinas 5
Curitiba 5
New Delhi 5
Philadelphia 5
Pisa 5
Tashkent 5
Totale 11.292
Salva come PNG Salva come JPEG
Nome #
Linearization, model reduction and reachability in nonlinear odes 338
Searching secrets rationally 329
Relative privacy threats and learning from anonymized data 237
A Typed Calculus for Querying Distributed XML Documents 222
Relative privacy risks and learning from anonymized data 218
Proof Techniques for Cryptographic Processes 206
A Fully Abstract Semantics for Causality in the pi-Calculus 202
A Concurrent Calculus with Atomic Transactions 197
A complexity analysis of bisimilarity for value-passing processes 195
Experimenting with STA, a tool for automatic analysis of security protocols 192
Type Abstractions of Name-Passing Processes 189
Responsiveness in Process Calculi 187
Behavioural contracts with request-response operations 187
Algebra, coalgebra, and minimization in polynomial differential equations 186
XPi: A Typed Process Calculus for XML Messaging 185
Static Analysis Techniques for Session-Oriented Calculi 182
Advanced mechanisms for service composition, query and discovery 179
A coalgebraic perspective on linear weighted automata 178
Spatial and Behavioral Types in the Pi-Calculus 177
Worst- and average-case privacy breaches in randomization mechanisms 177
A General Name Binding Mechanism 177
A method for symbolic analysis of security protocols 177
A Fully Abstract Semantics for Causality in the pi-calculus 176
A Framework for the Analysis of Security Protocols 176
Behavioural contracts with request-response operations 174
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries 173
D-Fusion: A Distinctive Fusion Calculus 170
Basic Observables for Processes 170
CaSPiS: a calculus of sessions, pipelines and services 170
Analysis of Probabilistic Systems via Generating Functions and Pad'e Approximation 170
A Type System for Client Progress in a Service-Oriented Calculus 168
Testing equivalence for mobile processes 166
Algebra, coalgebra, and minimization in polynomial differential equations 166
Improving ABC via large deviations theory 164
Symbolic Bisimulation for Timed Processes 163
Deciding safety properties in infinite-state pi-calculus via behavioural types 163
Responsiveness in process calculi 163
Basic Observables for Processes 162
Denotational Testing Semantics in Coinductive Form 161
Processes as formal power series: A coinductive approach to denotational semantics 158
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance 158
On the relationship between spatial logics and behavioral simulations 158
Trace and Testing Equivalence on Asynchronous Processes 157
Linear-Time and May-Testing in a Probabilistic Reactive Setting 157
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 156
Spatial and behavioral types in the pi-calculus 156
On Formally Bounding Information Leakage by Statistical Estimation 156
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation 155
An implicit function theorem for the stream calculus 154
XPi: A typed process calculus for XML messaging 154
A Theory of ''May'' Testing for Asynchronous Languages 153
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 151
Quantitative information flow under generic leakage functions and adaptive adversaries 151
Products, Polynomials and Differential Equations in the Stream Calculus 150
A linear-algebraic method to compute polynomial PDE conservation laws 150
Bisimulation in Name-Passing Calculi without Matching 150
Algebra and Coalgebra of Stream Products 148
Process Algebraic Analysis of Cryptographic Protocols 147
A symbolic semantics for the π-calculus — Extended abstract 147
Proof Techniques for Cryptographic Processes 146
On Compositional Reasoning in the Spi-calculus 145
Sessions and Pipelines for Structured Service Programming 145
Symbolic Trace Analysis of Cryptographic Protocols 144
Inference on Markov chains parameters via Large Deviations ABC 143
Attacking right-to-left modular exponentiation with timely random faults 141
Testing Equivalence for Mobile Processes 140
SCC: a Service Centered Calculus 139
Quantifying Information Leakage in Process Calculi 139
Proceedings 7th International Workshop on Security Issues in Concurrency 138
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms 138
Asymptotic Information Leakage under One-Try Attacks 137
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 137
Divergence in testing and readiness semantics 137
A Symbolic Semantics for the pi-Calculus 134
Output Sampling for Output Diversity in Automatic Unit Test Generation 134
Quantitative Information Flow, with a View 131
Asymptotic Information Leakage under One-Try Attacks 130
Quantifying information leakage in process calculi 127
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs 127
On the coalgebra of partial differential equations 127
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation 125
Quantitative Multirun Security under Active Adversaries 123
Asynchronous Observations of Processes 123
Formal Techniques for Distributed Systems 120
Approximate Bayesian Computation for Probabilistic Damage Identification 119
Weighted Bisimulation in Linear Algebraic Form 116
Weighted approximate Bayesian computation via Sanov’s theorem 115
On the Expressiveness of Internal Mobility in Name-Passing Calculi 113
A theory of symbolic bisimulation for timed processes 113
On the expressivness of internal mobility in name-passing calculi 113
Complete sets of axioms for finite basic LOTOS behavioural equivalences 113
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE's 112
Bisimulations in the join-calculus 110
Algorithms for exact and approximate linear abstractions of polynomial continuous systems 109
Linearization, Model Reduction and Reachability in Nonlinear odes 107
STA, symbolic trace analyzer 102
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) 100
Process Algebraic Theories for Mobile Systems 98
Asymptotic Risk Analysis for Trust and Reputation SystemsSOFSEM 2013: Theory and Practice of Computer Science 97
Bisimilarity problems requiring exponential time 92
Totale 15.537
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.937
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 40.937
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021555 0 0 0 0 0 0 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.718 150 448 227 561 2.061 1.544 81 224 124 74 110 114
2025/20263.000 322 662 387 760 528 219 122 0 0 0 0 0
Totale 16.078