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

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.466
NA - Nord America 3.406
AS - Asia 1.226
SA - Sud America 485
Continente sconosciuto - Info sul continente non disponibili 109
AF - Africa 55
OC - Oceania 1
Totale 8.748
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.310
RU - Federazione Russa 1.546
IE - Irlanda 598
SG - Singapore 475
IT - Italia 466
BR - Brasile 396
CN - Cina 261
UA - Ucraina 167
DE - Germania 156
SE - Svezia 154
VN - Vietnam 135
FI - Finlandia 113
FR - Francia 93
GB - Regno Unito 69
HK - Hong Kong 58
BD - Bangladesh 53
IN - India 52
CA - Canada 45
TR - Turchia 35
AR - Argentina 33
JP - Giappone 28
PL - Polonia 26
MX - Messico 25
NL - Olanda 25
ID - Indonesia 20
IQ - Iraq 19
ZA - Sudafrica 16
CO - Colombia 14
ES - Italia 13
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
PK - Pakistan 10
UZ - Uzbekistan 10
VE - Venezuela 10
CL - Cile 8
EC - Ecuador 8
JM - Giamaica 7
KE - Kenya 7
PE - Perù 7
AT - Austria 6
AZ - Azerbaigian 6
LT - Lituania 6
MA - Marocco 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
JO - Giordania 5
NP - Nepal 5
PY - Paraguay 5
TN - Tunisia 5
DO - Repubblica Dominicana 4
DZ - Algeria 4
KR - Corea 4
MY - Malesia 4
OM - Oman 4
CH - Svizzera 3
CZ - Repubblica Ceca 3
EU - Europa 3
HN - Honduras 3
KH - Cambogia 3
UY - Uruguay 3
BA - Bosnia-Erzegovina 2
CR - Costa Rica 2
EG - Egitto 2
ET - Etiopia 2
IL - Israele 2
MD - Moldavia 2
MN - Mongolia 2
NI - Nicaragua 2
PH - Filippine 2
PS - Palestinian Territory 2
RS - Serbia 2
SV - El Salvador 2
A1 - Anonimo 1
AI - Anguilla 1
AL - Albania 1
AM - Armenia 1
AU - Australia 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
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
PA - Panama 1
RO - Romania 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
YE - Yemen 1
ZW - Zimbabwe 1
Totale 8.643
Salva come PNG Salva come JPEG
Città #
Dallas 667
Dublin 597
Moscow 513
Chandler 487
San Jose 299
Jacksonville 294
Singapore 226
Ashburn 149
Baranello 113
Helsinki 110
The Dalles 103
Milan 93
Beijing 88
Dearborn 80
San Mateo 64
Princeton 59
Ho Chi Minh City 55
Hong Kong 55
Lauterbourg 52
Wilmington 51
São Paulo 47
Los Angeles 45
Columbus 43
New York 40
Santa Clara 38
Hanoi 29
Rome 29
Council Bluffs 26
Warsaw 26
Campobasso 23
Tokyo 22
Frankfurt am Main 20
Orem 20
Ann Arbor 16
Isernia 16
Ottawa 16
Hanover 15
Houston 14
Belo Horizonte 13
Chennai 12
Denver 12
Mountain View 12
Stockholm 12
Toronto 12
Boston 11
Falkenstein 11
Hillsboro 11
Abidjan 10
Amsterdam 10
Augusta 10
Brussels 10
Chicago 10
London 10
Naples 10
Rio de Janeiro 10
Tashkent 10
Woodbridge 10
Brooklyn 9
Hefei 9
Manchester 9
Mexico City 9
Poplar 9
Des Moines 8
Kocaeli 8
Monmouth Junction 8
Mumbai 8
Salvador 8
Ankara 7
Ardabil 7
Baghdad 7
Brasília 7
Guangzhou 7
Haiphong 7
Johannesburg 7
Kunming 7
Leawood 7
Nanjing 7
Baku 6
Buffalo 6
Goiânia 6
Hải Dương 6
Marrùbiu 6
Montreal 6
Nairobi 6
Nanchang 6
New Delhi 6
Redwood City 6
Shenyang 6
Atlanta 5
Borås 5
Jinan 5
Molise 5
Norwalk 5
Phoenix 5
Porto Alegre 5
Sumaré 5
Turin 5
Bari 4
Boardman 4
Bolton 4
Totale 5.124
Salva come PNG Salva come JPEG
Nome #
Verifying Tree-Manipulating Programs via CHCs 381
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 194
Automated Planning Through Program Verification 181
CSeq: A Sequentialization Tool for C 178
Analyzing Recursive Programs using Fixed-point Calculus 177
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 173
Analyzing temporal role based access control models 171
Reachability of scope-bounded multistack pushdown systems 169
CSeq: A concurrency pre-processor for sequential C verification tools 165
Decidable logics combining heap structures and data 164
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 164
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 160
Fast payment schemes for truthful mechanisms with verification 159
Context-Bounded Analysis of Concurrent Queue Systems 159
An Infinite Automaton Characterization of Double Exponential Time 158
A Robust Class of Context-Sensitive Languages 158
Preventing unauthorized data flows 157
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 156
Context-Bounded Analysis of TSO Systems 150
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 149
On the model-checking of branching-time temporal logic with BDI modalities 145
Analyzing temporal role based access control models 144
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 142
On the Complexity of Ltl Model-Checking of Recursive State Machines 139
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 138
Model checking BDI logics over finite-state worlds 137
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 135
Hierarchical and Recursive State Machines with Context-Dependent Properties 132
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 126
Security Analysis of Role-Based Access Control through Program Verification 125
Minimum Weighted Feedback Vertex Set on Diamonds 124
On Sequentializing Concurrent Programs 124
Policy analysis for self-administrated role-based access control 120
The Language Theory of Bounded Context-Switching 120
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 119
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 118
Reasoning about Data Trees using CHCs 116
Getting Rid of Store-Buffers in TSO Analysis 116
Parallel bug-finding in concurrent programs via reduced interleaving instances 115
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 114
Verifying Concurrent Programs by Memory Unwinding 113
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 113
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 113
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 112
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 110
The Tree Width of Auxiliary Storage 110
Scope-Bounded Pushdown Languages. 110
Security Analysis of Role-Based Access Control through Program Verification 110
Reachability Games Modulo Theories with a Bounded Safety Player 109
Lazy-CSeq: A Lazy Sequentialization Tool for C 108
MU-CSeq 0.4: Individual Memory Location Unwindings 108
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 108
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 105
On the Path-Width of Integer Linear Programming 105
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 105
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 105
Security analysis for temporal role based access control 102
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 100
On the path-width of integer linear programming 97
Scope-Bounded Pushdown Languages 93
Unifying Approach for Multistack Pushdown Automata 92
Vac - Verifier of administrative role-based access control policies 91
null 87
null 73
Verifying Programs by Bounded Tree-Width Behavior Graphs 69
Static Data Race Detection via Lazy Sequentialization 64
Reasoning About Data Trees Using CHCs 64
Totale 8.748
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.618
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 37.618
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022404 0 55 45 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/202774 56 18 0 0 0 0 0 0 0 0 0 0
Totale 8.748