CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.859
EU - Europa 2.616
AS - Asia 2.572
SA - Sud America 304
AF - Africa 171
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 12.530
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.686
CN - Cina 939
IT - Italia 815
SG - Singapore 671
SE - Svezia 664
HK - Hong Kong 396
DE - Germania 299
BR - Brasile 266
BG - Bulgaria 215
TR - Turchia 159
CA - Canada 143
UA - Ucraina 143
KR - Corea 117
GB - Regno Unito 109
VN - Vietnam 107
FI - Finlandia 104
RU - Federazione Russa 100
NG - Nigeria 81
IN - India 69
CH - Svizzera 51
FR - Francia 51
CI - Costa d'Avorio 42
BD - Bangladesh 17
JP - Giappone 15
IQ - Iraq 14
SN - Senegal 14
AR - Argentina 13
BE - Belgio 13
SA - Arabia Saudita 13
MX - Messico 10
PK - Pakistan 8
ZA - Sudafrica 8
AT - Austria 7
CO - Colombia 7
ES - Italia 7
MA - Marocco 7
NL - Olanda 7
PL - Polonia 7
AE - Emirati Arabi Uniti 5
IE - Irlanda 5
PE - Perù 5
TT - Trinidad e Tobago 5
JO - Giordania 4
NP - Nepal 4
RO - Romania 4
RS - Serbia 4
TN - Tunisia 4
AM - Armenia 3
AZ - Azerbaigian 3
DK - Danimarca 3
EG - Egitto 3
EU - Europa 3
GE - Georgia 3
IL - Israele 3
JM - Giamaica 3
NI - Nicaragua 3
NZ - Nuova Zelanda 3
PY - Paraguay 3
UY - Uruguay 3
AL - Albania 2
BB - Barbados 2
BF - Burkina Faso 2
BJ - Benin 2
CL - Cile 2
DZ - Algeria 2
EC - Ecuador 2
GA - Gabon 2
ID - Indonesia 2
KE - Kenya 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
MD - Moldavia 2
OM - Oman 2
PA - Panama 2
PH - Filippine 2
UZ - Uzbekistan 2
A1 - Anonimo 1
AO - Angola 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
ET - Etiopia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
LU - Lussemburgo 1
MN - Mongolia 1
MY - Malesia 1
NO - Norvegia 1
PS - Palestinian Territory 1
PT - Portogallo 1
TH - Thailandia 1
Totale 12.528
Salva come PNG Salva come JPEG
Città #
Woodbridge 702
Ashburn 658
Fairfield 650
Ann Arbor 629
Chandler 587
Singapore 484
Houston 462
Santa Clara 413
Hong Kong 394
Seattle 274
Serra 262
Beijing 226
Cambridge 215
Sofia 215
Dallas 206
Wilmington 197
Shanghai 178
Jacksonville 165
Milan 154
Hefei 143
Ottawa 132
Izmir 122
New York 117
Seoul 117
Boardman 91
Nanjing 85
Princeton 82
Lagos 81
Bremen 80
Lawrence 78
Los Angeles 71
Des Moines 68
Medford 65
Bern 49
Florence 44
Abidjan 42
Dearborn 41
Munich 38
Dong Ket 36
Council Bluffs 32
Buffalo 30
Nanchang 30
Istanbul 29
Redondo Beach 28
Jüchen 27
San Diego 26
Frankfurt am Main 24
Pune 23
San Vincenzo 20
Rome 19
Boulder 18
Columbus 17
Kunming 17
Düsseldorf 16
Ho Chi Minh City 16
Redwood City 16
The Dalles 16
Ogden 15
Dakar 14
Turku 14
Brussels 13
São Paulo 13
Changsha 12
Shenyang 12
Marseille 11
Quanzhou 11
Auburn Hills 10
Belo Horizonte 10
Hangzhou 10
Jiaxing 10
Fuzhou 9
Rio de Janeiro 9
London 8
Lyon 8
Norwalk 8
San Francisco 8
Tokyo 8
Brooklyn 7
Capannori 7
Changchun 7
Guangzhou 7
Indiana 7
Jinan 7
Tianjin 7
Baghdad 6
Hebei 6
Verona 6
Albissola Marina 5
Amsterdam 5
Betim 5
Bogotá 5
Caxias do Sul 5
Hanoi 5
Helsinki 5
Lima 5
Lucca 5
Nuremberg 5
Riyadh 5
Amman 4
Belgrade 4
Totale 9.400
Salva come PNG Salva come JPEG
Nome #
Swarm coordination of mini-UAVs for target search using imperfect sensors 254
Heuristic search for equivalence checking 242
Shared Abstract Data Types: an Algebraic Methodology for their Specification 231
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 221
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 206
Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations 205
An interactive debugger for a concurrent language 204
A Petri Nets Semantics for Data Flow Networks 203
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 198
Model checking for malicious family detection and phylogenetic analysis in mobile environment 198
JCSI: A Tool for Checking Secure Information Flow in Java Card Applications 193
Checking Security of Java Bytecode by Abstract Interpretation 188
Instruction-level security typing by abstract interpretation 188
A framework for data-flow distributed processing 187
Concurrent programming tools for the MUTEAM multimicroprocessor system 185
A Tool Supporting Efficient Model Checking of Concurrent Specifications 181
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 180
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 180
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 180
Concurrent Programming Tools for the MuTEAM Microprocessor System 178
A Transformation System for Concurrent Processes 177
Finite Approximations for Model Checking Non-finite-state Processes 173
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 172
Proving Finiteness of CCS Processes by Non-Standard Semantics 170
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 168
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 166
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 166
A formula-driven modular attack on state explosion 164
Authenticity in a Reliable Protocol for Mobile Computing 162
Algebraic Computational Models of OR-parallel Execution of Prolog 161
Development of a debugger for a concurrent language 159
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 158
Instruction-level security analysis for information flow in stack-based assembly languages 158
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 157
Modelling Free Flight with Collision Avoidance. : 270-280 156
Decomposing Bytecode Verification by Abstract Interpretation 156
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 155
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 154
A Framework for Data-Flow Distributed Processing 154
Java bytecode verification for secure information flow 153
Syntactic Reductions for Efficient Deadlock Analysis 152
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 151
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 151
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 150
Partial model checking via abstract interpretation 150
An approach to system design based on P/T net simulation 149
null 148
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 148
Efficient Genotype Elimination via Adaptive Allele Consolidation 148
A Non-Standard Semantics for Generating Reduced Transition Systems 143
Modeling OR-Parallel Execution of Prolog using CHOCS 142
Fixing the Java Bytecode Verifier by a Suitable Type Domain 142
Checking security properties by model checking 142
Selective Mu-calculus and formula-based equivalence of transition systems 142
Unfold/Fold Transformations of Concurrent Processes 141
A Notion of Non-Interference for Timed Automata 141
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 139
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 138
State Space Reduction by Non-standard Semantics for Deadlock Analysis 138
Abstract Interpretation of Trace Semantics for Concurrent Calculi 137
Towards innovative software engineering environments 135
A user-friendly interface to specify temporal properties of concurrent systems 135
Specification of Concurrency Control in Persistent Programming Languages 134
Checking Safety Proprieties through Simulation and Heuristic Search 134
Towards a Logical Semantics fo Prolog 128
A Tool for Checking Secure Interaction in Java Cards 127
AXIOMATIZING CCS, NETS AND PROCESSES 125
Development of a Debugger for a Concurrent Language 124
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 119
Formula Based Abstractions of Transition Systems for Real-time Model Checking 118
Description of a Tool for Specifying and Prototyping Concurrent Programs 117
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 115
A Partial Order Semantics for FIFO-Nets 115
Concurrent behavior: a construct to specify the external behavior of objects in an object database 114
Development of a Debugger for a Concurrent Language 113
Efficient Verification of a Multicast Protocol for Mobile Computing 108
A Notion of Non-Interference for Timed Automata 101
Logic Based Abstractions of Real-time Systems 99
Timed Automata with non-Instantaneous Actions 93
null 85
GreASE: A Tool for Efficient "Nonequivalence" Checking 79
Model checking safety properties through simulation and heuristic search 38
Abstract Interpretation of Operational Semantics for Secure Information Flow 19
Totale 12.608
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.602
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 32.602
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021491 0 0 0 0 0 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/20252.510 5 109 11 139 306 297 196 78 184 321 350 514
2025/20261.327 264 324 256 157 235 91 0 0 0 0 0 0
Totale 12.608