UniSa - IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022654 0 0 3 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/2027241 153 88 0 0 0 0 0 0 0 0 0 0
Totale 11.993