CINECA IRIS Institutional Research Information System

DEGANO, PIERPAOLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 22.104
AS - Asia 10.176
EU - Europa 7.974
SA - Sud America 1.279
AF - Africa 540
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 13
Totale 42.111
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.358
CN - Cina 3.179
SG - Singapore 2.993
IT - Italia 2.558
HK - Hong Kong 1.468
SE - Svezia 1.306
BR - Brasile 1.073
BG - Bulgaria 756
DE - Germania 749
VN - Vietnam 712
CA - Canada 612
TR - Turchia 560
UA - Ucraina 484
KR - Corea 433
FR - Francia 401
RU - Federazione Russa 400
GB - Regno Unito 399
FI - Finlandia 389
JP - Giappone 209
CH - Svizzera 183
IN - India 171
SN - Senegal 140
CI - Costa d'Avorio 118
NG - Nigeria 104
BD - Bangladesh 103
BE - Belgio 90
AR - Argentina 64
IQ - Iraq 59
MX - Messico 48
ZA - Sudafrica 47
PK - Pakistan 46
AT - Austria 33
VE - Venezuela 33
CO - Colombia 32
SA - Arabia Saudita 32
UZ - Uzbekistan 30
ES - Italia 29
NL - Olanda 27
AU - Australia 25
KE - Kenya 25
PL - Polonia 25
EG - Egitto 24
GR - Grecia 22
MA - Marocco 21
PT - Portogallo 19
ID - Indonesia 18
RO - Romania 18
JM - Giamaica 17
PY - Paraguay 17
EC - Ecuador 16
IL - Israele 16
JO - Giordania 16
PE - Perù 16
PH - Filippine 16
CL - Cile 13
TN - Tunisia 13
AE - Emirati Arabi Uniti 12
CR - Costa Rica 12
AZ - Azerbaigian 11
IE - Irlanda 11
KZ - Kazakistan 11
TT - Trinidad e Tobago 11
ET - Etiopia 10
BJ - Benin 9
DK - Danimarca 9
NO - Norvegia 9
UY - Uruguay 9
CZ - Repubblica Ceca 8
EU - Europa 8
NP - Nepal 8
BB - Barbados 7
GE - Georgia 7
HR - Croazia 7
LT - Lituania 7
MY - Malesia 7
AL - Albania 6
DO - Repubblica Dominicana 6
DZ - Algeria 6
HN - Honduras 6
IR - Iran 6
LK - Sri Lanka 6
OM - Oman 6
BO - Bolivia 5
LB - Libano 5
LC - Santa Lucia 5
MD - Moldavia 5
NI - Nicaragua 5
PS - Palestinian Territory 5
AO - Angola 4
BY - Bielorussia 4
EE - Estonia 4
HU - Ungheria 4
PA - Panama 4
PR - Porto Rico 4
RS - Serbia 4
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BF - Burkina Faso 3
GT - Guatemala 3
KG - Kirghizistan 3
Totale 42.053
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.991
Ann Arbor 2.217
Ashburn 1.873
Singapore 1.682
Fairfield 1.601
Houston 1.459
Hong Kong 1.445
Chandler 1.217
Santa Clara 1.124
Milan 942
San Jose 849
Sofia 756
Seattle 750
Jacksonville 628
Beijing 611
Dallas 607
Wilmington 600
Hefei 589
Shanghai 584
Cambridge 578
Ottawa 541
New York 440
Seoul 415
Izmir 340
Boardman 300
Serra 291
Princeton 290
Lawrence 267
Nanjing 245
Lauterbourg 227
Tokyo 200
Los Angeles 190
Des Moines 184
Bern 177
Dearborn 171
Medford 166
Ho Chi Minh City 148
Florence 145
Istanbul 141
Dakar 140
Düsseldorf 136
Buffalo 121
Abidjan 118
Hanoi 115
Jüchen 111
Rome 111
Bremen 107
Council Bluffs 107
Lagos 104
Redwood City 88
Nanchang 87
San Diego 86
São Paulo 80
The Dalles 80
Dong Ket 75
Helsinki 74
Redondo Beach 70
Kunming 69
Boulder 65
Munich 65
Marseille 62
Brussels 57
Frankfurt am Main 54
Shenyang 53
London 48
Rio de Janeiro 46
Changsha 44
Chicago 43
Jiaxing 40
Guangzhou 39
Ogden 37
Tianjin 35
Belo Horizonte 33
Hebei 33
Auburn Hills 32
Kocaeli 32
Pune 31
Columbus 30
Washington 30
Norwalk 29
Pisa 29
Dhaka 28
Orem 28
San Francisco 28
Brasília 27
Tashkent 26
Hangzhou 25
Johannesburg 24
Baghdad 23
Vienna 23
Chennai 22
Haiphong 22
Orange 22
Nairobi 21
Fuzhou 20
Toronto 20
Turku 20
Curitiba 19
Jinan 19
Phoenix 19
Totale 31.263
Salva come PNG Salva come JPEG
Nome #
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 259
Causal trees: Interleaving + causality 255
Programming environments: deriving language dependent tools from structured donotational semantics 247
Feedbacks and oscillations in the virtual cell VICE 245
Natural Projection as Partial Model Checking 245
Expressive Models for Synaptic Plasticity 233
Firewall Management With FireWall Synthesizer 230
CCS is an (augmented) contact-free C/E system. 228
A Two-Phase Static Analysis for Reliable Adaptation 223
Applicative communicating processes in first order logic 222
Complexity as a basis for comparing semantic models of concurrency 222
A stochastic semantics for BioAmbients 220
Comparison of syntactic error handling in LR parsers 218
Program Transformations under Dynamic Security Policies 218
Distributed systems, partial orderings of events and event structures 217
Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries 217
. . . e se fossimo davvero figli dei fisici? 216
Revealing the trajectories of KLAIM tuples, statically 214
UNIVERSAL AXIOMS FOR BISIMULATIONS 213
Specification languages for distributed systems 212
Programming environment generation based on denotational semantics 210
Liveness properties as convergence in metric spaces 210
A DISTRIBUTED OPERATIONAL SEMANTICS FOR CCS BASED ON CONDITION EVENT SYSTEMS 210
On the consistency of "truly concurrent" operational and denotational semantics 210
Enhanced operational semantics 210
Handling exp, x (and Timestamps) in Protocol Analysis 210
Atomic refinement in process description languages 209
Analysis of Facile programs: A case study. 209
Causality for mobile processes 208
A transitional semantics of full Prolog 207
An efficient verifier of truly concurrent properties 206
Axiomatizing net computations and processes 205
Towards Nominal Context-Free Model-Checking 202
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 202
Stack Inspection and Secure Program Transformations 201
On the operational semantics of distributed concurrent systems 200
Integrated Interactive Computing Systems. 199
Context-aware security: Linguistic mechanisms and static analysis 199
Linguistic Mechanisms for Context-Aware Security 199
LR techniques for handling syntax errors 198
FWS: Analyzing, maintaining and transcompiling firewalls 197
Artificial Intelligence -- Making computers more usable. 196
Program testing in an integrated software development environment 196
Towards the definition of an experimental programming environment from language formal specifications 195
On Quantitative Security Policies 195
Automata for Analysing Service Contracts 195
Authentication Primitives for Secure Protocol Specifications 193
Applicative Communicating Processes in First Order Logic 193
Specification languages for modelling concurrency 192
Formal Executable Descriptions of Biological Systems 192
Detecting and preventing type flaws at static time 192
Constructing specific SOS semantics for concurrency via abstract interpretation 192
A model of distributed systems based on graph rewriting 192
Last Mile’s Resources 192
In silico stochastic simulation of Ca2+ triggered synaptic release 191
A Two-Component Language for COP 191
Types for Coordinating Secure Behavioural Variations 191
Applications of the calculus of trees to process description languages 189
An evaluation based theorem prover 187
Stochastic models for the in silico simulation of synaptic processes 187
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 187
Performance Evaluation for Global Computation 187
Secure Service Composition 185
Special Issues of the International Journal of Information Security 185
A Context-Oriented Extension of F#. 185
Debits and Credits in Petri Nets and Linear Logic 185
Programming in a context-aware language 185
Security Metrics at Work on the Things in IoT Systems 185
Event structures, causal trees, and refinements 184
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 184
A Note on the Perfect Encryption Assumption in a Process Calculus 183
A computational approach to the functional screening of genomes 183
Local Policies for Resource Usage Analysis 183
Controller synthesis of service contracts with variability 183
Call-by-contract for service discovery, orchestration and recovery 182
Semantics-Based Design for Secure Web Services 180
Understanding mobile agents via a non-interleaving semantics for Facile. 180
Refinement of actions in Event Structures and Causal Trees 179
Securing Java with Local Policies 179
Causality for debugging mobile agents 179
Types and Effects for Secure Service Orchestration 179
A Functional Plus Predicate Logic Programming 179
Formalising Security in Ubiquitous and Cloud Scenarios 179
Causality and replication in concurrent processes 178
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 178
Feedbacks and oscillations in the virtual cell VICE 177
Secure Service Orchestration 176
Static Analysis for Secrecy and Non-interference in Networks of Processes 175
Tool Supported Analysis of IoT 175
Are All Firewall Systems Equally Powerful? 173
Using Standard Typing Algorithms Incrementally 173
A distributed operational semantics for CCS based on C/E systems 172
Proved trees 172
Authentication via Localized Names 172
Generating the analythic component parts of syntax-directed editors 171
Efficient incremental LR parsing for syntax-directed editors 171
A computational approach to the functional screening of genomes 171
Cells in Silico: A Holistic Approach 171
Security in Pervasive Applications: A Survey 171
On Evaluating the Performance of Security Protocols 170
Totale 19.652
Salva come PNG Salva come JPEG
Categoria #
all - tutte 112.052
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 112.052
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.899 487 372 409 249 412 494 56 73 49 37 44 217
2024/20257.731 40 333 46 404 764 756 685 562 614 1.052 912 1.563
2025/20268.090 1.003 1.221 800 484 773 825 1.180 325 412 668 249 150
2026/202747 47 0 0 0 0 0 0 0 0 0 0 0
Totale 42.457