IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021788 0 0 0 0 137 79 57 39 71 137 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/20261.704 327 299 522 465 91 0 0 0 0 0 0 0
Totale 12.548