IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

GHILARDI, SILVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.685
EU - Europa 4.681
AS - Asia 4.349
SA - Sud America 491
AF - Africa 89
OC - Oceania 16
Totale 14.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.568
GB - Regno Unito 1.493
SG - Singapore 1.376
CN - Cina 1.358
IT - Italia 873
DE - Germania 579
RU - Federazione Russa 462
BR - Brasile 376
HK - Hong Kong 376
IN - India 334
SE - Svezia 284
FR - Francia 226
VN - Vietnam 213
TR - Turchia 172
IE - Irlanda 164
UA - Ucraina 143
KR - Corea 142
NL - Olanda 111
BD - Bangladesh 101
FI - Finlandia 101
DK - Danimarca 83
ID - Indonesia 72
CA - Canada 62
EU - Europa 62
CO - Colombia 45
JP - Giappone 39
AR - Argentina 30
ES - Italia 28
PH - Filippine 25
ZA - Sudafrica 22
IQ - Iraq 21
MX - Messico 20
PL - Polonia 20
AT - Austria 19
CH - Svizzera 17
TN - Tunisia 15
EC - Ecuador 14
AU - Australia 13
BE - Belgio 13
RO - Romania 13
UZ - Uzbekistan 13
MA - Marocco 11
MY - Malesia 11
SA - Arabia Saudita 11
CI - Costa d'Avorio 10
JM - Giamaica 9
JO - Giordania 9
CZ - Repubblica Ceca 8
LT - Lituania 8
NP - Nepal 8
PK - Pakistan 8
PT - Portogallo 8
VE - Venezuela 8
AE - Emirati Arabi Uniti 7
CL - Cile 7
TH - Thailandia 7
DZ - Algeria 6
IR - Iran 6
KE - Kenya 6
BG - Bulgaria 5
GT - Guatemala 5
HN - Honduras 5
KZ - Kazakistan 5
BO - Bolivia 4
BY - Bielorussia 4
EG - Egitto 4
IL - Israele 4
OM - Oman 4
PS - Palestinian Territory 4
PY - Paraguay 4
TW - Taiwan 4
AZ - Azerbaigian 3
BH - Bahrain 3
CR - Costa Rica 3
HU - Ungheria 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PA - Panama 3
SN - Senegal 3
AL - Albania 2
DO - Repubblica Dominicana 2
GE - Georgia 2
GR - Grecia 2
KH - Cambogia 2
KW - Kuwait 2
LU - Lussemburgo 2
NG - Nigeria 2
QA - Qatar 2
RS - Serbia 2
SC - Seychelles 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BJ - Benin 1
BN - Brunei Darussalam 1
BS - Bahamas 1
BZ - Belize 1
Totale 14.357
Salva come PNG Salva come JPEG
Città #
Southend 1.353
Singapore 752
Hong Kong 355
Ashburn 345
Milan 316
San Jose 285
Santa Clara 275
Chandler 235
Wilmington 221
Princeton 209
Council Bluffs 208
Beijing 193
Fairfield 189
Frankfurt am Main 182
Dublin 162
Ann Arbor 156
Seattle 156
Los Angeles 143
Hefei 121
Dearborn 117
Dallas 107
Woodbridge 102
Nanjing 100
Bengaluru 99
Jacksonville 99
Lauterbourg 99
Phoenix 86
Guangzhou 76
Moscow 76
Buffalo 75
Ho Chi Minh City 75
Des Moines 74
Mountain View 74
Redmond 69
Cambridge 64
Houston 64
Istanbul 56
Medford 56
New York 55
Berlin 50
Hanoi 48
Somerville 48
Seoul 45
Jakarta 44
Serra 43
Redwood City 40
Boardman 39
Columbus 39
Bogotá 38
Sakarya 38
Andover 35
Jinan 35
The Dalles 35
Tianjin 35
Shanghai 34
Cangzhou 33
Rome 32
Shenzhen 26
Nanchang 25
Changsha 24
Tokyo 24
Sunnyvale 23
São Paulo 23
Hangzhou 22
Helsinki 22
Nuremberg 22
Orem 21
Toronto 21
Bühl 20
San Diego 20
Kiez 19
Zhengzhou 19
Falls Church 18
Eitensheim 17
Hebei 17
London 16
Pisa 16
Shenyang 16
Amsterdam 15
Chennai 15
Munich 14
Chicago 13
Vienna 13
Boston 12
Da Nang 12
Lappeenranta 12
Naples 12
Warsaw 12
Albuquerque 11
Bologna 11
Brussels 11
Fuzhou 11
Lanzhou 11
Manila 11
Tashkent 11
Abidjan 10
Belo Horizonte 10
Brasília 10
Düsseldorf 10
La Marsa 10
Totale 8.878
Salva come PNG Salva come JPEG
Nome #
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study 284
First Order Modal Logic 250
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks 227
Did I damage my Ontology ? 219
Quantifier-free Interpolation of a Theory of Arrays 217
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems 215
Combining word problems through rewriting in categories with products 207
Modularity results for interpolation, amalgamation and superamalgamation 207
Admissible Bases Via Stable Canonical Rules 205
Fixed-point Elimination in the Intuitionistic Propositional Calculus 205
A Comprehensive Framework for Combining Decision Procedures 202
Formal Verification of Storm Topologies - Supplementary Material 195
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 193
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN 182
Filtering Unification and Most General Unifiers in Modal Logic 178
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 178
Counter simulations via higher order quantifier elimination : a preliminary report 178
Counting Constraints in Flat Array Fragments 178
A comprehensive combination framework 177
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 174
SMT-based verification of data-aware processes: a model-theoretic approach 174
Connecting many-sorted structures and theories through adjoint functions 173
Safety Verification and Universal Invariants for Relational Action Bases 171
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories 171
Cardinality constraints for arrays (decidability results and applications) 171
Recent Advances in Combined Decision Problems 170
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif 167
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras 166
Connecting many-sorted theories 165
Second Order Quantifier Elimination: Towards Verification Applications 163
Model Checking: Teoria ed Applicazioni 161
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond 159
A model-theoretic characterization of monadic second order logic on infinite words 158
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 154
Conservative Extensions in Modal Logic 153
Counting constraints in flat array fragments 152
Model Theoretic Methods in Combined Constraint Satisfiability 151
Towards SMT Model-Checking of Array-based Systems 151
Noetherianity and Combination Problems 150
Decision Procedures for Extensions of the Theory of Arrays 148
Light-weight SMT-based model checking 145
LTL over description logics axioms 144
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 143
Backward Reachability of Array-based Systems by SMT Solving: Termination and Invariant Synthesis 142
Brief announcement: automated support for the design and validation of fault tolerant parameterized systems - a case study 140
Unified Correspondence 140
Interpolation and Amalgamation for Arrays with MaxDiff 140
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints 137
LTL over description logic axioms 135
Unification in modal and description logics 131
Automated support for the design and validation of fault-tolerant parameterized systems : a case study 131
A Framework for the Verification of Parameterized Infinite-state Systems 131
Monadic second order logic as the model companion of temporal logic 129
An algebraic approach to subframe logics. Modal case 128
Model Completeness, Uniform Interpolants and Superposition Calculus (With Applications to Verification of Data-Aware Processes) 127
Goal-directed invariant synthesis for model checking modulo theories 124
MCMT: a model checker modulo theories (system description) 123
Rewriting-based quantifier free interpolation for a theory of arrays 123
Automated analysis of parametric timing based mutual exclusion protocols 122
From model completeness to verification of data aware processes 121
An Algebraic Approach to Subframe Logics. Intuitionistic Case 120
SAFARI: SMT-based Abstraction For Arrays with Interpolants 120
Verification of data-aware processes : challenges and opportunities for automated reasoning 120
Model Completeness and Π2 -rules: the case of Contact Algebras 118
Monotonic abstraction techniques : from parametric to software model checking 118
Automated termination in model checking modulo theories 116
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras 115
A calculus for modal compact Hausdorff spaces 113
The logic of transitive and dense frames : from the step-frame analysis to full cut-elimination 113
Profiniteness, monadicity and universal models in modal logic 112
Lazy abstraction with interpolants for arrays, 112
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 112
Continuity, freeness, and filtrations 111
The bounded proof property via step algebras and step frames 111
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES 111
A new Acceleration-based Combination Framework for Array Properties 109
Counter abstractions in model checking of distributed broadcast algorithms: some case studies 109
Ruitenburg's Theorem via Duality and Bounded Bisimulations 109
Decision Procedures for Flat Array Properties 106
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN 106
Petri Nets with Parameterised Data : Modelling and Verification 106
Interpolation, amalgamation and combination : the non-disjoint signatures case 105
Connecting Many-Sorted Theories 104
Bounded proofs and step frames 103
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories 103
Booster : an Acceleration-Based Verification Framework for Array Programs 103
Combination of Uniform Interpolants via Beth Definability 102
Unification in lax logic 102
Petri net-based object-centric processes with read-only data 101
The Invariance Modality 100
Fixed-point elimination in the Intuitionistic Propositional Calculus 100
Combined Covers and Beth Definability 100
Automated termination in model checking modulo theories 98
An extension of lazy abstraction with interpolation for programs with arrays 97
SMT-based approaches to Model Checking of Distributed Broadcast Algorithms 96
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories 95
Interpolation Results for Arrays with Length and MaxDiff 94
From Strong Amalgamability to Modularity of Quantifier Free Interpolation 94
Free Modal Algebras Revisited: the Step by Step Method 94
Model Completeness, Covers and Superposition 92
Totale 14.205
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.781
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 46.781
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021268 0 0 0 0 0 0 0 0 0 0 189 79
2021/20221.001 48 61 29 45 132 36 97 84 65 84 66 254
2022/20231.182 177 44 83 127 130 241 56 68 185 14 45 12
2023/2024804 22 51 33 30 242 32 61 43 17 65 113 95
2024/20252.467 82 237 72 181 303 95 84 312 120 171 214 596
2025/20264.324 327 299 522 465 382 312 386 340 506 492 293 0
Totale 15.168