IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.931
EU - Europa 3.614
AS - Asia 1.237
SA - Sud America 518
Continente sconosciuto - Info sul continente non disponibili 110
AF - Africa 55
OC - Oceania 1
Totale 9.466
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.820
RU - Federazione Russa 1.546
IT - Italia 604
IE - Irlanda 598
SG - Singapore 475
BR - Brasile 405
CN - Cina 262
UA - Ucraina 167
DE - Germania 156
SE - Svezia 154
VN - Vietnam 136
FI - Finlandia 114
FR - Francia 93
GB - Regno Unito 76
HK - Hong Kong 58
BD - Bangladesh 56
CA - Canada 56
IN - India 52
AR - Argentina 38
TR - Turchia 36
JP - Giappone 28
PL - Polonia 26
MX - Messico 25
NL - Olanda 25
CO - Colombia 22
ID - Indonesia 20
IQ - Iraq 19
VE - Venezuela 16
ZA - Sudafrica 16
EC - Ecuador 13
ES - Italia 13
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
PK - Pakistan 10
UZ - Uzbekistan 10
CL - Cile 8
AT - Austria 7
JM - Giamaica 7
KE - Kenya 7
PE - Perù 7
SA - Arabia Saudita 7
AZ - Azerbaigian 6
LT - Lituania 6
MA - Marocco 6
AE - Emirati Arabi Uniti 5
JO - Giordania 5
MY - Malesia 5
NP - Nepal 5
PY - Paraguay 5
TN - Tunisia 5
DO - Repubblica Dominicana 4
DZ - Algeria 4
KR - Corea 4
OM - Oman 4
CH - Svizzera 3
CR - Costa Rica 3
CZ - Repubblica Ceca 3
EU - Europa 3
HN - Honduras 3
KH - Cambogia 3
PH - Filippine 3
PS - Palestinian Territory 3
UY - Uruguay 3
BA - Bosnia-Erzegovina 2
EG - Egitto 2
ET - Etiopia 2
IL - Israele 2
MD - Moldavia 2
MN - Mongolia 2
NI - Nicaragua 2
RO - Romania 2
RS - Serbia 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
A1 - Anonimo 1
AI - Anguilla 1
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
BZ - Belize 1
CG - Congo 1
DK - Danimarca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
GP - Guadalupe 1
GT - Guatemala 1
HR - Croazia 1
KG - Kirghizistan 1
KW - Kuwait 1
KY - Cayman, isole 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
MM - Myanmar 1
PA - Panama 1
Totale 9.357
Salva come PNG Salva come JPEG
Città #
Dallas 674
Dublin 597
Moscow 513
Chandler 487
San Jose 364
Jacksonville 294
Ashburn 241
Singapore 226
Milan 130
Baranello 113
Helsinki 111
The Dalles 103
Council Bluffs 93
Beijing 89
Dearborn 80
Staranzano 65
San Mateo 64
Princeton 62
Ho Chi Minh City 56
Hong Kong 55
Lauterbourg 52
Wilmington 51
São Paulo 49
Los Angeles 48
Columbus 44
Houston 43
New York 42
Santa Clara 42
Rome 31
Hanoi 29
Warsaw 26
Campobasso 23
Tokyo 22
Charlestown 21
Frankfurt am Main 20
Orem 20
Phoenix 17
Ann Arbor 16
Isernia 16
Ottawa 16
Hanover 15
Belo Horizonte 13
Chicago 13
Miano 13
Boston 12
Chennai 12
Denver 12
Mountain View 12
Naples 12
Stockholm 12
Toronto 12
Falkenstein 11
Hillsboro 11
Abidjan 10
Amsterdam 10
Augusta 10
Brussels 10
London 10
Rio de Janeiro 10
Tashkent 10
Woodbridge 10
Brooklyn 9
Hefei 9
Manchester 9
Mexico City 9
Poplar 9
Salvador 9
Brasília 8
Des Moines 8
Kocaeli 8
Monmouth Junction 8
Montreal 8
Mumbai 8
Ankara 7
Ardabil 7
Baghdad 7
Guangzhou 7
Haiphong 7
Johannesburg 7
Kunming 7
Leawood 7
Nanjing 7
Seattle 7
Baku 6
Buffalo 6
Goiânia 6
Hải Dương 6
Marrùbiu 6
Nairobi 6
Nanchang 6
New Delhi 6
Plymouth Meeting 6
Porto Alegre 6
Redwood City 6
San Francisco 6
Shenyang 6
Atlanta 5
Bogotá 5
Borås 5
Dhaka 5
Totale 5.555
Salva come PNG Salva come JPEG
Nome #
Verifying Tree-Manipulating Programs via CHCs 399
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 205
Automated Planning Through Program Verification 192
Analyzing Recursive Programs using Fixed-point Calculus 188
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 187
CSeq: A Sequentialization Tool for C 187
Analyzing temporal role based access control models 182
Reachability of scope-bounded multistack pushdown systems 179
Decidable logics combining heap structures and data 177
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 176
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 176
CSeq: A concurrency pre-processor for sequential C verification tools 173
Context-Bounded Analysis of Concurrent Queue Systems 171
Fast payment schemes for truthful mechanisms with verification 169
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 169
An Infinite Automaton Characterization of Double Exponential Time 167
Preventing unauthorized data flows 166
A Robust Class of Context-Sensitive Languages 165
Context-Bounded Analysis of TSO Systems 162
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 160
On the model-checking of branching-time temporal logic with BDI modalities 157
Analyzing temporal role based access control models 154
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 153
On the Complexity of Ltl Model-Checking of Recursive State Machines 149
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 149
Model checking BDI logics over finite-state worlds 147
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 146
Hierarchical and Recursive State Machines with Context-Dependent Properties 143
Minimum Weighted Feedback Vertex Set on Diamonds 135
On Sequentializing Concurrent Programs 135
Security Analysis of Role-Based Access Control through Program Verification 134
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 134
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 133
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 133
The Language Theory of Bounded Context-Switching 132
Policy analysis for self-administrated role-based access control 130
Reasoning about Data Trees using CHCs 128
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 126
Getting Rid of Store-Buffers in TSO Analysis 125
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 125
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 125
Parallel bug-finding in concurrent programs via reduced interleaving instances 124
Verifying Concurrent Programs by Memory Unwinding 124
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 123
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 122
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 121
Security Analysis of Role-Based Access Control through Program Verification 121
Lazy-CSeq: A Lazy Sequentialization Tool for C 120
The Tree Width of Auxiliary Storage 119
MU-CSeq 0.4: Individual Memory Location Unwindings 119
Reachability Games Modulo Theories with a Bounded Safety Player 119
Scope-Bounded Pushdown Languages. 118
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 117
On the Path-Width of Integer Linear Programming 116
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 115
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 115
On the path-width of integer linear programming 112
Security analysis for temporal role based access control 111
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 111
Unifying Approach for Multistack Pushdown Automata 102
Vac - Verifier of administrative role-based access control policies 101
Scope-Bounded Pushdown Languages 101
null 87
Static Data Race Detection via Lazy Sequentialization 78
Verifying Programs by Bounded Tree-Width Behavior Graphs 78
Reasoning About Data Trees Using CHCs 76
null 73
Totale 9.466
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.943
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 39.943
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022304 0 0 0 42 32 31 12 33 73 27 14 40
2022/20231.515 183 70 71 138 53 120 6 77 703 54 17 23
2023/2024290 87 19 14 4 14 4 5 13 2 4 114 10
2024/20251.239 35 56 48 53 181 68 78 224 110 33 161 192
2025/20264.297 152 341 583 364 852 870 412 115 150 310 89 59
2026/2027792 56 106 338 292 0 0 0 0 0 0 0 0
Totale 9.466