IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.255
EU - Europa 1.663
AS - Asia 971
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 7
AF - Africa 6
OC - Oceania 1
Totale 10.912
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.239
SG - Singapore 588
UA - Ucraina 403
IT - Italia 307
SE - Svezia 239
CN - Cina 216
FI - Finlandia 171
GB - Regno Unito 141
BG - Bulgaria 129
DE - Germania 112
RU - Federazione Russa 84
ID - Indonesia 49
VN - Vietnam 41
JO - Giordania 23
FR - Francia 19
AT - Austria 16
TR - Turchia 16
RO - Romania 15
CA - Canada 13
HK - Hong Kong 9
IN - India 9
NL - Olanda 9
EU - Europa 7
PK - Pakistan 7
JP - Giappone 4
BR - Brasile 3
MX - Messico 3
SC - Seychelles 3
AL - Albania 2
BE - Belgio 2
CL - Cile 2
CO - Colombia 2
DK - Danimarca 2
IR - Iran 2
LT - Lituania 2
MU - Mauritius 2
NO - Norvegia 2
PL - Polonia 2
AR - Argentina 1
AU - Australia 1
ES - Italia 1
IE - Irlanda 1
IL - Israele 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
PE - Perù 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 10.912
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Jacksonville 819
Chandler 739
Ashburn 547
Woodbridge 526
Seattle 523
Singapore 469
Houston 419
Wilmington 409
Cambridge 374
Ann Arbor 355
Santa Clara 345
San Mateo 310
Columbus 293
Princeton 210
Sofia 129
New York 125
Trento 97
Beijing 95
Dearborn 75
San Diego 72
Lawrence 63
Moscow 63
Helsinki 56
Jakarta 49
Boardman 40
Los Angeles 34
London 29
Dong Ket 26
Düsseldorf 24
Falls Church 24
Norwalk 22
Milan 18
Rome 18
Kilburn 17
Izmir 16
Trieste 16
San Paolo di Civitate 15
Timisoara 15
Vienna 15
Hefei 13
Altamura 12
Dallas 12
Phoenix 11
Como 10
Council Bluffs 10
Saint Petersburg 10
Toronto 9
Fremont 8
Guangzhou 8
Karlsruhe 8
Vicenza 8
Acton 7
Andover 7
Des Moines 7
Malo 7
Nanchang 7
Schio 7
Shanghai 7
Washington 7
Kunming 6
Nanjing 6
Verona 6
Bonndorf 5
Lappeenranta 5
Udine 5
Chiswick 4
Comabbio 4
Costa Mesa 4
Edinburgh 4
Hounslow 4
Monfalcone 4
New Bedfont 4
North Bergen 4
Prescot 4
Putian 4
Redmond 4
Shenyang 4
Augusta 3
Bassano del Grappa 3
Berlin 3
Bologna 3
Bremen 3
Cunevo 3
Hebei 3
Islamabad 3
Islington 3
Lavis 3
Ludwigshafen 3
Mountain View 3
Southwark 3
Turin 3
Wuhan 3
Agordo 2
Ardabil 2
Belluno 2
Bogotá 2
Brussels 2
Cagliari 2
Changsha 2
Totale 8.912
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 228
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 166
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 153
GSTE is partitioned model checking 149
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 148
Colors make theories hard 139
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 137
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 136
OptiMathSAT: A Tool for Optimization Modulo Theories 133
Structured learning modulo theories 132
OptiMathSAT: A Tool for Optimization Modulo Theories 129
Multi-objective reasoning with constrained goal models 122
Modeling and reasoning on requirements evolution with constrained goal models 119
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 116
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 115
A new method for testing decision procedures in modal logics 112
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 112
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 111
A general purpose reasoner for abstraction 111
Requirements evolution and evolution requirements with constrained goal models 110
Efficient Interpolant Generation in Satisfiability Modulo Theories 107
Verilog2SMV: A tool for word-level verification 106
Optimization Modulo Theories with Linear Rational Costs 105
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 105
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 105
Planning with strategic goals 105
Advanced SMT techniques for weighted model integration 105
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 104
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 103
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 103
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 102
On Optimization Modulo Theories, MaxSMT and Sorting Networks 100
Encoding RTL Constructs for MathSAT: a Preliminary Report 98
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 98
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 98
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 97
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 97
Satisfiability Modulo Theories 96
Efficient theory combination via Boolean search 95
Formal Reasoning Techniques for Goal Models 93
An Analysis of Empirical Testing for Modal Decision Procedures 93
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 91
Building Efficient Decision Procedures on top of SAT solvers 90
Bounded Model Checking for Timed Systems. 88
Model checking syllabi and student careers 88
GSTE is partitioned Model Checking 87
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 87
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 87
SAT-based decision procedures for normal modal logics:a theoretical framework 86
Encoding RTL Constructs for MathSAT: a Preliminary Report 85
null 84
Applying the Davis-Putnam procedure to non-clausal formulas 84
Automated Reasoning in ALCQ via SMT 83
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 83
Efficient Interpolant Generation in Satisfiability Modulo Theories 82
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 82
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 81
Integrating BDD-based and SAT-based Symbolic Model Checking 81
Software Model Checking via Large-Block Encoding. 81
NuSMV2: an open source tool for symbolic model checking 80
Satisfiability Modulo the Theory of Costs: Foundations and Applications 80
Verifying Industrial Hybrid Systems with MathSAT 79
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 78
Formal Specification and Development of a Safety-Critical Train Management System 78
Calculating criticalities 77
Property-Driven Partitioning for Abstraction Refinement 77
Interpolant Generation for UTVPI 75
Improving the Encoding of LTL Model Checking into SAT 74
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 73
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 71
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 70
A new method for testing decision procedures in modal and terminological logics 68
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 68
null 67
Act, and the rest will follow: exploiting determinism in planning as satisfiability 67
Optimization Modulo the Theory of Floating-Point Numbers 67
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 66
Applying SMT in Symbolic Execution of Microcode 66
A lazy and layered SMT(BV) solver for hard industrial verification problems 66
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 65
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 64
A SAT-based decision procedure for ALC 64
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 63
Lazy Satisfiability Modulo Theories 62
A System and Methodology for Generating Random Modal Formula 62
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 62
Simple and Minimal-Cost Satisfiability for Goal Models 61
An SAT-based decision procedure for ALC 59
Calculating criticalities 59
Lemmas for satisfiability modulo transcendental functions via incremental linearization 57
Using abstraction interactively 56
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 56
Preface: Special Issue of Selected Extended Papers from IJCAR 2018 56
Proof Planning by Abstraction 55
Applying GSAT To Non-Clausal Formulas 54
Formal Specication of the Radio Block Centre (RBC): First Part. 53
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 52
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 52
Constructive Learning Modulo Theories 52
Totale 9.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.386
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.986
Totale 57.372
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.167 0 0 0 0 0 0 314 182 291 158 72 150
2020/20212.085 49 235 137 326 209 147 210 102 144 151 225 150
2021/20221.625 72 340 26 84 81 61 72 375 55 68 144 247
2022/20231.459 201 148 13 208 161 228 7 153 206 17 67 50
2023/2024793 41 57 55 67 47 191 53 58 15 57 37 115
2024/20251.435 6 30 127 634 175 453 10 0 0 0 0 0
Totale 11.189