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

PARLATO, Gennaro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.815
NA - Nord America 2.727
AS - Asia 839
SA - Sud America 399
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 6.816
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.664
RU - Federazione Russa 1.062
IE - Irlanda 593
IT - Italia 440
BR - Brasile 349
SG - Singapore 348
CN - Cina 180
UA - Ucraina 165
SE - Svezia 152
DE - Germania 135
FI - Finlandia 111
VN - Vietnam 104
GB - Regno Unito 54
HK - Hong Kong 42
CA - Canada 35
IN - India 32
JP - Giappone 25
FR - Francia 23
AR - Argentina 22
TR - Turchia 20
BD - Bangladesh 19
MX - Messico 19
PL - Polonia 19
NL - Olanda 16
ID - Indonesia 14
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
ZA - Sudafrica 9
ES - Italia 8
AT - Austria 6
CO - Colombia 6
IQ - Iraq 6
LT - Lituania 6
UZ - Uzbekistan 6
AE - Emirati Arabi Uniti 5
EC - Ecuador 5
PE - Perù 5
AZ - Azerbaigian 4
JO - Giordania 4
PK - Pakistan 4
PY - Paraguay 4
CH - Svizzera 3
CL - Cile 3
CZ - Repubblica Ceca 3
DO - Repubblica Dominicana 3
EU - Europa 3
JM - Giamaica 3
MA - Marocco 3
SA - Arabia Saudita 3
TN - Tunisia 3
VE - Venezuela 3
BA - Bosnia-Erzegovina 2
EG - Egitto 2
KE - Kenya 2
KR - Corea 2
NP - Nepal 2
UY - Uruguay 2
A1 - Anonimo 1
AI - Anguilla 1
AL - Albania 1
AU - Australia 1
BY - Bielorussia 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
GA - Gabon 1
HR - Croazia 1
IL - Israele 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
MD - Moldavia 1
MN - Mongolia 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
YE - Yemen 1
Totale 6.816
Salva come PNG Salva come JPEG
Città #
Dallas 662
Dublin 592
Chandler 487
Moscow 331
Jacksonville 294
Singapore 184
Baranello 113
Helsinki 108
Milan 92
Dearborn 80
The Dalles 79
Beijing 77
San Mateo 64
Princeton 58
Ashburn 57
Wilmington 50
Ho Chi Minh City 44
Columbus 43
São Paulo 41
Hong Kong 40
Los Angeles 34
New York 28
Rome 25
Hanoi 24
Campobasso 23
Tokyo 20
Warsaw 19
Santa Clara 18
Ann Arbor 16
Ottawa 16
Hanover 14
Isernia 14
Council Bluffs 12
Houston 12
Mountain View 12
Belo Horizonte 11
Boston 11
Falkenstein 11
Abidjan 10
Brussels 10
Stockholm 10
Woodbridge 10
Augusta 9
Brooklyn 9
Chennai 9
Hefei 9
London 9
Mexico City 9
Rio de Janeiro 9
Kocaeli 8
Monmouth Junction 8
Mumbai 8
Poplar 8
Toronto 8
Amsterdam 7
Ardabil 7
Chicago 7
Denver 7
Des Moines 7
Guangzhou 7
Kunming 7
Leawood 7
Nanjing 7
Naples 7
Ankara 6
Brasília 6
Frankfurt am Main 6
Goiânia 6
Manchester 6
Marrùbiu 6
Nanchang 6
Redwood City 6
Salvador 6
Shenyang 6
Tashkent 6
Atlanta 5
Borås 5
Haiphong 5
Jinan 5
Johannesburg 5
Molise 5
Norwalk 5
Porto Alegre 5
Sumaré 5
Baku 4
Bolton 4
Haikou 4
Hortolândia 4
Hải Dương 4
Karlsruhe 4
Livorno 4
Montreal 4
Paris 4
San Jose 4
Santo André 4
Sorocaba 4
Trento 4
Turin 4
Woodford Green 4
Andover 3
Totale 4.203
Salva come PNG Salva come JPEG
Nome #
Verifying Tree-Manipulating Programs via CHCs 319
Automated Planning Through Program Verification 150
Analyzing Recursive Programs using Fixed-point Calculus 149
CSeq: A Sequentialization Tool for C 143
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 139
Reachability of scope-bounded multistack pushdown systems 137
Analyzing temporal role based access control models 135
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 134
CSeq: A concurrency pre-processor for sequential C verification tools 134
Context-Bounded Analysis of Concurrent Queue Systems 131
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 130
An Infinite Automaton Characterization of Double Exponential Time 126
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 126
Preventing unauthorized data flows 125
Decidable logics combining heap structures and data 124
Context-Bounded Analysis of TSO Systems 123
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 120
A Robust Class of Context-Sensitive Languages 120
On the model-checking of branching-time temporal logic with BDI modalities 120
Analyzing temporal role based access control models 119
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 116
On the Complexity of Ltl Model-Checking of Recursive State Machines 113
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 111
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 109
Fast payment schemes for truthful mechanisms with verification 109
Hierarchical and Recursive State Machines with Context-Dependent Properties 105
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 103
The Language Theory of Bounded Context-Switching 100
Model checking BDI logics over finite-state worlds 99
Reasoning about Data Trees using CHCs 97
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 97
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 97
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 97
Reachability Games Modulo Theories with a Bounded Safety Player 97
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 96
Security Analysis of Role-Based Access Control through Program Verification 95
Minimum Weighted Feedback Vertex Set on Diamonds 95
Verifying Concurrent Programs by Memory Unwinding 95
Getting Rid of Store-Buffers in TSO Analysis 91
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 91
On Sequentializing Concurrent Programs 90
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 89
MU-CSeq 0.4: Individual Memory Location Unwindings 89
Policy analysis for self-administrated role-based access control 88
On the Path-Width of Integer Linear Programming 88
Scope-Bounded Pushdown Languages. 88
Lazy-CSeq: A Lazy Sequentialization Tool for C 88
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 88
null 87
Parallel bug-finding in concurrent programs via reduced interleaving instances 87
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 87
Security analysis for temporal role based access control 85
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 85
Security Analysis of Role-Based Access Control through Program Verification 84
The Tree Width of Auxiliary Storage 83
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 80
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 79
Unifying Approach for Multistack Pushdown Automata 77
On the path-width of integer linear programming 77
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 73
Scope-Bounded Pushdown Languages 73
null 73
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 73
Vac - Verifier of administrative role-based access control policies 55
Verifying Programs by Bounded Tree-Width Behavior Graphs 52
Reasoning About Data Trees Using CHCs 44
Static Data Race Detection via Lazy Sequentialization 42
Totale 6.921
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.412
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.412
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021247 0 0 0 0 0 20 56 7 48 8 106 2
2021/2022405 1 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/20262.544 152 341 583 364 852 252 0 0 0 0 0 0
Totale 6.921