CINECA IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021142 0 0 0 0 0 0 0 0 0 0 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/20262.288 264 324 256 157 235 246 369 89 117 212 19 0
Totale 13.569