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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020655 0 0 0 0 0 0 0 236 202 85 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.128 150 448 227 561 2.061 1.544 81 56 0 0 0 0
Totale 12.488