IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.799
AS - Asia 4.177
EU - Europa 3.016
SA - Sud America 894
Continente sconosciuto - Info sul continente non disponibili 319
AF - Africa 100
OC - Oceania 6
Totale 20.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.636
SG - Singapore 1.753
CN - Cina 912
BR - Brasile 733
VN - Vietnam 640
IT - Italia 485
RU - Federazione Russa 481
UA - Ucraina 421
SE - Svezia 254
FI - Finlandia 233
GB - Regno Unito 231
FR - Francia 219
DE - Germania 213
KR - Corea 208
LV - Lettonia 166
BG - Bulgaria 131
HK - Hong Kong 125
IN - India 119
ID - Indonesia 74
CA - Canada 72
AR - Argentina 61
BD - Bangladesh 61
IQ - Iraq 50
MX - Messico 49
TR - Turchia 36
NL - Olanda 33
JP - Giappone 32
JO - Giordania 30
ZA - Sudafrica 29
PK - Pakistan 26
AT - Austria 23
EC - Ecuador 23
PL - Polonia 22
CO - Colombia 20
ES - Italia 18
RO - Romania 17
CR - Costa Rica 16
CL - Cile 15
MA - Marocco 15
MY - Malesia 15
LT - Lituania 14
PY - Paraguay 12
TN - Tunisia 12
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
BE - Belgio 8
AL - Albania 7
EU - Europa 7
JM - Giamaica 7
KZ - Kazakistan 7
HU - Ungheria 6
LB - Libano 6
NP - Nepal 6
UY - Uruguay 6
AE - Emirati Arabi Uniti 5
AU - Australia 5
BB - Barbados 5
IL - Israele 5
CH - Svizzera 4
DK - Danimarca 4
PT - Portogallo 4
TH - Thailandia 4
TW - Taiwan 4
BO - Bolivia 3
CZ - Repubblica Ceca 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
HR - Croazia 2
KH - Cambogia 2
MU - Mauritius 2
NI - Nicaragua 2
NO - Norvegia 2
SV - El Salvador 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
Totale 19.982
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Singapore 1.080
Ashburn 1.001
Jacksonville 822
Chandler 731
San Jose 647
Seattle 532
Woodbridge 527
Dallas 471
Houston 439
Wilmington 416
Columbus 414
Santa Clara 402
Cambridge 375
Ann Arbor 355
San Mateo 310
Moscow 243
Beijing 242
Council Bluffs 230
Princeton 209
Seoul 206
New York 181
Los Angeles 168
Riga 166
Ho Chi Minh City 165
Hanoi 150
Lauterbourg 150
Sofia 130
Trento 122
The Dalles 121
Hong Kong 97
Helsinki 94
São Paulo 77
Dearborn 76
San Diego 75
Chicago 72
Hefei 67
Lawrence 63
Buffalo 57
Boardman 54
Jakarta 52
Milan 45
Rome 45
London 43
Da Nang 39
Orem 39
Haiphong 34
Phoenix 33
Redondo Beach 33
Munich 30
Frankfurt am Main 29
Dong Ket 26
Guangzhou 26
Rio de Janeiro 25
Düsseldorf 24
Falls Church 24
Tokyo 24
Chennai 23
Des Moines 23
Norwalk 22
Turku 22
Salt Lake City 21
Shanghai 21
Tampa 21
Toronto 21
Belo Horizonte 18
Brooklyn 18
Denver 18
Johannesburg 18
Montreal 18
Edinburgh 17
Izmir 17
Kilburn 17
Vienna 17
Brasília 16
Trieste 16
Warsaw 16
Amsterdam 15
Atlanta 15
Boston 15
Falkenstein 15
San Paolo di Civitate 15
Timisoara 15
Verona 15
Washington 15
Elk Grove Village 14
Mexico City 14
Baghdad 13
Porto Alegre 13
San José 13
Altamura 12
Manchester 12
Paris 12
Las Vegas 11
Poplar 11
Stockholm 11
Como 10
Karlsruhe 10
Miami 10
Nairobi 10
Totale 14.090
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 301
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 254
OptiMathSAT: A Tool for Optimization Modulo Theories 230
Satisfiability Modulo Transcendental Functions via Incremental Linearization 217
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 216
GSTE is partitioned model checking 209
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 206
Planning with strategic goals 205
Colors make theories hard 196
OptiMathSAT: A Tool for Optimization Modulo Theories 195
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 193
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 192
A new method for testing decision procedures in modal logics 189
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 188
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 185
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 181
A general purpose reasoner for abstraction 181
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 177
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 176
Structured learning modulo theories 175
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 174
Advanced SMT techniques for weighted model integration 171
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 169
Multi-objective reasoning with constrained goal models 165
Modeling and reasoning on requirements evolution with constrained goal models 165
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 164
Verilog2SMV: A tool for word-level verification 163
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 163
Requirements evolution and evolution requirements with constrained goal models 160
Efficient theory combination via Boolean search 159
NuSMV 2: An opensource tool for symbolic model checking 158
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 158
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 157
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 157
Encoding RTL Constructs for MathSAT: a Preliminary Report 155
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 155
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 154
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 153
Automated Reasoning in ALCQ via SMT 152
Optimization Modulo Theories with Linear Rational Costs 152
On Optimization Modulo Theories, MaxSMT and Sorting Networks 152
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 150
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 145
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 145
Improving the Encoding of LTL Model Checking into SAT 144
A lazy and layered SMT(BV) solver for hard industrial verification problems 144
Lemmas for satisfiability modulo transcendental functions via incremental linearization 141
Formal Specification and Development of a Safety-Critical Train Management System 140
An Analysis of Empirical Testing for Modal Decision Procedures 139
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 138
GSTE is partitioned Model Checking 136
A new method for testing decision procedures in modal and terminological logics 135
Satisfiability Modulo Theories 135
Formal Reasoning Techniques for Goal Models 134
A SAT-based decision procedure for ALC 133
Act, and the rest will follow: exploiting determinism in planning as satisfiability 133
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 133
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 132
On CNF Conversion for Disjoint SAT Enumeration 131
Applying the Davis-Putnam procedure to non-clausal formulas 131
Building Efficient Decision Procedures on top of SAT solvers 131
Property-Driven Partitioning for Abstraction Refinement 131
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 130
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K(m) 130
Integrating BDD-based and SAT-based Symbolic Model Checking 130
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 130
Optimization Modulo the Theory of Floating-Point Numbers 130
Enhancing SMT-based Weighted Model Integration by structure awareness 128
Bounded model checking for timed systems 128
An SAT-based decision procedure for ALC 127
SMT-based Weighted Model Integration with Structure Awareness 126
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 126
Model checking syllabi and student careers 125
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 125
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 125
Interpolant Generation for UTVPI 124
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 121
Constructive Learning Modulo Theories 121
Software model checking via large-block encoding 120
SAT-based decision procedures for normal modal logics:a theoretical framework 119
Encoding RTL Constructs for MathSAT: a Preliminary Report 118
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 118
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 118
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 116
Efficient Interpolant Generation in Satisfiability Modulo Theories 116
Applying SMT in Symbolic Execution of Microcode 116
NuSMV2: an open source tool for symbolic model checking 112
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 111
Applying GSAT To Non-Clausal Formulas 110
A Modular Approach to MaxSAT Modulo Theories 109
Verifying Industrial Hybrid Systems with MathSAT 108
Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking 108
A System and Methodology for Generating Random Modal Formula 106
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 104
Calculating criticalities 104
Satisfiability Modulo the Theory of Costs: Foundations and Applications 104
Goal Modelling and Reasoning in Tropos 102
Proof Planning by Abstraction 100
SAT vs. translation based decision procedures for modal logics: a comparative evaluation 100
More evaluation of decision procedures for modal logics 100
Totale 14.748
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.551
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.977
Totale 88.528
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.553 0 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.967 503 142 1.009 1.136 630 479 1.171 181 610 698 235 173
2026/2027539 180 359 0 0 0 0 0 0 0 0 0 0
Totale 20.311