IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.873
AS - Asia 2.873
EU - Europa 2.525
SA - Sud America 769
AF - Africa 61
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 4
Totale 16.114
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.782
SG - Singapore 1.534
CN - Cina 736
BR - Brasile 659
RU - Federazione Russa 478
UA - Ucraina 415
IT - Italia 362
SE - Svezia 247
VN - Vietnam 230
FI - Finlandia 212
GB - Regno Unito 193
DE - Germania 180
LV - Lettonia 167
BG - Bulgaria 130
ID - Indonesia 66
HK - Hong Kong 64
AR - Argentina 50
IN - India 49
CA - Canada 40
MX - Messico 34
TR - Turchia 30
BD - Bangladesh 29
FR - Francia 26
JO - Giordania 25
ZA - Sudafrica 22
IQ - Iraq 21
AT - Austria 20
JP - Giappone 20
NL - Olanda 17
PK - Pakistan 16
EC - Ecuador 15
RO - Romania 15
CO - Colombia 14
PL - Polonia 13
LT - Lituania 12
MA - Marocco 10
ES - Italia 9
PE - Perù 9
AZ - Azerbaigian 8
MY - Malesia 8
PY - Paraguay 8
EU - Europa 7
CL - Cile 6
EG - Egitto 6
AL - Albania 5
CR - Costa Rica 5
KE - Kenya 5
TN - Tunisia 5
UZ - Uzbekistan 5
VE - Venezuela 5
BB - Barbados 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
AU - Australia 3
BE - Belgio 3
DK - Danimarca 3
HN - Honduras 3
HU - Ungheria 3
IL - Israele 3
KZ - Kazakistan 3
LB - Libano 3
SC - Seychelles 3
BH - Bahrain 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
IR - Iran 2
KG - Kirghizistan 2
MU - Mauritius 2
NO - Norvegia 2
NP - Nepal 2
PT - Portogallo 2
UY - Uruguay 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
DM - Dominica 1
EE - Estonia 1
ET - Etiopia 1
GA - Gabon 1
GR - Grecia 1
IE - Irlanda 1
KH - Cambogia 1
KR - Corea 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MK - Macedonia 1
NG - Nigeria 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SR - Suriname 1
Totale 16.110
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Singapore 960
Ashburn 823
Jacksonville 820
Chandler 739
Seattle 530
Woodbridge 526
Dallas 460
Houston 428
Wilmington 416
Cambridge 375
Santa Clara 357
Ann Arbor 355
San Mateo 310
Columbus 298
Moscow 241
Beijing 229
Princeton 210
Riga 167
New York 153
Sofia 129
Los Angeles 125
Trento 111
Dearborn 75
Helsinki 74
Ho Chi Minh City 73
San Diego 73
Hefei 67
São Paulo 65
Lawrence 63
Chicago 62
Buffalo 53
Hong Kong 52
Jakarta 52
Boardman 46
Hanoi 41
London 40
Council Bluffs 39
Redondo Beach 33
Rome 32
Munich 30
Milan 27
Dong Ket 26
Düsseldorf 24
Falls Church 24
Guangzhou 24
Des Moines 23
Norwalk 22
Rio de Janeiro 22
Turku 22
Tampa 21
Salt Lake City 20
The Dalles 20
Phoenix 19
Toronto 18
Edinburgh 17
Izmir 17
Kilburn 17
Shanghai 17
Vienna 17
Belo Horizonte 16
Trieste 16
San Paolo di Civitate 15
Timisoara 15
Tokyo 15
Brasília 14
Brooklyn 13
Elk Grove Village 13
Orem 13
Porto Alegre 13
Altamura 12
Falkenstein 12
Frankfurt am Main 12
Atlanta 11
Boston 11
Chennai 11
Denver 11
Johannesburg 11
Como 10
Haiphong 10
Karlsruhe 10
Poplar 10
Saint Petersburg 10
Sorocaba 10
Warsaw 10
Changsha 9
Goiânia 9
Mexico City 9
Ribeirão Preto 9
Salvador 9
San Francisco 9
Washington 9
Baku 8
Caxias do Sul 8
Fremont 8
Lima 8
Shenyang 8
Stockholm 8
Vicenza 8
Acton 7
Totale 11.665
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 265
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 198
Satisfiability Modulo Transcendental Functions via Incremental Linearization 194
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 190
GSTE is partitioned model checking 189
OptiMathSAT: A Tool for Optimization Modulo Theories 186
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 184
Colors make theories hard 169
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 164
Planning with strategic goals 163
A new method for testing decision procedures in modal logics 159
A general purpose reasoner for abstraction 159
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 158
Structured learning modulo theories 158
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 158
Modeling and reasoning on requirements evolution with constrained goal models 154
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 152
OptiMathSAT: A Tool for Optimization Modulo Theories 150
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 148
Advanced SMT techniques for weighted model integration 147
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 147
Multi-objective reasoning with constrained goal models 146
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 144
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 141
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 138
Encoding RTL Constructs for MathSAT: a Preliminary Report 138
Verilog2SMV: A tool for word-level verification 138
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 138
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 137
Optimization Modulo Theories with Linear Rational Costs 135
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 135
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 132
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 132
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 132
Efficient theory combination via Boolean search 132
Requirements evolution and evolution requirements with constrained goal models 132
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 130
On Optimization Modulo Theories, MaxSMT and Sorting Networks 129
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 128
An Analysis of Empirical Testing for Modal Decision Procedures 127
Improving the Encoding of LTL Model Checking into SAT 127
Formal Specification and Development of a Safety-Critical Train Management System 123
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 122
A lazy and layered SMT(BV) solver for hard industrial verification problems 122
Automated Reasoning in ALCQ via SMT 120
GSTE is partitioned Model Checking 118
Formal Reasoning Techniques for Goal Models 117
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 117
Satisfiability Modulo Theories 117
Building Efficient Decision Procedures on top of SAT solvers 116
Model checking syllabi and student careers 116
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 116
Integrating BDD-based and SAT-based Symbolic Model Checking 116
Interpolant Generation for UTVPI 115
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 115
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 113
Applying the Davis-Putnam procedure to non-clausal formulas 112
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 112
Bounded model checking for timed systems 111
A new method for testing decision procedures in modal and terminological logics 111
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 111
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 109
Act, and the rest will follow: exploiting determinism in planning as satisfiability 109
Encoding RTL Constructs for MathSAT: a Preliminary Report 106
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 104
SAT-based decision procedures for normal modal logics:a theoretical framework 104
Property-Driven Partitioning for Abstraction Refinement 103
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 102
A SAT-based decision procedure for ALC 102
Applying SMT in Symbolic Execution of Microcode 102
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 101
Software model checking via large-block encoding 101
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 99
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 99
NuSMV2: an open source tool for symbolic model checking 98
Efficient Interpolant Generation in Satisfiability Modulo Theories 98
NuSMV 2: An opensource tool for symbolic model checking 97
Enhancing SMT-based Weighted Model Integration by structure awareness 96
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 96
Verifying Industrial Hybrid Systems with MathSAT 96
Satisfiability Modulo the Theory of Costs: Foundations and Applications 96
Calculating criticalities 95
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 93
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 93
Lemmas for satisfiability modulo transcendental functions via incremental linearization 93
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 91
A System and Methodology for Generating Random Modal Formula 91
Optimization Modulo the Theory of Floating-Point Numbers 90
Proof Planning by Abstraction 87
A Modular Approach to MaxSAT Modulo Theories 87
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 85
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 85
null 84
Calculating criticalities 84
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 84
Lazy Satisfiability Modulo Theories 83
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 83
Constructive Learning Modulo Theories 83
On CNF Conversion for Disjoint SAT Enumeration 81
More evaluation of decision procedures for modal logics 81
Totale 12.274
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.589
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.509
Totale 75.098
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.129 0 0 0 0 0 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/20253.088 6 30 127 634 175 453 85 174 251 525 287 341
2025/20263.570 504 143 1.013 1.138 635 137 0 0 0 0 0 0
Totale 16.412