CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.996
EU - Europa 2.459
AS - Asia 1.268
AF - Africa 146
SA - Sud America 75
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 9.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.858
IT - Italia 814
SE - Svezia 661
CN - Cina 630
SG - Singapore 265
DE - Germania 243
BG - Bulgaria 214
TR - Turchia 151
CA - Canada 136
UA - Ucraina 136
RU - Federazione Russa 95
FI - Finlandia 90
GB - Regno Unito 85
NG - Nigeria 80
VN - Vietnam 78
HK - Hong Kong 75
BR - Brasile 67
CH - Svizzera 51
CI - Costa d'Avorio 41
IN - India 38
FR - Francia 33
SN - Senegal 14
BE - Belgio 13
JP - Giappone 6
NL - Olanda 5
RO - Romania 4
BD - Bangladesh 3
DK - Danimarca 3
EU - Europa 3
IE - Irlanda 3
IL - Israele 3
MA - Marocco 3
NZ - Nuova Zelanda 3
AR - Argentina 2
AZ - Azerbaigian 2
BJ - Benin 2
CO - Colombia 2
ES - Italia 2
GE - Georgia 2
ID - Indonesia 2
IQ - Iraq 2
JO - Giordania 2
LA - Repubblica Popolare Democratica del Laos 2
PE - Perù 2
PL - Polonia 2
TN - Tunisia 2
A1 - Anonimo 1
AM - Armenia 1
AO - Angola 1
AT - Austria 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
IR - Iran 1
KH - Cambogia 1
LU - Lussemburgo 1
MX - Messico 1
NO - Norvegia 1
PA - Panama 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 9.952
Salva come PNG Salva come JPEG
Città #
Woodbridge 702
Fairfield 650
Ann Arbor 629
Chandler 587
Houston 461
Santa Clara 407
Ashburn 299
Seattle 272
Serra 262
Cambridge 215
Sofia 214
Wilmington 197
Shanghai 178
Jacksonville 165
Beijing 163
Milan 154
Ottawa 131
Izmir 121
Singapore 112
New York 109
Boardman 91
Nanjing 85
Princeton 82
Bremen 80
Lagos 80
Lawrence 78
Hong Kong 73
Des Moines 68
Medford 65
Bern 49
Florence 43
Abidjan 41
Dearborn 41
Dong Ket 36
Nanchang 29
Istanbul 28
Jüchen 27
San Diego 26
Council Bluffs 25
Pune 22
San Vincenzo 20
Rome 19
Boulder 18
Kunming 17
Los Angeles 17
Dallas 16
Frankfurt am Main 16
Redwood City 16
Ogden 15
Dakar 14
Brussels 13
Changsha 12
Shenyang 12
Marseille 11
Quanzhou 11
Auburn Hills 10
Düsseldorf 10
Jiaxing 10
Fuzhou 9
Hangzhou 9
Norwalk 8
Capannori 7
Changchun 7
Indiana 7
Lyon 7
Tianjin 7
Guangzhou 6
Hebei 6
Jinan 6
Verona 6
Albissola Marina 5
London 5
Lucca 5
Berlin 4
Chengdu 4
Helsinki 4
Montgomery 4
Amsterdam 3
Cascina 3
Dublin 3
Genoa 3
New Orleans 3
Ningbo 3
Pisa 3
Rende 3
San Francisco 3
Tel Aviv 3
Toronto 3
Xiamen 3
Amman 2
Auckland 2
Baghdad 2
Baku 2
Belford Roxo 2
Belo Horizonte 2
Bengaluru 2
Betim 2
Boa Vista 2
Bogotá 2
Brasília 2
Totale 7.528
Salva come PNG Salva come JPEG
Nome #
Swarm coordination of mini-UAVs for target search using imperfect sensors 211
Heuristic search for equivalence checking 205
Shared Abstract Data Types: an Algebraic Methodology for their Specification 178
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 178
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 174
A Petri Nets Semantics for Data Flow Networks 171
A framework for data-flow distributed processing 161
Model checking for malicious family detection and phylogenetic analysis in mobile environment 160
An interactive debugger for a concurrent language 158
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 158
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 156
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 154
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 151
A Transformation System for Concurrent Processes 149
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 149
A Tool Supporting Efficient Model Checking of Concurrent Specifications 148
null 148
Checking Security of Java Bytecode by Abstract Interpretation 147
A formula-driven modular attack on state explosion 146
Proving Finiteness of CCS Processes by Non-Standard Semantics 142
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 141
Instruction-level security typing by abstract interpretation 139
Concurrent programming tools for the MUTEAM multimicroprocessor system 137
Finite Approximations for Model Checking Non-finite-state Processes 137
Development of a debugger for a concurrent language 136
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 134
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 134
Concurrent Programming Tools for the MuTEAM Microprocessor System 133
Algebraic Computational Models of OR-parallel Execution of Prolog 133
Modelling Free Flight with Collision Avoidance. : 270-280 131
Authenticity in a Reliable Protocol for Mobile Computing 130
An approach to system design based on P/T net simulation 130
A Framework for Data-Flow Distributed Processing 130
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 128
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 126
Java bytecode verification for secure information flow 126
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 126
Syntactic Reductions for Efficient Deadlock Analysis 125
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 124
Instruction-level security analysis for information flow in stack-based assembly languages 123
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 122
Decomposing Bytecode Verification by Abstract Interpretation 122
State Space Reduction by Non-standard Semantics for Deadlock Analysis 121
Partial model checking via abstract interpretation 120
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 119
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 118
Fixing the Java Bytecode Verifier by a Suitable Type Domain 117
Checking security properties by model checking 117
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 117
Towards innovative software engineering environments 115
A Non-Standard Semantics for Generating Reduced Transition Systems 115
Specification of Concurrency Control in Persistent Programming Languages 113
Unfold/Fold Transformations of Concurrent Processes 112
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 111
Selective Mu-calculus and formula-based equivalence of transition systems 111
Efficient Genotype Elimination via Adaptive Allele Consolidation 111
A Notion of Non-Interference for Timed Automata 111
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 109
Abstract Interpretation of Trace Semantics for Concurrent Calculi 107
Development of a Debugger for a Concurrent Language 106
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 104
AXIOMATIZING CCS, NETS AND PROCESSES 103
Checking Safety Proprieties through Simulation and Heuristic Search 101
Description of a Tool for Specifying and Prototyping Concurrent Programs 100
A user-friendly interface to specify temporal properties of concurrent systems 100
Towards a Logical Semantics fo Prolog 99
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 97
Efficient Verification of a Multicast Protocol for Mobile Computing 95
A Tool for Checking Secure Interaction in Java Cards 95
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 94
A Partial Order Semantics for FIFO-Nets 93
Development of a Debugger for a Concurrent Language 90
Formula Based Abstractions of Transition Systems for Real-time Model Checking 90
Modeling OR-Parallel Execution of Prolog using CHOCS 88
null 85
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 82
Logic Based Abstractions of Real-time Systems 78
Concurrent behavior: a construct to specify the external behavior of objects in an object database 77
A Notion of Non-Interference for Timed Automata 74
Timed Automata with non-Instantaneous Actions 65
GreASE: A Tool for Efficient "Nonequivalence" Checking 41
Model checking safety properties through simulation and heuristic search 15
Abstract Interpretation of Operational Semantics for Secure Information Flow 3
Totale 10.030
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.055
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 26.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020461 0 0 0 0 0 0 0 0 165 121 138 37
2020/2021802 65 42 63 31 110 40 46 71 113 79 44 98
2021/20221.017 21 57 14 185 185 117 13 53 36 17 53 266
2022/20231.566 176 215 87 291 200 189 19 96 197 7 76 13
2023/2024693 107 84 99 34 105 118 28 15 13 7 30 53
2024/20251.259 5 109 11 139 306 297 196 78 118 0 0 0
Totale 10.030