CINECA IRIS Institutional Research Information System

DE FRANCESCO, NICOLETTA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.311
AS - Asia 3.014
EU - Europa 2.742
SA - Sud America 337
AF - Africa 183
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 13.595
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.120
CN - Cina 979
SG - Singapore 888
IT - Italia 818
SE - Svezia 666
HK - Hong Kong 400
DE - Germania 304
BR - Brasile 281
BG - Bulgaria 216
VN - Vietnam 197
TR - Turchia 166
CA - Canada 148
UA - Ucraina 144
FR - Francia 124
KR - Corea 117
GB - Regno Unito 114
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
MX - Messico 18
PL - Polonia 17
SA - Arabia Saudita 17
SN - Senegal 16
BE - Belgio 13
PK - Pakistan 11
ES - Italia 10
MA - Marocco 9
ZA - Sudafrica 9
CO - Colombia 8
NP - Nepal 8
AT - Austria 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
PY - Paraguay 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
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
HN - Honduras 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
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 1
KW - Kuwait 1
LK - Sri Lanka 1
Totale 13.588
Salva come PNG Salva come JPEG
Città #
Ashburn 704
Woodbridge 702
Fairfield 650
Ann Arbor 629
Chandler 587
Singapore 568
Houston 463
Santa Clara 418
Hong Kong 395
Seattle 274
Serra 262
San Jose 255
Beijing 228
Sofia 216
Cambridge 215
Dallas 212
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 75
Lauterbourg 71
Des Moines 69
Medford 65
Ho Chi Minh City 50
Bern 49
Florence 44
Abidjan 42
Dearborn 41
Council Bluffs 40
Munich 38
Dong Ket 36
Tokyo 35
Buffalo 31
Nanchang 30
Istanbul 29
Redondo Beach 28
Jüchen 27
Frankfurt am Main 26
San Diego 26
Hanoi 24
Pune 23
Rome 20
San Vincenzo 20
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
Krakow 10
Rio de Janeiro 10
San Francisco 10
Brooklyn 9
Fuzhou 9
Chicago 8
Guangzhou 8
Haiphong 8
London 8
Lyon 8
Norwalk 8
Phoenix 8
Amman 7
Baghdad 7
Capannori 7
Changchun 7
Da Nang 7
Indiana 7
Jinan 7
Nuremberg 7
Tianjin 7
Bogotá 6
Chennai 6
Hebei 6
Totale 10.014
Salva come PNG Salva come JPEG
Nome #
Design and simulation of the emergent behavior of small drones swarming for distributed target localization 276
Swarm coordination of mini-UAVs for target search using imperfect sensors 270
Heuristic search for equivalence checking 254
Shared Abstract Data Types: an Algebraic Methodology for their Specification 243
A Petri Nets Semantics for Data Flow Networks 224
An interactive debugger for a concurrent language 221
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 218
Model checking for malicious family detection and phylogenetic analysis in mobile environment 215
Modular verification of correctness properties in an environment for concurrent systems specifications: the deadlock case 210
Instruction-level security typing by abstract interpretation 208
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 204
Concurrent programming tools for the MUTEAM multimicroprocessor system 197
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 197
Concurrent Programming Tools for the MuTEAM Microprocessor System 194
A Semantic Driven Method to Check the Finiteness of CCS Processes. CAV 1991 192
A Tool Supporting Efficient Model Checking of Concurrent Specifications 192
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 191
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 182
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode 180
Proving Finiteness of CCS Processes by Non-Standard Semantics 177
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 177
Decomposing Bytecode Verification by Abstract Interpretation 176
Instruction-level security analysis for information flow in stack-based assembly languages 175
Partial model checking via abstract interpretation 175
A formula-driven modular attack on state explosion 173
Algebraic Computational Models of OR-parallel Execution of Prolog 173
MODELING CONCURRENT ACCESSES TO SHARED DATA VIA PETRI NETS 172
Efficient Bytecode Verification using Immediate Postdominators in Control Flow Graphs 172
Development of a debugger for a concurrent language 171
Modelling Free Flight with Collision Avoidance. : 270-280 170
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 170
Authenticity in a Reliable Protocol for Mobile Computing 170
A Framework for Data-Flow Distributed Processing 169
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 168
Java bytecode verification for secure information flow 166
Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 165
Modeling OR-Parallel Execution of Prolog using CHOCS 165
Syntactic Reductions for Efficient Deadlock Analysis 165
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 165
Efficient Genotype Elimination via Adaptive Allele Consolidation 163
Model Checking of Non-Finite State Processes by Finite Approximations. : 195-215 162
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 159
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
Unfold/Fold Transformations of Concurrent Processes 153
An approach to system design based on P/T net simulation 153
Checking security properties by model checking 153
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 153
A Notion of Non-Interference for Timed Automata 153
Selective Mu-calculus and formula-based equivalence of transition systems 151
A user-friendly interface to specify temporal properties of concurrent systems 151
State Space Reduction by Non-standard Semantics for Deadlock Analysis 151
Fixing the Java Bytecode Verifier by a Suitable Type Domain 150
A Non-Standard Semantics for Generating Reduced Transition Systems 150
Checking Safety Proprieties through Simulation and Heuristic Search 150
Abstract Interpretation of Trace Semantics for Concurrent Calculi 149
null 148
Towards innovative software engineering environments 143
Towards a Logical Semantics fo Prolog 142
Specification of Concurrency Control in Persistent Programming Languages 141
A Tool for Checking Secure Interaction in Java Cards 140
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 134
Formula Based Abstractions of Transition Systems for Real-time Model Checking 129
Development of a Debugger for a Concurrent Language 128
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 128
A Partial Order Semantics for FIFO-Nets 128
Development of a Debugger for a Concurrent Language 123
Concurrent behavior: a construct to specify the external behavior of objects in an object database 123
Efficient Verification of a Multicast Protocol for Mobile Computing 115
Logic Based Abstractions of Real-time Systems 111
A Notion of Non-Interference for Timed Automata 109
Timed Automata with non-Instantaneous Actions 104
GreASE: A Tool for Efficient "Nonequivalence" Checking 99
null 85
Model checking safety properties through simulation and heuristic search 55
Abstract Interpretation of Operational Semantics for Secure Information Flow 26
Totale 13.673
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.148
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 36.148
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.387 264 324 256 157 235 246 369 89 117 212 55 63
2026/20275 5 0 0 0 0 0 0 0 0 0 0 0
Totale 13.673