BOREALE, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 4.945
EU - Europa 1.995
AS - Asia 253
AF - Africa 14
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 7.216
Nazione #
US - Stati Uniti d'America 4.939
IT - Italia 402
IE - Irlanda 347
SE - Svezia 347
PL - Polonia 306
DE - Germania 177
UA - Ucraina 150
HK - Hong Kong 129
FI - Finlandia 81
GB - Regno Unito 80
TR - Turchia 49
RU - Federazione Russa 48
CN - Cina 43
CH - Svizzera 32
VN - Vietnam 12
FR - Francia 11
IN - India 11
SC - Seychelles 10
BE - Belgio 8
JO - Giordania 7
CA - Canada 6
ES - Italia 4
BR - Brasile 3
CM - Camerun 3
AU - Australia 2
EU - Europa 2
NL - Olanda 2
SG - Singapore 2
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
Totale 7.216
Città #
Fairfield 930
Woodbridge 419
Ashburn 415
Chandler 411
Seattle 401
Cambridge 390
Dublin 347
Houston 306
Warsaw 306
Wilmington 288
Jacksonville 227
Altamura 141
Lawrence 140
Florence 109
Princeton 100
Ann Arbor 98
Buffalo 95
Medford 57
Boston 56
Hong Kong 50
Izmir 47
San Diego 46
Boardman 34
Bern 32
Norwalk 19
Beijing 18
Hillsboro 18
Shanghai 17
Washington 14
Falls Church 13
Frankfurt Am Main 12
Dong Ket 10
Siena 10
London 9
Milan 9
Cascina 8
New York 8
Pontedera 8
Salerno 8
Auburn Hills 7
Brussels 7
Dearborn 7
Toronto 5
Andover 4
Cagliari 4
Chiswick 4
Kilburn 4
Laurel 4
Montecchio Emilia 4
Moscow 4
Olgiate Comasco 4
Pisa 4
Redwood City 4
Verona 4
Barcelona 3
Follonica 3
Livorno 3
Perugia 3
Philadelphia 3
Pittsburgh 3
Pune 3
Rome 3
Sesto Fiorentino 3
Acton 2
Beauvais 2
Castiglione della Pescaia 2
Chengdu 2
Chiusi 2
Guangzhou 2
Hanoi 2
Hanover 2
Heidelberg 2
Islington 2
Leawood 2
Nanjing 2
Nereto 2
New Bedfont 2
Phoenix 2
Saint Petersburg 2
San Mateo 2
Serra 2
São Paulo 2
Abidjan 1
Americana 1
Arezzo 1
Casandrino 1
Cecina 1
Central 1
Chennai 1
Colle Di Val D'elsa 1
Dallas 1
Düsseldorf 1
Gloucester 1
Grevenbroich 1
Hounslow 1
Leuven 1
Los Angeles 1
Lucca 1
Maricopa 1
Medellín 1
Totale 5.779
Nome #
Searching secrets rationally 227
Relative privacy threats and learning from anonymized data 148
Relative privacy risks and learning from anonymized data 141
A Typed Calculus for Querying Distributed XML Documents 122
A Fully Abstract Semantics for Causality in the pi-Calculus 112
Testing equivalence for mobile processes 111
Analysis of Probabilistic Systems via Generating Functions and Pad'e Approximation 110
Experimenting with STA, a tool for automatic analysis of security protocols 109
Symbolic Bisimulation for Timed Processes 106
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries 106
A Fully Abstract Semantics for Causality in the pi-calculus 103
Behavioural contracts with request-response operations 103
A complexity analysis of bisimilarity for value-passing processes 101
D-Fusion: A Distinctive Fusion Calculus 101
A Concurrent Calculus with Atomic Transactions 101
Algebra, coalgebra, and minimization in polynomial differential equations 101
Basic Observables for Processes 98
A method for symbolic analysis of security protocols 98
XPi: A Typed Process Calculus for XML Messaging 97
Type Abstractions of Name-Passing Processes 97
A Framework for the Analysis of Security Protocols 97
Responsiveness in Process Calculi 96
A General Name Binding Mechanism 94
Bisimulation in Name-Passing Calculi without Matching 91
Proof Techniques for Cryptographic Processes 91
Behavioural contracts with request-response operations 90
Responsiveness in process calculi 88
On Formally Bounding Information Leakage by Statistical Estimation 88
Basic Observables for Processes 87
Worst- and average-case privacy breaches in randomization mechanisms 87
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation 85
Process Algebraic Analysis of Cryptographic Protocols 85
A Type System for Client Progress in a Service-Oriented Calculus 85
Static Analysis Techniques for Session-Oriented Calculi 85
Deciding safety properties in infinite-state pi-calculus via behavioural types 83
Advanced mechanisms for service composition, query and discovery 83
Symbolic Trace Analysis of Cryptographic Protocols 83
CaSPiS: a calculus of sessions, pipelines and services 82
On Compositional Reasoning in the Spi-calculus 81
A coalgebraic perspective on linear weighted automata 81
Processes as formal power series: A coinductive approach to denotational semantics 80
Spatial and Behavioral Types in the Pi-Calculus 80
Spatial and behavioral types in the pi-calculus 80
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types 79
Linear-Time and May-Testing in a Probabilistic Reactive Setting 77
Denotational Testing Semantics in Coinductive Form 76
Attacking right-to-left modular exponentiation with timely random faults 76
Quantitative information flow under generic leakage functions and adaptive adversaries 75
Trace and Testing Equivalence on Asynchronous Processes 74
Testing Equivalence for Mobile Processes 74
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms 73
Sessions and Pipelines for Structured Service Programming 73
Divergence in testing and readiness semantics 73
On the relationship between spatial logics and behavioral simulations 73
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 72
Proof Techniques for Cryptographic Processes 71
Asymptotic Information Leakage under One-Try Attacks 71
XPi: A typed process calculus for XML messaging 71
Quantifying Information Leakage in Process Calculi 70
Quantitative Information Flow, with a View 70
Asymptotic Information Leakage under One-Try Attacks 69
A symbolic semantics for the π-calculus — Extended abstract 69
Quantifying information leakage in process calculi 68
SCC: a Service Centered Calculus 66
Asynchronous Observations of Processes 65
Improving ABC via large deviations theory 65
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis 64
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance 64
Formal Techniques for Distributed Systems 64
A Theory of ''May'' Testing for Asynchronous Languages 60
Complete sets of axioms for finite basic LOTOS behavioural equivalences 59
Quantitative Multirun Security under Active Adversaries 58
Weighted Bisimulation in Linear Algebraic Form 58
Algebra, coalgebra, and minimization in polynomial differential equations 56
On the Expressiveness of Internal Mobility in Name-Passing Calculi 55
Bisimulations in the join-calculus 55
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODE's 53
On the expressivness of internal mobility in name-passing calculi 52
A Symbolic Semantics for the pi-Calculus 48
Algorithms for exact and approximate linear abstractions of polynomial continuous systems 44
On the Complexity of Bisimilarity for Value-Passing Processes(Extended Abstract) 42
Proceedings 7th International Workshop on Security Issues in Concurrency 40
Weighted approximate Bayesian computation via Sanov’s theorem 40
Inference on Markov chains parameters via Large Deviations ABC 40
Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial ODEs 38
Bisimilarity problems requiring exponential time 37
A theory of symbolic bisimulation for timed processes 36
Output Sampling for Output Diversity in Automatic Unit Test Generation 36
STA, symbolic trace analyzer 33
Asymptotic Risk Analysis for Trust and Reputation SystemsSOFSEM 2013: Theory and Practice of Computer Science 32
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. 32
On the coalgebra of partial differential equations 31
Process Algebraic Theories for Mobile Systems 26
Process calculi and the verification of security protocols 24
Some Congruence Properties for Pi-Calculus Bisimilarities 22
Algebra and Coalgebra of Stream Products 20
Linearization, Model Reduction and Reachability in Nonlinear odes 17
Approximate Bayesian Computation for Probabilistic Damage Identification 16
Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation 12
A linear-algebraic method to compute polynomial PDE conservation laws 10
Totale 7.298
Categoria #
all - tutte 20.002
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 20.002


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019862 0 0 0 0 0 0 0 0 8 160 377 317
2019/20201.796 178 99 47 155 207 236 219 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.662 151 389 84 131 132 286 185 92 115 6 43 48
2023/2024456 32 55 119 30 49 68 21 74 8 0 0 0
Totale 7.306