UniSa - IRIS Institutional Research Information System

LA TORRE, Salvatore
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.384
EU - Europa 1.242
AS - Asia 452
SA - Sud America 11
Continente sconosciuto - Info sul continente non disponibili 9
AF - Africa 3
OC - Oceania 2
Totale 7.103
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.376
UA - Ucraina 398
IT - Italia 289
CN - Cina 285
SE - Svezia 166
DE - Germania 130
IE - Irlanda 127
TR - Turchia 88
FI - Finlandia 85
VN - Vietnam 60
BR - Brasile 11
GB - Regno Unito 11
EU - Europa 9
BE - Belgio 8
IN - India 8
CA - Canada 7
IL - Israele 5
RO - Romania 5
PH - Filippine 4
RU - Federazione Russa 4
FR - Francia 3
BG - Bulgaria 2
CM - Camerun 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
JP - Giappone 2
AT - Austria 1
AU - Australia 1
ES - Italia 1
GR - Grecia 1
HU - Ungheria 1
LU - Lussemburgo 1
MX - Messico 1
NE - Niger 1
NL - Olanda 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
PT - Portogallo 1
RS - Serbia 1
Totale 7.103
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.529
Wilmington 757
Woodbridge 500
Jacksonville 494
Chandler 492
Houston 456
Princeton 364
Dublin 126
Nanjing 98
Andover 90
Izmir 88
Salerno 69
Ashburn 68
Boardman 63
Dong Ket 59
Mestre 58
Pellezzano 57
Düsseldorf 40
Hebei 34
Nanchang 34
Fairfield 27
Beijing 22
Jiaxing 21
Tianjin 21
Changsha 20
Shenyang 20
Norwalk 15
Des Moines 12
Spinea 9
Brussels 8
Cambridge 8
Napoli 8
San Diego 8
Washington 8
Pune 6
Avellino 5
Edinburgh 5
Ottawa 5
Horia 4
Lappeenranta 4
Milan 4
Redwood City 4
Dearborn 3
Dormagen 3
Indiana 3
New York 3
Somma 3
Aprilia 2
Candiolo 2
Cascina 2
Catania 2
Copenhagen 2
Fornasa 2
Fuzhou 2
Grevenbroich 2
Helsinki 2
London 2
Los Angeles 2
Menlo Park 2
Munich 2
Naples 2
Philadelphia 2
Phoenix 2
Rio de Janeiro 2
Rome 2
Seattle 2
Sofia 2
Sorrento 2
Tokyo 2
Yellow Springs 2
Aiello Del Sabato 1
Aigaleo 1
Albertville 1
Atlanta 1
Belgrade 1
Brisbane 1
Brno 1
Budapest 1
Buffalo 1
Charlottetown 1
Chicago 1
Chino Hills 1
Coimbatore 1
Francolise 1
Groningen 1
Guangzhou 1
Hangzhou 1
Hanoi 1
Harker Heights 1
Jinan 1
Las Vegas 1
Lisbon 1
Livorno 1
Luxembourg 1
Madrid 1
Marigliano 1
Meath 1
Mexico City 1
Montreal 1
Mumbai 1
Totale 5.811
Salva come PNG Salva come JPEG
Nome #
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 137
Winning CaRet Games with Modular Strategies 132
null 132
A general modular synthesis problem for pushdown systems 128
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 115
Synchronization of a Line of Identical Processors at a Given Time 114
Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs 112
Decision Problems for lower/upper bound Parametric Timed Automata 110
Verification of Scope-dependent Hierarchical State Machines 109
Timed tree Automata with an application to Temporal Logic 105
A Decidable Dense Branching-time Temporal Logic 104
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science 104
Games, Automata, Logic, and Formal Verification (GandALF 2011) 104
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 100
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings 100
Lazy sequentialization for the safety verification of unbounded concurrent programs 100
Verification of Succinct Hierarchical State Machines 99
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches 99
Deterministic Generators and Games for LTL Fragments 98
Representing hyper-graphs by regular languages 98
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width 98
Context-Bounded Analysis of Concurrent Queue Systems 98
Automata-theoretic decision of timed games 94
Visibly Pushdown Modular Games 94
The word problem for visibly pushdown languages described by grammars 93
Lazy-CSeq: A Lazy Sequentialization Tool for C 92
Hierarchical and Recursive State Machines with Context-Dependent Properties 88
Decision Problems for lower/upper bound Parametric Timed Automata 88
Sequentializing Parameterized Programs 87
Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation 86
The Firing Squad Synchronization Problem on Squares, Toruses and Rings 85
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information 84
Modular Synthesis with Open Components Reachability Problems 84
Analyzing Recursive Programs using a Fixed-point Calculus 84
Parametric metric interval temporal logic 83
Verification of well-formed Communicating Recursive State Machines 82
Scope-Bounded Pushdown Languages 82
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 82
Optimal paths in weighted timed automata 81
An Infinite Automaton Characterization of Double Exponential Time 80
Deterministic generators and games for Ltl fragments 79
A Temporal Logic for Multi-threaded Programs 78
Modelling the Effects of Input Correlation in Iterative Software 78
MU-CSeq 0.4: Individual memory location unwindings 78
Synchronization of 1-way connected processors 77
On the Complexity of LTL Model-Checking of Recursive State Machines 77
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 76
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings 76
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions 76
The Language Theory of Bounded Context-Switching 74
Scope-Bounded Pushdown Languages 73
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable 72
Finite automata on timed omega-trees. 70
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 69
Polyhedral Flows in Hybrid Automata 69
Verifying Concurrent Programs by Memory Unwinding 69
Representing Infinite hyper-graphs by regular languages 68
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis 68
null 67
Visibly pushdown modular games 67
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 66
Automata-Theoretic Decision of Timed Games 66
Dense Real-Time Games 65
A Robust Class of Context-Sensitive Languages 64
Parametric Temporal Logic for Model Measuring 63
Deterministic finite automata with recursive calls and DPDAs 62
Modular Strategies for Recursive Game Graphs 62
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces 62
Weak Muller acceptance conditions for tree automata 61
Automata-based Representations for Infinite Graphs 61
Polyhedral Flows in Hybrid Automata 61
Verification of Well-Formed Communicating Recursive State Machines 60
Modular Strategies for Infinite Games on Recursive Graphs 59
Parametric temporal logic for "model measuring" 58
On the Membership Problem for Visibly Pushdown Languages 58
Playing Games with Boxes and Diamonds 58
Parametric Metric Interval Temporal Logic 58
A Model of Finite Automata on Timed omega-Trees 57
Optimal Paths in Weighted Timed Automata 56
Reducing context-bounded concurrent reachability to sequentialreachability 56
Parallel Word Substitution 55
Parallel bug-finding in concurrent programs via reduced interleaving instances 54
Perturbed Timed Automata 52
Weak Muller Acceptance Conditions for Tree Automata 52
Reasoning About Co-Büchi Tree Automata 52
Using shared memory abstractions to design eager sequentializations for weak memory models 50
Decidability and Infinite Precision in Timed Automata 48
A Unifying Approach for Multistack Pushdown Automata 47
Modular Strategies for Recursive Game Graphs 45
Optimal-Reachability and Control for Acyclic Weighted Timed Automata 35
Complexity of qualitative timeline-based planning 26
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 26
Automated Planning Through Program Verification 25
A Fixed-point Model-checker for BDI Logics over Finite-state Worlds 22
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded Programs with Lazy-CSeq 20
Model Checking BDI Logics over Finite-state Worlds 18
Synchronization of 1-way connected processorsFundamentals of Computation Theory 18
On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities 15
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory 14
Reachability in Concurrent Uninterpreted Programs 14
Totale 7.307
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.617
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 17.617
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019148 0 0 0 0 0 0 0 0 0 0 137 11
2019/2020748 236 3 93 0 68 15 86 5 81 33 104 24
2020/2021778 4 85 86 6 87 44 89 4 128 18 122 105
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/2024234 37 62 23 15 11 27 23 21 0 14 1 0
Totale 7.339