IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

GHILARDI, SILVIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.854
NA - Nord America 2.971
AS - Asia 1.560
SA - Sud America 44
AF - Africa 15
OC - Oceania 12
Totale 8.456
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.940
GB - Regno Unito 1.454
IT - Italia 678
CN - Cina 672
DE - Germania 494
SG - Singapore 335
SE - Svezia 266
RU - Federazione Russa 257
IN - India 233
IE - Irlanda 164
UA - Ucraina 135
KR - Corea 116
TR - Turchia 115
FR - Francia 97
DK - Danimarca 82
FI - Finlandia 79
NL - Olanda 70
EU - Europa 62
ID - Indonesia 38
CO - Colombia 34
CA - Canada 30
HK - Hong Kong 18
CH - Svizzera 14
BE - Belgio 13
AU - Australia 10
TN - Tunisia 10
BR - Brasile 9
ES - Italia 8
JP - Giappone 8
PH - Filippine 8
RO - Romania 8
PL - Polonia 7
VN - Vietnam 6
AT - Austria 5
CZ - Repubblica Ceca 4
PT - Portogallo 4
BG - Bulgaria 3
KE - Kenya 3
NO - Norvegia 3
GR - Grecia 2
HU - Ungheria 2
IR - Iran 2
LT - Lituania 2
NZ - Nuova Zelanda 2
SA - Arabia Saudita 2
TW - Taiwan 2
AL - Albania 1
AR - Argentina 1
GT - Guatemala 1
IL - Israele 1
JO - Giordania 1
MD - Moldavia 1
ML - Mali 1
MY - Malesia 1
PK - Pakistan 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 8.518
Salva come PNG Salva come JPEG
Città #
Southend 1.353
Milan 245
Singapore 243
Chandler 235
Wilmington 221
Princeton 209
Fairfield 189
Dublin 162
Ann Arbor 156
Frankfurt am Main 153
Seattle 153
Santa Clara 137
Dearborn 117
Beijing 113
Ashburn 106
Woodbridge 102
Jacksonville 99
Nanjing 98
Phoenix 81
Mountain View 74
Des Moines 69
Redmond 69
Cambridge 64
Bengaluru 58
Houston 57
Medford 56
Berlin 50
Somerville 48
Serra 43
Redwood City 40
Sakarya 38
Andover 35
Jinan 35
Boardman 34
Bogotá 34
Guangzhou 29
Nanchang 25
Los Angeles 24
Shanghai 23
Sunnyvale 23
Jakarta 22
Hangzhou 21
Bühl 20
Kiez 19
San Diego 19
Seoul 19
Changsha 18
Falls Church 18
Rome 18
Eitensheim 17
Hebei 17
Tianjin 16
New York 15
Pisa 15
Shenyang 15
Zhengzhou 13
Hefei 12
Helsinki 12
Istanbul 12
London 12
Albuquerque 11
Amsterdam 11
Brussels 11
Toronto 11
Fuzhou 10
La Marsa 10
Lanzhou 10
Kunming 9
Quanzhou 9
Scranton 9
Taizhou 9
Auburn Hills 8
Jiaxing 8
Ningbo 8
Nürnberg 8
Verona 8
Hong Kong 7
Ottawa 7
Rho 7
Bitonto 6
Fremont 6
Haikou 6
Karlsruhe 6
Mannheim 6
Nuremberg 6
Odernheim 6
Trento 6
Birmingham 5
Changchun 5
Columbus 5
Como 5
Cornate D'adda 5
Costa Mesa 5
North Bergen 5
Norwalk 5
Tappahannock 5
Turin 5
Voronezh 5
Warsaw 5
Yubileyny 5
Totale 5.714
Salva come PNG Salva come JPEG
Nome #
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study 167
Admissible Bases Via Stable Canonical Rules 164
First Order Modal Logic 160
Did I damage my Ontology ? 159
Combining word problems through rewriting in categories with products 154
Quantifier-free Interpolation of a Theory of Arrays 152
Modularity results for interpolation, amalgamation and superamalgamation 144
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 139
Fixed-point Elimination in the Intuitionistic Propositional Calculus 135
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures 133
A Comprehensive Framework for Combining Decision Procedures 132
Counter simulations via higher order quantifier elimination : a preliminary report 128
Filtering Unification and Most General Unifiers in Modal Logic 127
Recent Advances in Combined Decision Problems 127
Model Checking: Teoria ed Applicazioni 126
Counting Constraints in Flat Array Fragments 125
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies 123
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories 122
Connecting many-sorted structures and theories through adjoint functions 120
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems 117
A comprehensive combination framework 115
Connecting many-sorted theories 112
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras 110
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond 109
Model Theoretic Methods in Combined Constraint Satisfiability 108
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic 108
A model-theoretic characterization of monadic second order logic on infinite words 108
Noetherianity and Combination Problems 103
Counting constraints in flat array fragments 102
Cardinality constraints for arrays (decidability results and applications) 102
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems 101
LTL over description logics axioms 101
Towards SMT Model-Checking of Array-based Systems 99
Brief announcement: automated support for the design and validation of fault tolerant parameterized systems - a case study 99
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints 98
Conservative Extensions in Modal Logic 97
Light-weight SMT-based model checking 97
Backward Reachability of Array-based Systems by SMT Solving: Termination and Invariant Synthesis 97
Unified Correspondence 97
A Framework for the Verification of Parameterized Infinite-state Systems 95
Decision Procedures for Extensions of the Theory of Arrays 91
LTL over description logic axioms 91
Safety Verification and Universal Invariants for Relational Action Bases 88
An algebraic approach to subframe logics. Modal case 88
Automated termination in model checking modulo theories 88
Automated analysis of parametric timing based mutual exclusion protocols 88
Monadic second order logic as the model companion of temporal logic 85
Automated support for the design and validation of fault-tolerant parameterized systems : a case study 84
An Algebraic Approach to Subframe Logics. Intuitionistic Case 83
Lazy abstraction with interpolants for arrays, 83
SMT-based verification of data-aware processes: a model-theoretic approach 83
Goal-directed invariant synthesis for model checking modulo theories 82
SAFARI: SMT-based Abstraction For Arrays with Interpolants 82
Second Order Quantifier Elimination: Towards Verification Applications 81
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks 81
Rewriting-based quantifier free interpolation for a theory of arrays 80
Connecting Many-Sorted Theories 79
EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES 79
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif 79
Unification in modal and description logics 78
The bounded proof property via step algebras and step frames 76
Model Completeness and Π2 -rules: the case of Contact Algebras 75
Continuity, freeness, and filtrations 74
MCMT: a model checker modulo theories (system description) 74
Fixed-point elimination in the Intuitionistic Propositional Calculus 74
Verification of data-aware processes : challenges and opportunities for automated reasoning 73
Monotonic abstraction techniques : from parametric to software model checking 73
Decision Procedures for Flat Array Properties 71
A new Acceleration-based Combination Framework for Array Properties 71
Ruitenburg's Theorem via Duality and Bounded Bisimulations 70
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN 70
The logic of transitive and dense frames : from the step-frame analysis to full cut-elimination 69
Booster : an Acceleration-Based Verification Framework for Array Programs 69
Interpolation and Amalgamation for Arrays with MaxDiff 69
Automated termination in model checking modulo theories 68
Petri Nets with Parameterised Data : Modelling and Verification 68
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 68
An extension of lazy abstraction with interpolation for programs with arrays 67
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN 67
Combined Covers and Beth Definability 67
From Strong Amalgamability to Modularity of Quantifier Free Interpolation 66
Bounded proofs and step frames 66
From model completeness to verification of data aware processes 66
Interpolation, amalgamation and combination : the non-disjoint signatures case 64
Decision procedures for flat array properties 63
Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories 62
Counter abstractions in model checking of distributed broadcast algorithms: some case studies 59
Model Completeness, Uniform Interpolants and Superposition Calculus (With Applications to Verification of Data-Aware Processes) 59
Definability of Accelerated Relations in a Theory of Arrays and its Applications 58
Free Modal Algebras Revisited: the Step by Step Method 58
Formal Verification of Storm Topologies - Supplementary Material 57
One-Step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property 53
SMT-based approaches to Model Checking of Distributed Broadcast Algorithms 53
Model Completeness, Covers and Superposition 52
Formal verification of data-intensive applications through model checking modulo theories 47
Unification in lax logic 41
Diego’s Theorem for nuclear implicative semilattices 30
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories 30
Petri net-based object-centric processes with read-only data 30
The Invariance Modality 29
Totale 8.941
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.902
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 30.902
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020968 0 0 0 0 76 146 233 72 172 167 65 37
2020/20211.041 44 89 78 42 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/2025739 82 237 72 181 167 0 0 0 0 0 0 0
Totale 9.116