IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.943
AS - Asia 4.241
EU - Europa 3.233
SA - Sud America 944
Continente sconosciuto - Info sul continente non disponibili 331
AF - Africa 114
OC - Oceania 6
Totale 22.812
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.626
SG - Singapore 1.756
CN - Cina 916
BR - Brasile 755
VN - Vietnam 645
IT - Italia 608
RU - Federazione Russa 497
UA - Ucraina 423
SE - Svezia 288
GB - Regno Unito 244
FI - Finlandia 233
FR - Francia 225
DE - Germania 217
KR - Corea 209
LV - Lettonia 166
CA - Canada 159
BG - Bulgaria 132
HK - Hong Kong 125
IN - India 121
ID - Indonesia 79
BD - Bangladesh 67
AR - Argentina 65
MX - Messico 51
IQ - Iraq 50
TR - Turchia 38
JP - Giappone 35
NL - Olanda 34
EC - Ecuador 31
CO - Colombia 30
JO - Giordania 30
ZA - Sudafrica 29
CR - Costa Rica 28
PK - Pakistan 28
PL - Polonia 24
AT - Austria 23
LT - Lituania 22
IL - Israele 21
ES - Italia 19
MY - Malesia 19
JM - Giamaica 17
RO - Romania 17
VE - Venezuela 16
CL - Cile 15
MA - Marocco 15
SC - Seychelles 14
KE - Kenya 13
SA - Arabia Saudita 13
PY - Paraguay 12
TN - Tunisia 12
EG - Egitto 11
AZ - Azerbaigian 10
NI - Nicaragua 10
PE - Perù 10
UZ - Uzbekistan 10
BE - Belgio 9
HN - Honduras 9
PH - Filippine 9
SV - El Salvador 9
TT - Trinidad e Tobago 8
AL - Albania 7
EU - Europa 7
GP - Guadalupe 7
KZ - Kazakistan 7
CW - ???statistics.table.value.countryCode.CW??? 6
HU - Ungheria 6
LB - Libano 6
NP - Nepal 6
UY - Uruguay 6
AE - Emirati Arabi Uniti 5
AU - Australia 5
BB - Barbados 5
TH - Thailandia 5
TW - Taiwan 5
CH - Svizzera 4
DK - Danimarca 4
EE - Estonia 4
PT - Portogallo 4
SY - Repubblica araba siriana 4
BO - Bolivia 3
CZ - Repubblica Ceca 3
ET - Etiopia 3
GE - Georgia 3
GT - Guatemala 3
HR - Croazia 3
IE - Irlanda 3
IR - Iran 3
KG - Kirghizistan 3
MK - Macedonia 3
NG - Nigeria 3
PR - Porto Rico 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
BH - Bahrain 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
DM - Dominica 2
DO - Repubblica Dominicana 2
KH - Cambogia 2
LY - Libia 2
MU - Mauritius 2
Totale 22.467
Salva come PNG Salva come JPEG
Città #
Ashburn 1.354
Fairfield 1.106
Singapore 1.082
Jacksonville 825
San Jose 818
Chandler 731
Seattle 535
Woodbridge 527
Dallas 489
Houston 446
Santa Clara 427
Columbus 424
Wilmington 416
Council Bluffs 392
Cambridge 375
Ann Arbor 355
San Mateo 310
Beijing 243
Moscow 243
Princeton 214
Seoul 207
New York 204
Los Angeles 193
Ho Chi Minh City 166
Riga 166
Phoenix 152
Hanoi 151
Lauterbourg 150
Sofia 130
Trento 122
The Dalles 121
Hong Kong 97
Helsinki 94
Chicago 87
San Diego 80
São Paulo 80
Dearborn 76
Milan 70
Hefei 67
Lawrence 63
Buffalo 59
Rome 56
Boardman 54
Jakarta 52
London 45
Orem 40
Da Nang 39
Haiphong 34
Toronto 34
North Bergen 33
Redondo Beach 33
Brooklyn 32
Denver 32
Munich 30
Frankfurt am Main 29
Atlanta 28
Tokyo 27
Dong Ket 26
Guangzhou 26
Rio de Janeiro 25
Düsseldorf 24
Falls Church 24
Montreal 24
Salt Lake City 24
Chennai 23
Des Moines 23
San José 23
Norwalk 22
Tampa 22
Turku 22
Shanghai 21
Washington 20
San Francisco 19
Belo Horizonte 18
Boston 18
Johannesburg 18
Warsaw 18
Brasília 17
Edinburgh 17
Izmir 17
Kilburn 17
Las Vegas 17
Vienna 17
Trieste 16
Amsterdam 15
Falkenstein 15
Miami 15
San Paolo di Civitate 15
Timisoara 15
Verona 15
Elk Grove Village 14
Mexico City 14
Riverside 14
Baghdad 13
Paris 13
Porto Alegre 13
Altamura 12
Kingston 12
Manchester 12
Nairobi 12
Totale 15.222
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 312
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 269
OptiMathSAT: A Tool for Optimization Modulo Theories 259
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 245
Satisfiability Modulo Transcendental Functions via Incremental Linearization 235
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 225
Planning with strategic goals 221
GSTE is partitioned model checking 220
SAT-based decision procedures for normal modal logics:a theoretical framework 217
OptiMathSAT: A Tool for Optimization Modulo Theories 217
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 215
Colors make theories hard 209
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 207
A general purpose reasoner for abstraction 206
Structured learning modulo theories 203
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 203
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 201
A new method for testing decision procedures in modal logics 196
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 194
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 193
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 188
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 188
Advanced SMT techniques for weighted model integration 184
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 181
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 179
Verilog2SMV: A tool for word-level verification 178
Requirements evolution and evolution requirements with constrained goal models 178
Modeling and reasoning on requirements evolution with constrained goal models 178
Efficient theory combination via Boolean search 177
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 176
Multi-objective reasoning with constrained goal models 175
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 174
NuSMV 2: An opensource tool for symbolic model checking 172
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 171
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 169
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 168
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 167
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 167
Encoding RTL Constructs for MathSAT: a Preliminary Report 166
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 165
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 165
Automated Reasoning in ALCQ via SMT 163
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 163
Optimization Modulo Theories with Linear Rational Costs 162
Lemmas for satisfiability modulo transcendental functions via incremental linearization 160
A lazy and layered SMT(BV) solver for hard industrial verification problems 160
On Optimization Modulo Theories, MaxSMT and Sorting Networks 160
Satisfiability Modulo Theories 155
Improving the Encoding of LTL Model Checking into SAT 153
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 153
Formal Specification and Development of a Safety-Critical Train Management System 151
GSTE is partitioned Model Checking 150
A SAT-based decision procedure for ALC 150
Act, and the rest will follow: exploiting determinism in planning as satisfiability 150
An Analysis of Empirical Testing for Modal Decision Procedures 149
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 149
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 149
SMT-based Weighted Model Integration with Structure Awareness 147
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 147
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 147
Enhancing SMT-based Weighted Model Integration by structure awareness 146
A new method for testing decision procedures in modal and terminological logics 145
On CNF Conversion for Disjoint SAT Enumeration 143
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 143
Formal Reasoning Techniques for Goal Models 143
Applying the Davis-Putnam procedure to non-clausal formulas 142
Building Efficient Decision Procedures on top of SAT solvers 142
Optimization Modulo the Theory of Floating-Point Numbers 142
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 141
Bounded model checking for timed systems 140
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 140
Property-Driven Partitioning for Abstraction Refinement 139
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 138
Integrating BDD-based and SAT-based Symbolic Model Checking 138
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 138
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 137
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 136
An SAT-based decision procedure for ALC 135
Applying SMT in Symbolic Execution of Microcode 135
Constructive Learning Modulo Theories 135
Software model checking via large-block encoding 134
Interpolant Generation for UTVPI 133
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 133
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 132
Model checking syllabi and student careers 131
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 130
Encoding RTL Constructs for MathSAT: a Preliminary Report 126
Efficient Interpolant Generation in Satisfiability Modulo Theories 125
NuSMV2: an open source tool for symbolic model checking 122
Satisfiability Modulo the Theory of Costs: Foundations and Applications 122
A Modular Approach to MaxSAT Modulo Theories 121
Applying GSAT To Non-Clausal Formulas 120
A System and Methodology for Generating Random Modal Formula 120
Goal Modelling and Reasoning in Tropos 118
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 117
Verifying Industrial Hybrid Systems with MathSAT 116
Calculating criticalities 116
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 116
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction 115
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 114
Totale 16.290
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.949
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.246
Totale 96.195
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.103 0 0 0 0 81 61 72 375 55 68 144 247
2022/20231.444 200 146 13 207 158 226 7 151 204 17 67 48
2023/2024791 41 57 55 67 47 191 53 58 15 57 37 113
2024/20253.068 6 30 127 626 174 451 85 173 248 523 286 339
2025/20266.967 503 142 1.009 1.136 630 479 1.171 181 610 698 235 173
2026/20273.040 180 452 1.081 1.246 81 0 0 0 0 0 0 0
Totale 22.812