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 1.817
EU - Europa 1.809
AS - Asia 537
SA - Sud America 163
AF - Africa 17
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 4.348
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.783
IE - Irlanda 593
IT - Italia 431
SG - Singapore 257
UA - Ucraina 162
BR - Brasile 153
RU - Federazione Russa 151
CN - Cina 149
SE - Svezia 144
DE - Germania 133
FI - Finlandia 110
HK - Hong Kong 38
GB - Regno Unito 27
CA - Canada 25
JP - Giappone 18
IN - India 17
FR - Francia 15
TR - Turchia 14
NL - Olanda 13
IR - Iran 11
BE - Belgio 10
CI - Costa d'Avorio 10
BD - Bangladesh 8
PL - Polonia 5
AE - Emirati Arabi Uniti 4
AT - Austria 4
MX - Messico 4
UZ - Uzbekistan 4
VN - Vietnam 4
AZ - Azerbaigian 3
CO - Colombia 3
EU - Europa 3
PK - Pakistan 3
AR - Argentina 2
BA - Bosnia-Erzegovina 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
ES - Italia 2
JO - Giordania 2
MA - Marocco 2
SA - Arabia Saudita 2
VE - Venezuela 2
ZA - Sudafrica 2
A1 - Anonimo 1
AU - Australia 1
CH - Svizzera 1
DK - Danimarca 1
EC - Ecuador 1
GA - Gabon 1
JM - Giamaica 1
KE - Kenya 1
KR - Corea 1
LT - Lituania 1
MD - Moldavia 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PE - Perù 1
PY - Paraguay 1
RO - Romania 1
TN - Tunisia 1
Totale 4.348
Salva come PNG Salva come JPEG
Città #
Dublin 592
Chandler 487
Jacksonville 294
Singapore 117
Baranello 113
Helsinki 108
Milan 92
Dearborn 80
San Mateo 64
The Dalles 60
Princeton 58
Beijing 51
Wilmington 50
Columbus 43
Hong Kong 36
Dallas 26
Rome 25
Campobasso 23
Ann Arbor 16
Ottawa 16
Hanover 14
Isernia 14
Ashburn 13
Tokyo 13
Council Bluffs 12
Los Angeles 12
Mountain View 12
São Paulo 12
Falkenstein 11
Houston 11
Santa Clara 11
Abidjan 10
Brussels 10
Woodbridge 10
Belo Horizonte 9
Hefei 9
Augusta 8
Kocaeli 8
Monmouth Junction 8
Ardabil 7
Guangzhou 7
Kunming 7
Leawood 7
Nanjing 7
Amsterdam 6
Marrùbiu 6
Nanchang 6
Naples 6
Redwood City 6
Rio de Janeiro 6
Shenyang 6
Toronto 6
Borås 5
Boston 5
Brooklyn 5
Frankfurt am Main 5
Jinan 5
Molise 5
Norwalk 5
Warsaw 5
Bolton 4
Haikou 4
Livorno 4
Mumbai 4
Tashkent 4
Trento 4
Turin 4
Woodford Green 4
Andover 3
Atlanta 3
Baku 3
Bari 3
Boardman 3
Chicago 3
Goiânia 3
Hebei 3
Karlsruhe 3
London 3
Munich 3
New York 3
Palermo 3
Pescara 3
Pianella 3
Salerno 3
San Jose 3
Southampton 3
Verona 3
Amman 2
Atibaia 2
Bellante 2
Bologna 2
Brasília 2
Brdo 2
Buffalo 2
Camden 2
Chongqing 2
Concórdia 2
Dalian 2
Fairfield 2
Falls Church 2
Totale 2.796
Salva come PNG Salva come JPEG
Nome #
Reachability of scope-bounded multistack pushdown systems 114
Automated Planning Through Program Verification 110
Analyzing Recursive Programs using Fixed-point Calculus 98
On the model-checking of branching-time temporal logic with BDI modalities 98
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 98
On the Complexity of Ltl Model-Checking of Recursive State Machines 97
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 96
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 93
CSeq: A Sequentialization Tool for C 91
null 87
Preventing unauthorized data flows 87
Context-Bounded Analysis of Concurrent Queue Systems 87
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 86
Hierarchical and Recursive State Machines with Context-Dependent Properties 85
A Robust Class of Context-Sensitive Languages 82
Decidable logics combining heap structures and data 81
Analyzing temporal role based access control models 79
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 79
Context-Bounded Analysis of TSO Systems 79
CSeq: A concurrency pre-processor for sequential C verification tools 78
An Infinite Automaton Characterization of Double Exponential Time 78
Analyzing temporal role based access control models 77
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 77
The Language Theory of Bounded Context-Switching 76
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 76
Fast payment schemes for truthful mechanisms with verification 76
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 75
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 74
Security Analysis of Role-Based Access Control through Program Verification 73
Getting Rid of Store-Buffers in TSO Analysis 73
null 73
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 72
Reasoning about Data Trees using CHCs 71
Model checking BDI logics over finite-state worlds 71
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 70
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 70
On Sequentializing Concurrent Programs 70
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 68
Security analysis for temporal role based access control 67
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 65
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 65
Lazy-CSeq: A Lazy Sequentialization Tool for C 65
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 64
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 64
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 57
Security Analysis of Role-Based Access Control through Program Verification 57
Reachability Games Modulo Theories with a Bounded Safety Player 54
On the path-width of integer linear programming 53
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 52
Unifying Approach for Multistack Pushdown Automata 52
Minimum Weighted Feedback Vertex Set on Diamonds 51
Policy analysis for self-administrated role-based access control 50
Scope-Bounded Pushdown Languages. 50
Verifying Concurrent Programs by Memory Unwinding 50
MU-CSeq 0.4: Individual Memory Location Unwindings 49
Parallel bug-finding in concurrent programs via reduced interleaving instances 47
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 46
The Tree Width of Auxiliary Storage 44
On the Path-Width of Integer Linear Programming 40
Scope-Bounded Pushdown Languages 38
Vac - Verifier of administrative role-based access control policies 32
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 32
Reasoning About Data Trees Using CHCs 23
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 23
Static Data Race Detection via Lazy Sequentialization 18
Verifying Programs by Bounded Tree-Width Behavior Graphs 11
Verifying Tree-Manipulating Programs via CHCs 9
Totale 4.453
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.838
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 25.838
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021434 1 51 1 77 57 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/202676 76 0 0 0 0 0 0 0 0 0 0 0
Totale 4.453