UniSa - IRIS Institutional Research Information System

LA TORRE, Salvatore
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.521
AS - Asia 2.373
EU - Europa 2.280
SA - Sud America 306
Continente sconosciuto - Info sul continente non disponibili 262
AF - Africa 65
OC - Oceania 2
Totale 12.809
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.324
SG - Singapore 1.022
IT - Italia 890
CN - Cina 530
UA - Ucraina 404
VN - Vietnam 238
BR - Brasile 227
RU - Federazione Russa 200
HK - Hong Kong 197
DE - Germania 174
SE - Svezia 169
IE - Irlanda 129
FR - Francia 113
TR - Turchia 112
CA - Canada 101
FI - Finlandia 91
KR - Corea 67
BD - Bangladesh 43
IN - India 42
GB - Regno Unito 38
AR - Argentina 31
IQ - Iraq 27
MX - Messico 21
ZA - Sudafrica 18
JP - Giappone 16
PL - Polonia 15
EC - Ecuador 12
VE - Venezuela 12
CO - Colombia 11
HN - Honduras 11
PH - Filippine 11
PK - Pakistan 10
SA - Arabia Saudita 10
ES - Italia 9
EU - Europa 9
GT - Guatemala 9
BE - Belgio 8
ID - Indonesia 8
JM - Giamaica 8
EG - Egitto 7
MA - Marocco 7
NP - Nepal 7
TT - Trinidad e Tobago 7
CR - Costa Rica 6
SV - El Salvador 6
UZ - Uzbekistan 6
AT - Austria 5
CW - ???statistics.table.value.countryCode.CW??? 5
GP - Guadalupe 5
IL - Israele 5
PR - Porto Rico 5
RO - Romania 5
TN - Tunisia 5
CL - Cile 4
JO - Giordania 4
KE - Kenya 4
NI - Nicaragua 4
NL - Olanda 4
PY - Paraguay 4
SN - Senegal 4
BB - Barbados 3
BG - Bulgaria 3
CM - Camerun 3
LB - Libano 3
MY - Malesia 3
UY - Uruguay 3
AL - Albania 2
AZ - Azerbaigian 2
BA - Bosnia-Erzegovina 2
BZ - Belize 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
GR - Grecia 2
HT - Haiti 2
KZ - Kazakistan 2
LT - Lituania 2
MU - Mauritius 2
NE - Niger 2
XK - ???statistics.table.value.countryCode.XK??? 2
AE - Emirati Arabi Uniti 1
AG - Antigua e Barbuda 1
AO - Angola 1
AU - Australia 1
BO - Bolivia 1
BW - Botswana 1
CG - Congo 1
CI - Costa d'Avorio 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
HU - Ungheria 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
LC - Santa Lucia 1
LU - Lussemburgo 1
Totale 12.543
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.529
Wilmington 759
Singapore 579
Woodbridge 500
Jacksonville 497
Chandler 492
Houston 461
San Jose 434
Princeton 364
Milan 286
Ashburn 227
Council Bluffs 223
Dallas 219
Hong Kong 193
Dublin 128
Nanjing 98
Staranzano 98
Lauterbourg 95
Andover 90
Izmir 89
The Dalles 82
Beijing 79
Salerno 69
Boardman 63
Dong Ket 59
Santa Clara 59
Mestre 58
Pellezzano 57
Rome 57
Ho Chi Minh City 56
Moscow 50
Hanoi 49
Los Angeles 42
Düsseldorf 40
Figino 38
Hebei 34
Nanchang 34
Fairfield 27
New York 27
Chicago 26
São Paulo 24
Montreal 23
Brooklyn 22
Frankfurt am Main 22
Jiaxing 21
Tianjin 21
Changsha 20
Shenyang 20
Turin 17
Washington 17
Phoenix 16
San Francisco 16
Toronto 16
Munich 15
Naples 15
Norwalk 15
Warsaw 15
Tokyo 14
Des Moines 13
Baghdad 12
Columbus 12
Orem 12
Philadelphia 12
San Diego 12
Da Nang 11
Johannesburg 10
Memphis 10
Ankara 9
Atlanta 9
Biên Hòa 9
Cambridge 9
Charlotte 9
Spinea 9
Brussels 8
Chennai 8
Denver 8
Las Vegas 8
London 8
Napoli 8
Boston 7
Haiphong 7
Ottawa 7
Rio de Janeiro 7
Buffalo 6
Dhaka 6
Guatemala City 6
Jeddah 6
Mexico City 6
Pune 6
Quito 6
San Pedro Sula 6
San Salvador 6
Tashkent 6
Avellino 5
Bari 5
Bologna 5
Campo Grande 5
Caracas 5
Edinburgh 5
Lappeenranta 5
Totale 9.025
Salva come PNG Salva come JPEG
Nome #
Lazy-CSeq: A Lazy Sequentialization Tool for C 215
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 201
A general modular synthesis problem for pushdown systems 191
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 187
Lazy sequentialization for the safety verification of unbounded concurrent programs 184
Winning CaRet Games with Modular Strategies 182
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 182
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 173
A Decidable Dense Branching-time Temporal Logic 172
Synchronization of a Line of Identical Processors at a Given Time 167
Automata-theoretic decision of timed games 165
Verification of Scope-dependent Hierarchical State Machines 158
Timed tree Automata with an application to Temporal Logic 154
Hierarchical and Recursive State Machines with Context-Dependent Properties 154
Context-Bounded Analysis of Concurrent Queue Systems 154
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 152
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 150
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 149
Representing hyper-graphs by regular languages 146
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 145
Decision Problems for lower/upper bound Parametric Timed Automata 144
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 143
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 141
The word problem for visibly pushdown languages described by grammars 141
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science 141
Deterministic generators and games for Ltl fragments 140
Optimal paths in weighted timed automata 140
Verification of Succinct Hierarchical State Machines 140
A Temporal Logic for Multi-threaded Programs 140
Games, Automata, Logic, and Formal Verification (GandALF 2011) 139
Visibly pushdown modular games 138
An Infinite Automaton Characterization of Double Exponential Time 137
Automata-based Representations for Infinite Graphs 135
MU-CSeq 0.4: Individual memory location unwindings 135
Deterministic Generators and Games for LTL Fragments 133
A Robust Class of Context-Sensitive Languages 132
null 132
Visibly Pushdown Modular Games 132
Scope-Bounded Pushdown Languages 131
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 131
Analyzing Recursive Programs using a Fixed-point Calculus 131
Synchronization of 1-way connected processors 129
Sequentializing Parameterized Programs 129
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 128
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation 127
Parallel bug-finding in concurrent programs via reduced interleaving instances 127
Decision Problems for lower/upper bound Parametric Timed Automata 125
Modelling the Effects of Input Correlation in Iterative Software 125
Using shared memory abstractions to design eager sequentializations for weak memory models 125
Parametric metric interval temporal logic 124
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 123
Modular Synthesis with Open Components Reachability Problems 123
Automata-Theoretic Decision of Timed Games 123
Finite automata on timed omega-trees. 122
The Firing Squad Synchronization Problem on Squares, Toruses and Rings 121
A Unifying Approach for Multistack Pushdown Automata 121
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 120
A Model of Finite Automata on Timed omega-Trees 118
Verification of well-formed Communicating Recursive State Machines 115
The Language Theory of Bounded Context-Switching 115
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 115
Verifying Concurrent Programs by Memory Unwinding 115
Representing Infinite hyper-graphs by regular languages 113
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable 109
Parametric Temporal Logic for Model Measuring 109
Weak Muller acceptance conditions for tree automata 106
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 106
Parametric temporal logic for "model measuring" 105
Polyhedral Flows in Hybrid Automata 105
Deterministic finite automata with recursive calls and DPDAs 105
Modular Strategies for Recursive Game Graphs 104
On the Complexity of LTL Model-Checking of Recursive State Machines 104
Parallel Word Substitution 104
Verification of Well-Formed Communicating Recursive State Machines 103
Polyhedral Flows in Hybrid Automata 103
Reducing context-bounded concurrent reachability to sequentialreachability 102
Scope-Bounded Pushdown Languages 102
Modular Strategies for Recursive Game Graphs 100
Parametric Metric Interval Temporal Logic 100
Optimal Paths in Weighted Timed Automata 97
On the Membership Problem for Visibly Pushdown Languages 96
Dense Real-Time Games 94
Modular Strategies for Infinite Games on Recursive Graphs 93
Perturbed Timed Automata 92
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 92
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 92
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 92
Complexity of qualitative timeline-based planning 90
Weak Muller Acceptance Conditions for Tree Automata 89
Playing Games with Boxes and Diamonds 89
Reachability of scope-bounded multistack pushdown systems 89
Decidability and Infinite Precision in Timed Automata 87
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 84
Reasoning About Co-Büchi Tree Automata 84
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 83
Model Checking BDI Logics over Finite-state Worlds 82
Reachability in Concurrent Uninterpreted Programs 81
Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution) 77
Automated Planning Through Program Verification 75
CHC-Based Verification of Programs Through Graph Decompositions 70
Totale 12.435
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.384
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 44.384
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022651 0 0 0 17 24 9 3 31 99 86 85 297
2022/20231.103 112 82 10 140 153 247 0 103 161 4 61 30
2023/2024294 37 62 23 15 11 27 23 21 0 14 12 49
2024/2025871 78 26 51 53 29 115 114 115 100 32 104 54
2025/20263.482 137 166 345 101 469 268 678 138 193 433 108 446
2026/20271.057 153 163 364 377 0 0 0 0 0 0 0 0
Totale 12.809