CINECA IRIS Institutional Research Information System

DEGANO, PIERPAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.057
EU - Europa 6.842
AS - Asia 2.305
AF - Africa 374
SA - Sud America 39
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 8
Totale 26.648
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.497
IT - Italia 2.428
SE - Svezia 1.298
CN - Cina 1.208
BG - Bulgaria 755
DE - Germania 616
CA - Canada 558
UA - Ucraina 468
TR - Turchia 386
FI - Finlandia 303
SG - Singapore 288
GB - Regno Unito 283
VN - Vietnam 274
CH - Svizzera 178
RU - Federazione Russa 168
SN - Senegal 136
FR - Francia 129
CI - Costa d'Avorio 118
NG - Nigeria 102
BE - Belgio 81
HK - Hong Kong 58
IN - India 36
AT - Austria 25
AU - Australia 23
BR - Brasile 21
GR - Grecia 21
KR - Corea 17
NL - Olanda 15
RO - Romania 14
PT - Portogallo 11
BJ - Benin 9
EU - Europa 8
DK - Danimarca 7
NO - Norvegia 7
PL - Polonia 7
CO - Colombia 6
JP - Giappone 6
PK - Pakistan 6
AR - Argentina 5
HR - Croazia 5
IL - Israele 5
PE - Perù 5
CZ - Repubblica Ceca 4
EG - Egitto 4
ES - Italia 4
IR - Iran 4
EE - Estonia 3
IE - Irlanda 3
BA - Bosnia-Erzegovina 2
BY - Bielorussia 2
CL - Cile 2
HU - Ungheria 2
IQ - Iraq 2
KZ - Kazakistan 2
MA - Marocco 2
MD - Moldavia 2
MY - Malesia 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
BD - Bangladesh 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ID - Indonesia 1
JO - Giordania 1
KH - Cambogia 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
MX - Messico 1
SA - Arabia Saudita 1
SI - Slovenia 1
SL - Sierra Leone 1
TN - Tunisia 1
Totale 26.648
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.991
Ann Arbor 2.217
Fairfield 1.601
Houston 1.450
Chandler 1.217
Milan 914
Ashburn 803
Sofia 755
Seattle 746
Jacksonville 627
Wilmington 600
Cambridge 578
Ottawa 537
New York 421
Beijing 416
Izmir 337
Boardman 296
Princeton 290
Serra 288
Lawrence 267
Nanjing 244
Des Moines 183
Bern 177
Dearborn 171
Medford 166
Florence 140
Dakar 136
Singapore 132
Düsseldorf 122
Abidjan 118
Jüchen 111
Bremen 107
Lagos 102
Rome 97
Redwood City 88
Nanchang 87
San Diego 86
Dong Ket 75
Kunming 67
Boulder 65
Marseille 60
Brussels 54
Hong Kong 53
Shenyang 51
Changsha 42
Jiaxing 40
Ogden 38
Hebei 33
Tianjin 33
Auburn Hills 32
Dallas 32
Kocaeli 32
Guangzhou 30
Norwalk 29
Chicago 28
Pisa 28
Washington 27
Hefei 26
Frankfurt am Main 25
London 25
Pune 25
Hangzhou 21
Los Angeles 21
Orange 21
Southend 19
Vienna 19
Jinan 16
Leuven 15
Verona 15
Phoenix 13
Helsinki 12
San Francisco 12
Toronto 12
Sacile 11
Santa Clara 11
Istanbul 10
Ningbo 10
Costa Mesa 9
Cotonou 9
Indiana 9
Portoferraio 9
Tappahannock 9
Falls Church 8
Genova 8
Nürnberg 8
Haikou 7
Horia 7
Lappeenranta 7
Quarrata 7
Shanghai 7
Torino 7
Amsterdam 6
Bologna 6
Changchun 6
Chengdu 6
Edinburgh 6
Grafing 6
Karlsruhe 6
Prato 6
Sydney 6
Totale 20.971
Salva come PNG Salva come JPEG
Nome #
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 200
Feedbacks and oscillations in the virtual cell VICE 193
Causal trees: Interleaving + causality 181
Expressive Models for Synaptic Plasticity 165
Programming environments: deriving language dependent tools from structured donotational semantics 164
Complexity as a basis for comparing semantic models of concurrency 161
CCS is an (augmented) contact-free C/E system. 159
Handling exp, x (and Timestamps) in Protocol Analysis 157
A Two-Phase Static Analysis for Reliable Adaptation 156
Program Transformations under Dynamic Security Policies 153
A stochastic semantics for BioAmbients 152
Firewall Management With FireWall Synthesizer 150
Stack Inspection and Secure Program Transformations 150
Distributed systems, partial orderings of events and event structures 149
Comparison of syntactic error handling in LR parsers 149
Applicative communicating processes in first order logic 148
A model of distributed systems based on graph rewriting 146
Automata for Analysing Service Contracts 145
Specification languages for distributed systems 144
Analysis of Facile programs: A case study. 144
Enhanced operational semantics 144
Natural Projection as Partial Model Checking 142
On the consistency of "truly concurrent" operational and denotational semantics 139
Axiomatizing net computations and processes 139
A transitional semantics of full Prolog 139
Causality for debugging mobile agents 138
Applicative Communicating Processes in First Order Logic 138
On Quantitative Security Policies 136
Liveness properties as convergence in metric spaces 135
UNIVERSAL AXIOMS FOR BISIMULATIONS 135
Artificial Intelligence -- Making computers more usable. 134
Atomic refinement in process description languages 134
A computational approach to the functional screening of genomes 134
Formalising Security in Ubiquitous and Cloud Scenarios 134
Formal Executable Descriptions of Biological Systems 133
Types for Coordinating Secure Behavioural Variations 133
On Evaluating the Performance of Security Protocols 133
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 132
Towards Nominal Context-Free Model-Checking 132
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 131
Performance Evaluation for Global Computation 131
LR techniques for handling syntax errors 130
Applications of the calculus of trees to process description languages 129
Feedbacks and oscillations in the virtual cell VICE 129
A Two-Component Language for COP 129
A Note on the Perfect Encryption Assumption in a Process Calculus 128
An efficient verifier of truly concurrent properties 127
Securing Java with Local Policies 127
A computational approach to the functional screening of genomes 127
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 127
Call-by-contract for service discovery, orchestration and recovery 126
Integrated Interactive Computing Systems. 125
Tool Supported Analysis of IoT 125
On the operational semantics of distributed concurrent systems 124
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries 124
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 124
Secure Service Orchestration 123
Causality and replication in concurrent processes 123
Causality for mobile processes 123
Programming environment generation based on denotational semantics 122
Detecting and preventing type flaws at static time 122
Cells in Silico: A Holistic Approach 122
Local Policies for Resource Usage Analysis 121
Constructing specific SOS semantics for concurrency via abstract interpretation 121
A Functional Plus Predicate Logic Programming 121
Secure and Unfailing Services 121
Linguistic Mechanisms for Context-Aware Security 121
Secure Service Composition 120
In silico stochastic simulation of Ca2+ triggered synaptic release 120
Authentication via Localized Names 120
Debits and Credits in Petri Nets and Linear Logic 120
Special Issues of the International Journal of Information Security 119
Static Analysis for Secrecy and Non-interference in Networks of Processes 119
Typing Context-Dependent Behavioural Variation 118
Mobile Processes with a distributed Environment 118
A normal form to restricted exponential functions 118
Understanding mobile agents via a non-interleaving semantics for Facile. 118
Enhanced Operational Semantics in Systems Biology 117
A Context-Oriented Extension of F#. 117
Program testing in an integrated software development environment 116
Automatic Validation of Protocol Narration 116
Refinement of actions in Event Structures and Causal Trees 115
Towards the definition of an experimental programming environment from language formal specifications 114
Event structures, causal trees, and refinements 114
Efficient incremental LR parsing for syntax-directed editors 114
Where Do Your IoT Ingredients Come From? 114
An evaluation based theorem prover 113
Typing Context-Dependent Behavioural Variation 113
Authentication Primitives for Secure Protocol Specifications 113
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 113
A fexilble environment for program development based on symbolic interpreter 113
Specification languages for modelling concurrency 112
Partial orderings descriptions and observations of nondeterministic concurrent processes 111
Types and effects for Resouce Usage Analysis 111
Safe ambients: control flow analysis and security 111
Last Mile’s Resources 111
Security Issues in Service Composition 110
Authentication Primitives for Protocol Specifications 110
Securing Java with Local Policies 109
Transcompiling Firewalls 109
Totale 13.039
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.678
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 65.678
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.752 0 0 242 305 500 496 562 354 489 278 378 148
2020/20212.440 225 178 204 134 237 114 169 236 223 238 132 350
2021/20223.114 68 216 126 314 590 419 68 153 95 49 216 800
2022/20233.544 394 323 205 384 454 496 19 248 675 23 288 35
2023/20242.900 487 372 409 249 412 494 56 73 49 37 45 217
2024/2025395 41 334 20 0 0 0 0 0 0 0 0 0
Totale 26.985