IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.302
AS - Asia 4.155
EU - Europa 2.987
SA - Sud America 884
AF - Africa 100
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 6
Totale 19.445
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.161
SG - Singapore 1.744
CN - Cina 906
BR - Brasile 729
VN - Vietnam 640
RU - Federazione Russa 481
IT - Italia 468
UA - Ucraina 419
SE - Svezia 254
FI - Finlandia 233
GB - Regno Unito 230
FR - Francia 217
DE - Germania 213
KR - Corea 208
LV - Lettonia 166
BG - Bulgaria 131
HK - Hong Kong 123
IN - India 118
ID - Indonesia 74
CA - Canada 66
AR - Argentina 58
BD - Bangladesh 58
IQ - Iraq 50
MX - Messico 48
TR - Turchia 36
NL - Olanda 32
JP - Giappone 31
JO - Giordania 30
ZA - Sudafrica 29
PK - Pakistan 26
EC - Ecuador 22
PL - Polonia 22
AT - Austria 21
CO - Colombia 18
ES - Italia 17
RO - Romania 17
CL - Cile 15
MA - Marocco 15
MY - Malesia 15
LT - Lituania 14
PY - Paraguay 12
TN - Tunisia 12
CR - Costa Rica 11
EG - Egitto 11
KE - Kenya 11
AZ - Azerbaigian 10
PE - Perù 10
UZ - Uzbekistan 10
VE - Venezuela 10
PH - Filippine 9
SA - Arabia Saudita 9
AL - Albania 7
BE - Belgio 7
EU - Europa 7
KZ - Kazakistan 7
HU - Ungheria 6
LB - Libano 6
NP - Nepal 6
UY - Uruguay 6
AE - Emirati Arabi Uniti 5
AU - Australia 5
IL - Israele 5
BB - Barbados 4
CH - Svizzera 4
PT - Portogallo 4
TH - Thailandia 4
TW - Taiwan 4
BO - Bolivia 3
CZ - Repubblica Ceca 3
DK - Danimarca 3
ET - Etiopia 3
HN - Honduras 3
IE - Irlanda 3
IR - Iran 3
KG - Kirghizistan 3
MK - Macedonia 3
NG - Nigeria 3
SC - Seychelles 3
SY - Repubblica araba siriana 3
BH - Bahrain 2
BN - Brunei Darussalam 2
CI - Costa d'Avorio 2
DM - Dominica 2
DO - Repubblica Dominicana 2
GE - Georgia 2
KH - Cambogia 2
MU - Mauritius 2
NO - Norvegia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
BW - Botswana 1
BY - Bielorussia 1
CD - Congo 1
CG - Congo 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
EE - Estonia 1
Totale 19.425
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Singapore 1.073
Ashburn 973
Jacksonville 820
Chandler 731
San Jose 614
Seattle 532
Woodbridge 526
Dallas 465
Houston 437
Wilmington 416
Santa Clara 384
Cambridge 375
Ann Arbor 355
San Mateo 310
Columbus 297
Moscow 243
Beijing 241
Princeton 209
Seoul 206
New York 179
Riga 166
Ho Chi Minh City 165
Los Angeles 162
Hanoi 150
Lauterbourg 150
Sofia 130
The Dalles 121
Trento 121
Hong Kong 95
Helsinki 94
Council Bluffs 89
Dearborn 76
São Paulo 76
San Diego 75
Chicago 71
Hefei 67
Lawrence 63
Buffalo 57
Boardman 52
Jakarta 52
London 43
Milan 43
Rome 43
Da Nang 39
Orem 37
Haiphong 34
Redondo Beach 33
Munich 30
Frankfurt am Main 29
Phoenix 27
Dong Ket 26
Guangzhou 26
Rio de Janeiro 25
Düsseldorf 24
Falls Church 24
Chennai 23
Des Moines 23
Tokyo 23
Norwalk 22
Turku 22
Salt Lake City 21
Tampa 21
Toronto 21
Belo Horizonte 18
Brooklyn 18
Johannesburg 18
Montreal 18
Shanghai 18
Denver 17
Edinburgh 17
Izmir 17
Kilburn 17
Vienna 17
Brasília 16
Trieste 16
Amsterdam 15
Boston 15
Falkenstein 15
San Paolo di Civitate 15
Timisoara 15
Verona 15
Warsaw 15
Atlanta 14
Elk Grove Village 14
Baghdad 13
Mexico City 13
Porto Alegre 13
Altamura 12
Manchester 12
Paris 12
Washington 12
Poplar 11
Stockholm 11
Como 10
Karlsruhe 10
Miami 10
Nairobi 10
Saint Petersburg 10
Salvador 10
Totale 13.692
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 297
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 252
OptiMathSAT: A Tool for Optimization Modulo Theories 223
Satisfiability Modulo Transcendental Functions via Incremental Linearization 212
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 210
GSTE is partitioned model checking 205
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 205
Planning with strategic goals 200
OptiMathSAT: A Tool for Optimization Modulo Theories 193
Colors make theories hard 193
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 191
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 188
A new method for testing decision procedures in modal logics 186
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 182
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 179
A general purpose reasoner for abstraction 178
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 176
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 174
Structured learning modulo theories 172
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 171
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 168
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 166
Advanced SMT techniques for weighted model integration 166
Multi-objective reasoning with constrained goal models 164
Modeling and reasoning on requirements evolution with constrained goal models 164
Verilog2SMV: A tool for word-level verification 162
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 162
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 160
Requirements evolution and evolution requirements with constrained goal models 157
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 156
Efficient theory combination via Boolean search 155
Encoding RTL Constructs for MathSAT: a Preliminary Report 154
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 154
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 153
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 153
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 152
On Optimization Modulo Theories, MaxSMT and Sorting Networks 151
Optimization Modulo Theories with Linear Rational Costs 150
Automated Reasoning in ALCQ via SMT 149
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 148
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 146
NuSMV 2: An opensource tool for symbolic model checking 142
A lazy and layered SMT(BV) solver for hard industrial verification problems 142
Improving the Encoding of LTL Model Checking into SAT 141
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 140
Formal Specification and Development of a Safety-Critical Train Management System 138
An Analysis of Empirical Testing for Modal Decision Procedures 136
GSTE is partitioned Model Checking 135
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 135
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 133
A new method for testing decision procedures in modal and terminological logics 133
Formal Reasoning Techniques for Goal Models 132
Satisfiability Modulo Theories 132
Act, and the rest will follow: exploiting determinism in planning as satisfiability 131
Lemmas for satisfiability modulo transcendental functions via incremental linearization 130
Applying the Davis-Putnam procedure to non-clausal formulas 129
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 129
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 129
Optimization Modulo the Theory of Floating-Point Numbers 129
Integrating BDD-based and SAT-based Symbolic Model Checking 128
A SAT-based decision procedure for ALC 128
Property-Driven Partitioning for Abstraction Refinement 128
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 128
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 128
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 127
Building Efficient Decision Procedures on top of SAT solvers 127
Bounded model checking for timed systems 124
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 124
SMT-based Weighted Model Integration with Structure Awareness 123
Model checking syllabi and student careers 123
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 123
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 123
An SAT-based decision procedure for ALC 122
Interpolant Generation for UTVPI 122
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 120
On CNF Conversion for Disjoint SAT Enumeration 118
Enhancing SMT-based Weighted Model Integration by structure awareness 118
Software model checking via large-block encoding 117
Constructive Learning Modulo Theories 117
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 116
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 116
Applying SMT in Symbolic Execution of Microcode 116
Encoding RTL Constructs for MathSAT: a Preliminary Report 115
SAT-based decision procedures for normal modal logics:a theoretical framework 115
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 113
Efficient Interpolant Generation in Satisfiability Modulo Theories 113
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 107
A Modular Approach to MaxSAT Modulo Theories 107
NuSMV2: an open source tool for symbolic model checking 106
Verifying Industrial Hybrid Systems with MathSAT 104
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 104
Applying GSAT To Non-Clausal Formulas 103
A System and Methodology for Generating Random Modal Formula 103
Satisfiability Modulo the Theory of Costs: Foundations and Applications 103
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 101
Calculating criticalities 101
Goal Modelling and Reasoning in Tropos 100
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 98
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 97
Simple and Minimal-Cost Satisfiability for Goal Models 97
Totale 14.396
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.070
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.849
Totale 84.919
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021150 0 0 0 0 0 0 0 0 0 0 0 150
2021/20221.625 72 340 26 84 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.946 503 142 1.009 1.136 630 479 1.171 181 610 698 235 152
Totale 19.751