BOREALE, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.811
EU - Europa 4.756
AS - Asia 2.752
SA - Sud America 460
AF - Africa 91
OC - Oceania 72
Continente sconosciuto - Info sul continente non disponibili 3
Totale 17.945
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.741
RU - Federazione Russa 1.433
IT - Italia 1.231
SG - Singapore 757
CN - Cina 620
DE - Germania 519
HK - Hong Kong 383
BR - Brasile 367
VN - Vietnam 367
SE - Svezia 358
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
TR - Turchia 56
JP - Giappone 38
CA - Canada 35
CH - Svizzera 33
AR - Argentina 31
BD - Bangladesh 29
IQ - Iraq 24
ID - Indonesia 22
CI - Costa d'Avorio 19
NL - Olanda 17
MX - Messico 16
JO - Giordania 15
PK - Pakistan 15
ZA - Sudafrica 15
ES - Italia 14
MY - Malesia 14
NG - Nigeria 13
CL - Cile 12
EC - Ecuador 12
VE - Venezuela 12
SC - Seychelles 10
PY - Paraguay 9
CO - Colombia 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
CR - Costa Rica 3
DZ - Algeria 3
HN - Honduras 3
IL - Israele 3
OM - Oman 3
TN - Tunisia 3
AL - Albania 2
AT - Austria 2
BE - Belgio 2
DO - Repubblica Dominicana 2
EU - Europa 2
GA - Gabon 2
GT - Guatemala 2
JM - Giamaica 2
LB - Libano 2
LT - Lituania 2
NP - Nepal 2
TT - Trinidad e Tobago 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
BS - Bahamas 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
PR - Porto Rico 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
Totale 17.943
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.284
Fairfield 930
Ashburn 714
Singapore 512
Woodbridge 419
Chandler 411
Seattle 405
Cambridge 390
Dublin 324
Warsaw 316
Houston 307
Hong Kong 295
Wilmington 290
Seoul 250
Milan 233
Jacksonville 230
Florence 168
Buffalo 148
Hefei 145
Altamura 141
Lawrence 140
San Jose 128
The Dalles 123
Ho Chi Minh City 107
Princeton 101
Ann Arbor 98
Lauterbourg 94
Beijing 93
Hanoi 93
Los Angeles 92
Rome 82
Melbourne 70
Moscow 67
Boston 60
Medford 57
Mumbai 55
New York 50
Boardman 49
Izmir 47
São Paulo 47
San Diego 46
Dallas 42
Tokyo 36
Kent 35
Bern 32
Council Bluffs 30
Shanghai 30
Turin 26
Naples 24
Redondo Beach 23
Norwalk 20
Abidjan 19
Chicago 19
Hillsboro 18
Da Nang 17
Haiphong 16
Helsinki 15
Jakarta 15
Montreal 15
Washington 15
Bologna 14
Frankfurt am Main 14
Lucca 14
Falls Church 13
Orem 13
Venice 13
Abuja 12
Clifton 12
Figino 12
Frankfurt Am Main 12
London 12
Palermo 12
Phoenix 11
Siena 11
Yubileyny 11
Bari 10
Dong Ket 10
Johannesburg 10
Livorno 10
Miano 10
Stockholm 10
Verona 10
Biên Hòa 9
Brooklyn 9
Calvi Risorta 9
Rio de Janeiro 9
Toronto 9
Baghdad 8
Belo Horizonte 8
Brasília 8
Cagliari 8
Cascina 8
Chennai 8
Pisa 8
Pontedera 8
Salerno 8
West Jordan 8
Wuhan 8
Asunción 7
Atlanta 7
Totale 12.461
Salva come PNG Salva come JPEG
Nome #
Searching secrets rationally 375
Linearization, model reduction and reachability in nonlinear odes 347
Relative privacy threats and learning from anonymized data 271
Relative privacy risks and learning from anonymized data 255
A Typed Calculus for Querying Distributed XML Documents 234
A complexity analysis of bisimilarity for value-passing processes 227
A Fully Abstract Semantics for Causality in the pi-Calculus 226
Proof Techniques for Cryptographic Processes 222
Experimenting with STA, a tool for automatic analysis of security protocols 218
A Concurrent Calculus with Atomic Transactions 218
Type Abstractions of Name-Passing Processes 206
Worst- and average-case privacy breaches in randomization mechanisms 206
Responsiveness in Process Calculi 205
Algebra, coalgebra, and minimization in polynomial differential equations 204
A method for symbolic analysis of security protocols 202
Behavioural contracts with request-response operations 199
A Fully Abstract Semantics for Causality in the pi-calculus 198
XPi: A Typed Process Calculus for XML Messaging 196
Static Analysis Techniques for Session-Oriented Calculi 196
Advanced mechanisms for service composition, query and discovery 195
CaSPiS: a calculus of sessions, pipelines and services 195
An implicit function theorem for the stream calculus 194
A General Name Binding Mechanism 194
A coalgebraic perspective on linear weighted automata 192
Deciding safety properties in infinite-state pi-calculus via behavioural types 191
Behavioural contracts with request-response operations 190
A Framework for the Analysis of Security Protocols 189
Algebra, coalgebra, and minimization in polynomial differential equations 188
D-Fusion: A Distinctive Fusion Calculus 187
Spatial and Behavioral Types in the Pi-Calculus 185
Improving ABC via large deviations theory 185
Basic Observables for Processes 184
Basic Observables for Processes 184
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries 184
A Type System for Client Progress in a Service-Oriented Calculus 183
Analysis of Probabilistic Systems via Generating Functions and Pad'e Approximation 183
On the relationship between spatial logics and behavioral simulations 183
Responsiveness in process calculi 182
Symbolic Bisimulation for Timed Processes 181
Linear-Time and May-Testing in a Probabilistic Reactive Setting 181
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance 180
A linear-algebraic method to compute polynomial PDE conservation laws 179
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation 178
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 177
Trace and Testing Equivalence on Asynchronous Processes 176
On Formally Bounding Information Leakage by Statistical Estimation 175
Inference on Markov chains parameters via Large Deviations ABC 175
Symbolic Trace Analysis of Cryptographic Protocols 174
Processes as formal power series: A coinductive approach to denotational semantics 173
Testing equivalence for mobile processes 173
XPi: A typed process calculus for XML messaging 173
Quantitative information flow under generic leakage functions and adaptive adversaries 170
Spatial and behavioral types in the pi-calculus 168
Denotational Testing Semantics in Coinductive Form 167
Bisimulation in Name-Passing Calculi without Matching 167
A Theory of ''May'' Testing for Asynchronous Languages 167
Products, Polynomials and Differential Equations in the Stream Calculus 166
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 165
Sessions and Pipelines for Structured Service Programming 165
Algebra and Coalgebra of Stream Products 161
On Compositional Reasoning in the Spi-calculus 161
Process Algebraic Analysis of Cryptographic Protocols 159
Output Sampling for Output Diversity in Automatic Unit Test Generation 159
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 158
A symbolic semantics for the π-calculus — Extended abstract 158
Proof Techniques for Cryptographic Processes 157
Testing Equivalence for Mobile Processes 156
Proceedings 7th International Workshop on Security Issues in Concurrency 156
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms 156
On the coalgebra of partial differential equations 156
Divergence in testing and readiness semantics 154
SCC: a Service Centered Calculus 153
Quantifying Information Leakage in Process Calculi 152
A Symbolic Semantics for the pi-Calculus 151
Asymptotic Information Leakage under One-Try Attacks 149
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs 148
Attacking right-to-left modular exponentiation with timely random faults 147
Quantitative Multirun Security under Active Adversaries 146
Weighted approximate Bayesian computation via Sanov’s theorem 146
Quantifying information leakage in process calculi 146
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation 145
Quantitative Information Flow, with a View 140
Approximate Bayesian Computation for Probabilistic Damage Identification 138
Asymptotic Information Leakage under One-Try Attacks 134
Asynchronous Observations of Processes 134
Complete sets of axioms for finite basic LOTOS behavioural equivalences 134
Formal Techniques for Distributed Systems 132
A theory of symbolic bisimulation for timed processes 127
Weighted Bisimulation in Linear Algebraic Form 124
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE's 123
On the expressivness of internal mobility in name-passing calculi 123
Linearization, Model Reduction and Reachability in Nonlinear odes 122
On the Expressiveness of Internal Mobility in Name-Passing Calculi 119
STA, symbolic trace analyzer 119
Bisimulations in the join-calculus 118
Algorithms for exact and approximate linear abstractions of polynomial continuous systems 117
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) 115
Asymptotic Risk Analysis for Trust and Reputation SystemsSOFSEM 2013: Theory and Practice of Computer Science 110
Bisimilarity problems requiring exponential time 108
Process Algebraic Theories for Mobile Systems 108
Totale 17.322
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.039
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 46.039
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20264.964 322 662 387 760 528 219 525 215 253 240 107 746
2026/202717 17 0 0 0 0 0 0 0 0 0 0 0
Totale 18.059