CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.462 0 0 0 0 0 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.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/20265.065 1.003 1.221 800 484 773 784 0 0 0 0 0 0
Totale 39.385