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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019675 0 0 0 0 0 0 0 0 0 0 372 303
2019/20202.148 136 69 162 197 263 154 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/2024642 41 57 55 67 47 191 53 58 15 57 1 0
Totale 9.603