IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022863 0 0 0 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.698 327 299 522 465 382 312 386 340 506 492 347 320
2026/20271.103 284 334 380 105 0 0 0 0 0 0 0 0
Totale 16.645