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.554
EU - Europa 1.521
AS - Asia 273
AF - Africa 10
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 4
Totale 3.371
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.532
IE - Irlanda 592
IT - Italia 243
UA - Ucraina 158
SE - Svezia 143
DE - Germania 123
CN - Cina 111
RU - Federazione Russa 107
SG - Singapore 107
FI - Finlandia 103
CA - Canada 21
JP - Giappone 17
GB - Regno Unito 16
FR - Francia 14
IR - Iran 11
CI - Costa d'Avorio 10
BE - Belgio 9
BR - Brasile 9
IN - India 9
TR - Turchia 9
NL - Olanda 5
AE - Emirati Arabi Uniti 3
EU - Europa 3
CZ - Repubblica Ceca 2
HK - Hong Kong 2
PK - Pakistan 2
A1 - Anonimo 1
AT - Austria 1
AZ - Azerbaigian 1
CH - Svizzera 1
DK - Danimarca 1
KR - Corea 1
LT - Lituania 1
MD - Moldavia 1
PA - Panama 1
RO - Romania 1
Totale 3.371
Salva come PNG Salva come JPEG
Città #
Dublin 592
Chandler 487
Jacksonville 294
Baranello 113
Helsinki 101
Dearborn 80
San Mateo 64
Princeton 58
Wilmington 50
Singapore 43
Campobasso 21
Ann Arbor 16
Beijing 16
Ottawa 16
Dallas 15
Hanover 14
Mountain View 12
Tokyo 12
Houston 11
Abidjan 10
Isernia 10
Santa Clara 10
Woodbridge 10
Brussels 9
Hefei 9
Kocaeli 8
Monmouth Junction 8
Ardabil 7
Ashburn 7
Guangzhou 7
Kunming 7
Leawood 7
Nanjing 7
Augusta 6
Marrùbiu 6
Nanchang 6
Redwood City 6
Shenyang 6
Borås 5
Falkenstein 5
Jinan 5
Molise 5
Norwalk 5
Rome 5
Bolton 4
Frankfurt am Main 4
Haikou 4
Livorno 4
Los Angeles 4
Mumbai 4
Trento 4
Woodford Green 4
Andover 3
Belo Horizonte 3
Hebei 3
Karlsruhe 3
Pianella 3
Southampton 3
Toronto 3
Bellante 2
Brdo 2
Chongqing 2
Dalian 2
Fairfield 2
Falls Church 2
Lappeenranta 2
Morgan Hill 2
Munich 2
Naples 2
Ningbo 2
Portland 2
Rockville 2
Salerno 2
San Giovanni Rotondo 2
São Paulo 2
Tsukuba 2
Aabybro 1
Baku 1
Bangalore 1
Baotou 1
Bayreuth 1
Benevento 1
Bollebygd 1
Bracciano 1
Changchun 1
Chengdu 1
Chisinau 1
Chiyoda-ku 1
Easley 1
Ercolano 1
Fisciano 1
Frattamaggiore 1
Fuzhou 1
Gravataí 1
Groningen 1
Guiyang 1
Hangzhou 1
Harbin 1
Huzhou 1
Jiaxing 1
Totale 2.302
Salva come PNG Salva come JPEG
Nome #
Automated Planning Through Program Verification 95
null 87
Analyzing Recursive Programs using Fixed-point Calculus 80
Reachability of scope-bounded multistack pushdown systems 79
On the Complexity of Ltl Model-Checking of Recursive State Machines 77
Bounded Verification of Multi-Threaded Programs via Lazy Sequentialization 77
CSeq: A Sequentialization Tool for C 75
Hierarchical and Recursive State Machines with Context-Dependent Properties 74
null 73
Preventing unauthorized data flows 71
The Language Theory of Bounded Context-Switching 70
Security Analysis of Role-Based Access Control through Program Verification 67
Analyzing temporal role based access control models 67
An Infinite Automaton Characterization of Double Exponential Time 66
On the model-checking of branching-time temporal logic with BDI modalities 66
Model checking BDI logics over finite-state worlds 65
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 64
Analyzing temporal role based access control models 62
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 62
null 61
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 61
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 61
Fast payment schemes for truthful mechanisms with verification 61
On Sequentializing Concurrent Programs 61
Lazy-CSeq: A Lazy Sequentialization Tool for C 60
Security analysis for temporal role based access control 59
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem 59
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 59
Getting Rid of Store-Buffers in TSO Analysis 58
CSeq: A concurrency pre-processor for sequential C verification tools 58
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists 58
Context-Bounded Analysis of Concurrent Queue Systems 57
A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds 57
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents 56
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 56
Decidable logics combining heap structures and data 54
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs 53
A Robust Class of Context-Sensitive Languages 53
Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width 52
Context-Bounded Analysis of TSO Systems 52
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 51
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models 50
A Linear Time Algorithm for the Minimum Weighted Feedback Vertex Set on Diamonds 48
VeriSmart 2.0: Swarm-based bug-finding for multi-threaded programs with lazy-CSeq 48
Reducing Context-bounded Concurrent Reachability to Sequential Reachability 45
Minimum Weighted Feedback Vertex Set on Diamonds 44
Verifying Concurrent Programs by Memory Unwinding 44
Security Analysis of Role-Based Access Control through Program Verification 44
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 43
MU-CSeq 0.4: Individual Memory Location Unwindings 43
Reachability Games Modulo Theories with a Bounded Safety Player 43
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 42
Unifying Approach for Multistack Pushdown Automata 42
Scope-Bounded Pushdown Languages. 42
On the path-width of integer linear programming 42
Parallel bug-finding in concurrent programs via reduced interleaving instances 41
On the Path-Width of Integer Linear Programming 33
Scope-Bounded Pushdown Languages 32
The Tree Width of Auxiliary Storage 32
Policy analysis for self-administrated role-based access control 22
Vac - Verifier of administrative role-based access control policies 14
A Unified Automata-Theoretic Approach to LTLf Modulo Theories 11
Static Data Race Detection via Lazy Sequentialization 7
Reasoning About Data Trees Using CHCs 6
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 6
Verifying Programs by Bounded Tree-Width Behavior Graphs 5
Reasoning about Data Trees using CHCs 3
Totale 3.466
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.221
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 20.221
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020377 0 0 0 0 61 48 110 28 60 11 5 54
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/2025328 35 56 48 55 134 0 0 0 0 0 0 0
Totale 3.466