IRIS
Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.918
AS - Asia 2.954
EU - Europa 2.530
SA - Sud America 783
AF - Africa 65
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 4
Totale 16.263
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.824
SG - Singapore 1.574
CN - Cina 751
BR - Brasile 671
RU - Federazione Russa 479
UA - Ucraina 415
IT - Italia 364
VN - Vietnam 251
SE - Svezia 247
FI - Finlandia 213
GB - Regno Unito 193
DE - Germania 180
LV - Lettonia 167
BG - Bulgaria 130
ID - Indonesia 66
HK - Hong Kong 64
AR - Argentina 52
IN - India 49
CA - Canada 41
MX - Messico 34
TR - Turchia 30
BD - Bangladesh 29
FR - Francia 26
JO - Giordania 26
ZA - Sudafrica 24
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
CR - Costa Rica 7
EG - Egitto 7
EU - Europa 7
CL - Cile 6
KE - Kenya 6
UZ - Uzbekistan 6
AL - Albania 5
TN - Tunisia 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
BB - Barbados 4
HU - Ungheria 4
KZ - Kazakistan 4
SA - Arabia Saudita 4
AU - Australia 3
BE - Belgio 3
DK - Danimarca 3
HN - Honduras 3
IL - Israele 3
IR - Iran 3
LB - Libano 3
SC - Seychelles 3
BH - Bahrain 2
CH - Svizzera 2
DO - Repubblica Dominicana 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.259
Salva come PNG Salva come JPEG
Città #
Fairfield 1.106
Singapore 986
Ashburn 833
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 127
Trento 111
Ho Chi Minh City 82
Dearborn 75
Helsinki 74
San Diego 73
São Paulo 68
Hefei 67
Chicago 66
Lawrence 63
Buffalo 53
Hong Kong 52
Jakarta 52
Council Bluffs 51
Hanoi 47
Boardman 46
London 40
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
Salt Lake City 21
Tampa 21
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
Johannesburg 13
Orem 13
Porto Alegre 13
Altamura 12
Falkenstein 12
Frankfurt am Main 12
Atlanta 11
Boston 11
Chennai 11
Denver 11
San Jose 11
Como 10
Haiphong 10
Karlsruhe 10
Poplar 10
Saint Petersburg 10
Salvador 10
Sorocaba 10
Warsaw 10
Changsha 9
Goiânia 9
Mexico City 9
Ribeirão Preto 9
San Francisco 9
Washington 9
Baku 8
Caxias do Sul 8
Da Nang 8
Fremont 8
Lima 8
Shenyang 8
Stockholm 8
Totale 11.745
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 268
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 200
Satisfiability Modulo Transcendental Functions via Incremental Linearization 196
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 191
GSTE is partitioned model checking 190
OptiMathSAT: A Tool for Optimization Modulo Theories 188
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 185
Colors make theories hard 171
Planning with strategic goals 165
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 164
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 160
A general purpose reasoner for abstraction 160
A new method for testing decision procedures in modal logics 159
Structured learning modulo theories 159
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report 159
Modeling and reasoning on requirements evolution with constrained goal models 155
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 153
OptiMathSAT: A Tool for Optimization Modulo Theories 151
Advanced SMT techniques for weighted model integration 149
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 149
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration 149
Multi-objective reasoning with constrained goal models 147
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
Verilog2SMV: A tool for word-level verification 139
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 139
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 139
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 138
Encoding RTL Constructs for MathSAT: a Preliminary Report 138
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 133
Efficient theory combination via Boolean search 133
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 132
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 132
Requirements evolution and evolution requirements with constrained goal models 132
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 131
On Optimization Modulo Theories, MaxSMT and Sorting Networks 131
Goal-oriented Requirements Analysis and Reasoning in the Tropos Methodology 129
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction 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 124
A lazy and layered SMT(BV) solver for hard industrial verification problems 122
Automated Reasoning in ALCQ via SMT 120
Formal Reasoning Techniques for Goal Models 120
GSTE is partitioned Model Checking 119
Building Efficient Decision Procedures on top of SAT solvers 117
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 117
Satisfiability Modulo Theories 117
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
Applying the Davis-Putnam procedure to non-clausal formulas 113
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 113
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking 113
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
Act, and the rest will follow: exploiting determinism in planning as satisfiability 110
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 109
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 106
Encoding RTL Constructs for MathSAT: a Preliminary Report 106
SAT-based decision procedures for normal modal logics:a theoretical framework 104
A SAT-based decision procedure for ALC 104
Property-Driven Partitioning for Abstraction Refinement 103
Applying SMT in Symbolic Execution of Microcode 103
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain 102
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types 102
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 101
Software model checking via large-block encoding 101
Lemmas for satisfiability modulo transcendental functions via incremental linearization 101
NuSMV 2: An opensource tool for symbolic model checking 100
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 100
Enhancing SMT-based Weighted Model Integration by structure awareness 99
Efficient Interpolant Generation in Satisfiability Modulo Theories 99
NuSMV2: an open source tool for symbolic model checking 98
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 97
Verifying Industrial Hybrid Systems with MathSAT 97
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
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 92
A System and Methodology for Generating Random Modal Formula 91
Optimization Modulo the Theory of Floating-Point Numbers 90
A Modular Approach to MaxSAT Modulo Theories 89
Proof Planning by Abstraction 88
Journal on Satisfiability, Boolean Modeling and Computation -- JSAT, Special Issue on Satisfiability Modulo Theories 87
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 87
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 86
Constructive Learning Modulo Theories 86
null 84
Calculating criticalities 84
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems 84
Lazy Satisfiability Modulo Theories 83
On CNF Conversion for Disjoint SAT Enumeration 81
More evaluation of decision procedures for modal logics 81
Totale 12.369
Salva come PNG Salva come JPEG
Categoria #
all - tutte 73.300
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.528
Totale 75.828
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.719 504 143 1.013 1.138 635 286 0 0 0 0 0 0
Totale 16.561