IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.713
EU - Europa 4.292
AS - Asia 2.115
SA - Sud America 528
AF - Africa 56
Continente sconosciuto - Info sul continente non disponibili 51
OC - Oceania 3
AN - Antartide 1
Totale 11.759
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.584
RU - Federazione Russa 2.538
SG - Singapore 829
DE - Germania 437
BR - Brasile 434
VN - Vietnam 363
CN - Cina 353
SE - Svezia 288
HK - Hong Kong 272
UA - Ucraina 251
FI - Finlandia 159
FR - Francia 149
GB - Regno Unito 124
IT - Italia 113
IN - India 99
NL - Olanda 80
CA - Canada 76
IE - Irlanda 68
BD - Bangladesh 38
AR - Argentina 34
MX - Messico 29
TR - Turchia 27
ZA - Sudafrica 24
JP - Giappone 21
ES - Italia 18
PL - Polonia 17
EU - Europa 15
IQ - Iraq 15
EC - Ecuador 14
BE - Belgio 12
LT - Lituania 12
CO - Colombia 11
ID - Indonesia 9
IR - Iran 9
PY - Paraguay 9
SA - Arabia Saudita 9
MA - Marocco 8
LB - Libano 7
IL - Israele 6
JM - Giamaica 6
MY - Malesia 6
UY - Uruguay 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
GE - Georgia 5
JO - Giordania 5
PE - Perù 5
PH - Filippine 5
PK - Pakistan 5
TN - Tunisia 5
UZ - Uzbekistan 5
KE - Kenya 4
NP - Nepal 4
OM - Oman 4
PS - Palestinian Territory 4
PT - Portogallo 4
CR - Costa Rica 3
DZ - Algeria 3
EE - Estonia 3
EG - Egitto 3
ET - Etiopia 3
MK - Macedonia 3
PA - Panama 3
TH - Thailandia 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
GT - Guatemala 2
GY - Guiana 2
KG - Kirghizistan 2
RO - Romania 2
TT - Trinidad e Tobago 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
HN - Honduras 1
HU - Ungheria 1
KR - Corea 1
KW - Kuwait 1
LV - Lettonia 1
MD - Moldavia 1
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
Totale 11.719
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
San Jose 501
Council Bluffs 467
Singapore 438
Ashburn 317
Hong Kong 261
The Dalles 180
Moscow 158
Dallas 157
Boardman 145
Beijing 131
Wilmington 119
Ho Chi Minh City 89
Los Angeles 85
Helsinki 84
Hanoi 74
Hefei 73
Dong Ket 72
Kronberg 69
Dublin 68
Lauterbourg 64
Dearborn 60
New York 59
Woodbridge 52
Houston 45
Phoenix 43
Ann Arbor 40
São Paulo 39
Seattle 35
Trento 30
Brooklyn 27
Toronto 26
Frankfurt am Main 25
Pune 25
Munich 22
Santa Clara 22
Milan 21
Tokyo 21
Montreal 19
Chicago 17
Denver 16
Orem 16
San Mateo 16
Warsaw 16
Atlanta 15
Da Nang 15
Rio de Janeiro 15
Shanghai 15
Augusta 14
Johannesburg 14
Hanover 13
London 13
Poplar 13
Mexico City 11
Miami 11
Brussels 10
Chennai 10
Falkenstein 10
Guangzhou 10
Leawood 10
Redwood City 10
Stockholm 10
Haiphong 9
Manchester 9
Porto Alegre 9
Ankara 8
Belo Horizonte 8
Des Moines 8
Dhaka 8
Mumbai 8
Portland 8
Boston 7
Brasília 7
Can Tho 7
Norwalk 7
Nuremberg 7
Tianjin 7
Verona 7
Amsterdam 6
Biên Hòa 6
Cape Town 6
Falls Church 6
Mountain View 6
Nanjing 6
Ottawa 6
Secaucus 6
Turku 6
Auburn Hills 5
Bexley 5
Erbil 5
Hải Dương 5
Montevideo 5
San Francisco 5
Vancouver 5
West Jordan 5
Điện Bàn 5
Amman 4
Asunción 4
Baghdad 4
Totale 5.776
Salva come PNG Salva come JPEG
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 235
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 224
A New Method for Testing Decision Procedures in Modal and Terminological Logics 219
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 219
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 218
Satisfiability Modulo Transcendental Functions via Incremental Linearization 214
A General Purpose Reasoner for Abstraction 213
Calculating Criticalities 213
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 213
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 210
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 207
A SAT-based Decision Procedure for ALC 193
Bounded Model Checking for Timed Systems 192
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 191
Efficient Theory Combination via Boolean Search 191
Applying SMT in Symbolic Execution of Microcode 189
Building Efficient Decision Procedures on top of SAT solvers 188
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 187
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 186
The MathSAT Solver - a comparative evaluation 184
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 183
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 182
Applying the Davis-Putnam procedure to non-clausal formulas 180
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 180
Efficient theory combination via boolean search 179
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 179
Computing Abstraction Hierarchies by Numerical Simulation 179
The Mathsat3 System 177
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 177
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 175
The MathSAT 4SMT Solver 173
Formal Specification and Development of a Safety-Critical Train Management 172
Encoding RTL Constructs for Mathsat: A preliminary report 170
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 170
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 169
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 166
Software Model Checking via Large-Block Encoding 165
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 164
From Tableau-based to SAT-based procedures - preliminary report 164
Proof planning by abstraction 163
Structured learning modulo theories 163
Verifying Industrial Hybrid Systems with MathSAT 162
GSTE is partitioned model checking 160
Efficient generation of craig interpolants in satisfiability modulo theories 157
Interpolant Generation for UTVPI 155
Integrating BDD-based and SAT-based Symbolic Model Checking 153
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 148
Satisfiability Modulo the Theory of Costs: Foundations and Applications 147
Proving Theorems by Using Abstraction Interactively 144
Efficient Interpolant Generation in Satisfiability Modulo Theories 142
GSTE is partitioned Model Checking 141
Improving the encoding of LTL Model Checking into SAT 140
Specifica formale dei protocolli Safety Layer e Connection Manager 139
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 138
Theory and Applications of Satisfiability Testing – SAT 2012 137
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 135
Verifying Industrial Hybrid Systems with MathSAT 134
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 132
SAT-based decision procedures for normal modal logics: a theoretical framework 132
Model Checking Syllabi and Student Careers 131
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 128
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 127
The MAthSAT Solver. A progress report 124
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 124
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 123
Formal Specification and validation of a Vital Communication Protocol 123
The MathSAT solver -- a progress report 117
More Evaluation of Decision Procedures for Modal Logics 116
Software Model Checking via Large-Block Encoding 116
Property-driven partitioning for abstraction refinement 113
Servizi forniti dagli strati Safety Layer e Connection Manager 105
Totale 11.759
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.916
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 49.916
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022330 0 4 3 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/2027338 209 129 0 0 0 0 0 0 0 0 0 0
Totale 11.759