IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.944
AS - Asia 4.129
EU - Europa 2.932
SA - Sud America 883
AF - Africa 100
Continente sconosciuto - Info sul continente non disponibili 11
OC - Oceania 6
Totale 19.005
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.811
SG - Singapore 1.739
CN - Cina 898
BR - Brasile 728
VN - Vietnam 638
RU - Federazione Russa 481
IT - Italia 421
UA - Ucraina 419
SE - Svezia 253
FI - Finlandia 233
GB - Regno Unito 229
FR - Francia 216
DE - Germania 212
KR - Corea 208
LV - Lettonia 166
BG - Bulgaria 131
HK - Hong Kong 119
IN - India 117
ID - Indonesia 73
CA - Canada 62
AR - Argentina 58
BD - Bangladesh 55
IQ - Iraq 50
MX - Messico 46
TR - Turchia 36
JP - Giappone 31
NL - Olanda 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
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
BE - Belgio 5
IL - Israele 5
BB - Barbados 4
CH - Svizzera 4
PT - Portogallo 4
TH - Thailandia 4
BO - Bolivia 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
CZ - Repubblica Ceca 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
TW - Taiwan 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 18.987
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Singapore 1.071
Ashburn 938
Jacksonville 820
Chandler 731
San Jose 555
Seattle 531
Woodbridge 526
Dallas 461
Houston 433
Wilmington 416
Cambridge 375
Santa Clara 363
Ann Arbor 355
San Mateo 310
Columbus 297
Moscow 242
Beijing 236
Princeton 209
Seoul 206
New York 176
Riga 166
Ho Chi Minh City 165
Los Angeles 155
Lauterbourg 150
Hanoi 148
Sofia 130
The Dalles 121
Trento 119
Helsinki 94
Hong Kong 92
São Paulo 76
Dearborn 75
San Diego 74
Chicago 69
Council Bluffs 68
Hefei 67
Lawrence 63
Buffalo 57
Jakarta 52
Boardman 44
London 43
Rome 43
Da Nang 39
Orem 36
Haiphong 34
Redondo Beach 33
Milan 32
Munich 30
Frankfurt am Main 28
Dong Ket 26
Guangzhou 26
Rio de Janeiro 25
Düsseldorf 24
Falls Church 24
Phoenix 24
Chennai 23
Des Moines 23
Tokyo 23
Norwalk 22
Turku 22
Salt Lake City 21
Tampa 21
Toronto 20
Belo Horizonte 18
Johannesburg 18
Shanghai 18
Edinburgh 17
Izmir 17
Kilburn 17
Montreal 17
Vienna 17
Brasília 16
Brooklyn 16
Trieste 16
Amsterdam 15
Falkenstein 15
San Paolo di Civitate 15
Timisoara 15
Warsaw 15
Atlanta 14
Boston 14
Denver 14
Elk Grove Village 14
Verona 14
Baghdad 13
Porto Alegre 13
Altamura 12
Manchester 12
Paris 12
Mexico City 11
Poplar 11
Stockholm 11
Como 10
Karlsruhe 10
Nairobi 10
Saint Petersburg 10
Salvador 10
Sorocaba 10
Washington 10
Totale 13.481
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 292
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 247
OptiMathSAT: A Tool for Optimization Modulo Theories 218
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 209
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
GSTE is partitioned model checking 203
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 201
Planning with strategic goals 196
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 191
OptiMathSAT: A Tool for Optimization Modulo Theories 190
Colors make theories hard 189
A new method for testing decision procedures in modal logics 185
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 184
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 179
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 176
A general purpose reasoner for abstraction 176
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 171
Structured learning modulo theories 170
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 170
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 169
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 166
Advanced SMT techniques for weighted model integration 164
Modeling and reasoning on requirements evolution with constrained goal models 164
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 162
Multi-objective reasoning with constrained goal models 159
Verilog2SMV: A tool for word-level verification 159
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 156
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 156
Encoding RTL Constructs for MathSAT: a Preliminary Report 154
Requirements evolution and evolution requirements with constrained goal models 154
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 153
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 152
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 152
Efficient theory combination via Boolean search 151
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 150
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 149
On Optimization Modulo Theories, MaxSMT and Sorting Networks 149
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 147
Automated Reasoning in ALCQ via SMT 146
Optimization Modulo Theories with Linear Rational Costs 145
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 142
Improving the Encoding of LTL Model Checking into SAT 141
A lazy and layered SMT(BV) solver for hard industrial verification problems 140
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 138
Formal Specification and Development of a Safety-Critical Train Management System 136
An Analysis of Empirical Testing for Modal Decision Procedures 135
GSTE is partitioned Model Checking 133
NuSMV 2: An opensource tool for symbolic model checking 132
A new method for testing decision procedures in modal and terminological logics 131
Formal Reasoning Techniques for Goal Models 129
Applying the Davis-Putnam procedure to non-clausal formulas 129
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 129
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 128
Act, and the rest will follow: exploiting determinism in planning as satisfiability 128
Satisfiability Modulo Theories 128
Building Efficient Decision Procedures on top of SAT solvers 127
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 127
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 127
A SAT-based decision procedure for ALC 126
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 126
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 125
Integrating BDD-based and SAT-based Symbolic Model Checking 125
Property-Driven Partitioning for Abstraction Refinement 125
Optimization Modulo the Theory of Floating-Point Numbers 125
Lemmas for satisfiability modulo transcendental functions via incremental linearization 124
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 123
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 123
An SAT-based decision procedure for ALC 122
Bounded model checking for timed systems 122
Model checking syllabi and student careers 122
Interpolant Generation for UTVPI 122
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 121
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 121
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 119
SMT-based Weighted Model Integration with Structure Awareness 118
Software model checking via large-block encoding 117
Enhancing SMT-based Weighted Model Integration by structure awareness 116
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 115
Applying SMT in Symbolic Execution of Microcode 115
Encoding RTL Constructs for MathSAT: a Preliminary Report 114
SAT-based decision procedures for normal modal logics:a theoretical framework 114
On CNF Conversion for Disjoint SAT Enumeration 113
Constructive Learning Modulo Theories 113
Efficient Interpolant Generation in Satisfiability Modulo Theories 112
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 111
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
Satisfiability Modulo the Theory of Costs: Foundations and Applications 103
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 102
Applying GSAT To Non-Clausal Formulas 101
Calculating criticalities 101
A System and Methodology for Generating Random Modal Formula 101
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 100
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 100
Goal Modelling and Reasoning in Tropos 99
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 98
SAT Techniques for Modal and Description Logics 96
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 95
Totale 14.151
Salva come PNG Salva come JPEG
Categoria #
all - tutte 77.803
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.691
Totale 80.494
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021526 0 0 0 0 0 0 0 0 0 151 225 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.506 503 142 1.009 1.136 630 479 1.171 181 610 645 0 0
Totale 19.311