Sebastiani, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 8.260
EU - Europa 1.682
AS - Asia 987
SA - Sud America 44
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 1
Totale 10.990
Nazione #
US - Stati Uniti d'America 8.243
SG - Singapore 600
UA - Ucraina 403
IT - Italia 319
SE - Svezia 239
CN - Cina 217
FI - Finlandia 171
GB - Regno Unito 141
BG - Bulgaria 129
DE - Germania 114
RU - Federazione Russa 86
ID - Indonesia 49
VN - Vietnam 41
BR - Brasile 34
JO - Giordania 23
FR - Francia 20
AT - Austria 17
TR - Turchia 16
RO - Romania 15
CA - Canada 13
NL - Olanda 10
HK - Hong Kong 9
IN - India 9
EU - Europa 7
PK - Pakistan 7
JP - Giappone 4
CO - Colombia 3
MX - Messico 3
SC - Seychelles 3
AL - Albania 2
AR - Argentina 2
BE - Belgio 2
CL - Cile 2
DK - Danimarca 2
EC - Ecuador 2
IR - Iran 2
LT - Lituania 2
MU - Mauritius 2
NO - Norvegia 2
PL - Polonia 2
AU - Australia 1
BD - Bangladesh 1
CG - Congo 1
CR - Costa Rica 1
ES - Italia 1
GA - Gabon 1
IE - Irlanda 1
IL - Israele 1
IQ - Iraq 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
TN - Tunisia 1
TW - Taiwan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 10.990
Città #
Fairfield 1.106
Jacksonville 819
Chandler 739
Ashburn 547
Woodbridge 526
Seattle 523
Singapore 470
Houston 419
Wilmington 409
Cambridge 375
Ann Arbor 355
Santa Clara 345
San Mateo 310
Columbus 293
Princeton 210
Sofia 129
New York 125
Trento 104
Beijing 95
Dearborn 75
San Diego 72
Moscow 64
Lawrence 63
Helsinki 56
Jakarta 49
Boardman 40
Los Angeles 34
London 29
Dong Ket 26
Düsseldorf 24
Falls Church 24
Norwalk 22
Rome 21
Milan 18
Kilburn 17
Izmir 16
Trieste 16
Vienna 16
San Paolo di Civitate 15
Timisoara 15
Hefei 13
Altamura 12
Dallas 12
Phoenix 11
Como 10
Council Bluffs 10
Saint Petersburg 10
Guangzhou 9
Toronto 9
Fremont 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
São Paulo 3
Turin 3
Wuhan 3
Agordo 2
Ardabil 2
Belluno 2
Bogotá 2
Brasília 2
Brussels 2
Totale 8.928
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 167
GSTE is partitioned model checking 157
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 153
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 150
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
OptiMathSAT: A Tool for Optimization Modulo Theories 145
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
Structured learning modulo theories 132
OptiMathSAT: A Tool for Optimization Modulo Theories 129
Multi-objective reasoning with constrained goal models 122
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 119
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 new method for testing decision procedures in modal logics 115
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 114
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 107
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
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 103
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 103
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 103
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
Integrating BDD-based and SAT-based Symbolic Model Checking 82
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
NuSMV2: an open source tool for symbolic model checking 81
Software Model Checking via Large-Block Encoding. 81
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
A new method for testing decision procedures in modal and terminological logics 75
Interpolant Generation for UTVPI 75
Improving the Encoding of LTL Model Checking into SAT 75
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 75
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 71
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 70
Applying SMT in Symbolic Execution of Microcode 69
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 68
Act, and the rest will follow: exploiting determinism in planning as satisfiability 68
A lazy and layered SMT(BV) solver for hard industrial verification problems 68
null 67
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 67
Optimization Modulo the Theory of Floating-Point Numbers 67
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 66
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 65
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 60
Calculating criticalities 59
Lemmas for satisfiability modulo transcendental functions via incremental linearization 58
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.140
Categoria #
all - tutte 56.355
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.005
Totale 58.360


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020853 0 0 0 0 0 0 0 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.519 6 30 127 634 175 453 85 9 0 0 0 0
Totale 11.273