IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.483
EU - Europa 4.316
AS - Asia 2.124
SA - Sud America 532
AF - Africa 59
Continente sconosciuto - Info sul continente non disponibili 54
OC - Oceania 3
AN - Antartide 1
Totale 12.572
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.319
RU - Federazione Russa 2.539
SG - Singapore 831
DE - Germania 440
BR - Brasile 436
VN - Vietnam 363
CN - Cina 353
SE - Svezia 296
HK - Hong Kong 274
UA - Ucraina 252
FI - Finlandia 159
FR - Francia 149
GB - Regno Unito 127
IT - Italia 119
IN - India 100
CA - Canada 91
NL - Olanda 80
IE - Irlanda 68
BD - Bangladesh 38
AR - Argentina 34
MX - Messico 29
TR - Turchia 27
ZA - Sudafrica 24
JP - Giappone 23
ES - Italia 19
PL - Polonia 18
EC - Ecuador 15
EU - Europa 15
IQ - Iraq 15
BE - Belgio 12
CO - Colombia 12
LT - Lituania 12
ID - Indonesia 9
IR - Iran 9
JM - Giamaica 9
PY - Paraguay 9
SA - Arabia Saudita 9
MA - Marocco 8
CR - Costa Rica 7
LB - Libano 7
AE - Emirati Arabi Uniti 6
IL - Israele 6
MY - Malesia 6
UY - Uruguay 6
VE - Venezuela 6
CL - Cile 5
GE - Georgia 5
GT - Guatemala 5
JO - Giordania 5
PE - Perù 5
PH - Filippine 5
PK - Pakistan 5
TN - Tunisia 5
UZ - Uzbekistan 5
HN - Honduras 4
KE - Kenya 4
NP - Nepal 4
OM - Oman 4
PS - Palestinian Territory 4
PT - Portogallo 4
SV - El Salvador 4
TH - Thailandia 4
CW - ???statistics.table.value.countryCode.CW??? 3
DZ - Algeria 3
EE - Estonia 3
EG - Egitto 3
ET - Etiopia 3
MK - Macedonia 3
PA - Panama 3
PR - Porto Rico 3
SC - Seychelles 3
TT - Trinidad e Tobago 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
GY - Guiana 2
KG - Kirghizistan 2
RO - Romania 2
AL - Albania 1
AO - Angola 1
AQ - Antartide 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
GD - Grenada 1
GG - Guernsey 1
GH - Ghana 1
GR - Grecia 1
HU - Ungheria 1
KR - Corea 1
KW - Kuwait 1
LV - Lettonia 1
Totale 12.529
Salva come PNG Salva come JPEG
Città #
San Jose 575
Chandler 569
Jacksonville 511
Council Bluffs 484
Singapore 440
Ashburn 324
Hong Kong 261
The Dalles 180
Dallas 167
Moscow 158
Boardman 145
Beijing 131
Wilmington 119
Los Angeles 100
Ho Chi Minh City 89
Helsinki 84
New York 75
Hanoi 74
Hefei 73
Dong Ket 72
Kronberg 69
Dublin 68
Lauterbourg 64
Dearborn 60
Houston 55
Woodbridge 53
Phoenix 50
Ann Arbor 40
São Paulo 40
Brooklyn 37
Buffalo 37
Seattle 37
Santa Clara 33
Trento 30
Toronto 29
Frankfurt am Main 26
Pune 25
Munich 24
Tokyo 23
Chicago 22
Denver 22
Tampa 22
Garland 21
Milan 21
Montreal 20
Atlanta 18
Miami 16
Orem 16
San Mateo 16
Warsaw 16
Da Nang 15
Rio de Janeiro 15
Shanghai 15
Augusta 14
Hanover 14
Johannesburg 14
London 14
Poplar 13
North Easton 12
Honolulu 11
Mexico City 11
Brussels 10
Chennai 10
Falkenstein 10
Guangzhou 10
Leawood 10
Redwood City 10
Stockholm 10
Des Moines 9
Haiphong 9
Manchester 9
Mumbai 9
Portland 9
Porto Alegre 9
Princeton 9
Ankara 8
Belo Horizonte 8
Dhaka 8
Norwalk 8
Boston 7
Brasília 7
Can Tho 7
Charlotte 7
Falls Church 7
North Bergen 7
Nuremberg 7
Ottawa 7
San Diego 7
Secaucus 7
Tianjin 7
Verona 7
Amsterdam 6
Biên Hòa 6
Cape Town 6
Las Vegas 6
Louisville 6
Mountain View 6
Nanjing 6
San Francisco 6
Turku 6
Totale 6.092
Salva come PNG Salva come JPEG
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 248
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 241
A New Method for Testing Decision Procedures in Modal and Terminological Logics 234
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 234
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 228
A General Purpose Reasoner for Abstraction 226
Satisfiability Modulo Transcendental Functions via Incremental Linearization 226
Calculating Criticalities 225
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 224
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 222
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 217
A SAT-based Decision Procedure for ALC 208
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 206
Efficient Theory Combination via Boolean Search 204
Bounded Model Checking for Timed Systems 201
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 201
Applying SMT in Symbolic Execution of Microcode 200
Building Efficient Decision Procedures on top of SAT solvers 200
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 199
The MathSAT Solver - a comparative evaluation 197
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 194
Computing Abstraction Hierarchies by Numerical Simulation 194
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 194
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 192
The Mathsat3 System 191
Efficient theory combination via boolean search 191
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 191
Applying the Davis-Putnam procedure to non-clausal formulas 187
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 187
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 187
The MathSAT 4SMT Solver 186
Formal Specification and Development of a Safety-Critical Train Management 184
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 181
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 180
Encoding RTL Constructs for Mathsat: A preliminary report 179
Software Model Checking via Large-Block Encoding 176
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 175
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 174
From Tableau-based to SAT-based procedures - preliminary report 174
Proof planning by abstraction 173
Structured learning modulo theories 173
GSTE is partitioned model checking 172
Verifying Industrial Hybrid Systems with MathSAT 172
Interpolant Generation for UTVPI 169
Efficient generation of craig interpolants in satisfiability modulo theories 169
Integrating BDD-based and SAT-based Symbolic Model Checking 165
Satisfiability Modulo the Theory of Costs: Foundations and Applications 163
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 162
Proving Theorems by Using Abstraction Interactively 156
Efficient Interpolant Generation in Satisfiability Modulo Theories 155
GSTE is partitioned Model Checking 153
Improving the encoding of LTL Model Checking into SAT 152
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 151
Specifica formale dei protocolli Safety Layer e Connection Manager 149
Theory and Applications of Satisfiability Testing – SAT 2012 145
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 144
Verifying Industrial Hybrid Systems with MathSAT 144
Model Checking Syllabi and Student Careers 142
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 141
SAT-based decision procedures for normal modal logics: a theoretical framework 141
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 137
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 137
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 136
The MAthSAT Solver. A progress report 135
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 134
Formal Specification and validation of a Vital Communication Protocol 132
The MathSAT solver -- a progress report 127
Software Model Checking via Large-Block Encoding 127
More Evaluation of Decision Procedures for Modal Logics 123
Property-driven partitioning for abstraction refinement 122
Servizi forniti dagli strati Safety Layer e Connection Manager 113
Totale 12.572
Salva come PNG Salva come JPEG
Categoria #
all - tutte 53.006
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 53.006
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022323 0 0 0 56 25 5 2 45 33 12 21 124
2022/20231.045 32 82 17 192 61 175 7 75 256 78 51 19
2023/2024772 65 23 77 64 39 124 46 98 10 148 0 78
2024/20251.940 15 24 74 86 53 44 89 113 706 215 346 175
2025/20265.359 175 283 345 429 272 213 834 1.920 315 268 255 50
2026/20271.151 209 189 420 333 0 0 0 0 0 0 0 0
Totale 12.572