IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.243
NA - Nord America 4.104
AS - Asia 2.084
SA - Sud America 523
AF - Africa 56
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 2
AN - Antartide 1
Totale 11.028
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.985
RU - Federazione Russa 2.538
SG - Singapore 817
DE - Germania 437
BR - Brasile 433
VN - Vietnam 361
CN - Cina 340
HK - Hong Kong 270
SE - Svezia 251
UA - Ucraina 251
FI - Finlandia 159
FR - Francia 147
GB - Regno Unito 123
IT - Italia 109
IN - India 99
NL - Olanda 80
CA - Canada 74
IE - Irlanda 68
BD - Bangladesh 38
AR - Argentina 33
MX - Messico 29
TR - Turchia 27
ZA - Sudafrica 24
JP - Giappone 21
ES - Italia 17
PL - Polonia 17
EU - Europa 15
EC - Ecuador 14
IQ - Iraq 14
BE - Belgio 12
LT - Lituania 12
CO - Colombia 9
ID - Indonesia 9
IR - Iran 9
SA - Arabia Saudita 9
MA - Marocco 8
PY - Paraguay 8
LB - Libano 7
IL - Israele 6
MY - Malesia 6
UY - Uruguay 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
GE - Georgia 5
JM - Giamaica 5
JO - Giordania 5
PE - Perù 5
PH - Filippine 5
PK - Pakistan 5
TN - Tunisia 5
UZ - Uzbekistan 5
KE - Kenya 4
OM - Oman 4
PS - Palestinian Territory 4
DZ - Algeria 3
EE - Estonia 3
EG - Egitto 3
ET - Etiopia 3
MK - Macedonia 3
NP - Nepal 3
PA - Panama 3
PT - Portogallo 3
TH - Thailandia 3
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
AU - Australia 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GG - Guernsey 1
GH - Ghana 1
GR - Grecia 1
GT - Guatemala 1
HU - Ungheria 1
KR - Corea 1
KW - Kuwait 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
SR - Suriname 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
ZW - Zimbabwe 1
Totale 11.028
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
San Jose 454
Singapore 436
Ashburn 313
Hong Kong 260
The Dalles 179
Moscow 158
Dallas 154
Boardman 145
Beijing 129
Wilmington 119
Ho Chi Minh City 89
Helsinki 84
Los Angeles 83
Hanoi 74
Hefei 73
Dong Ket 72
Kronberg 69
Dublin 68
Lauterbourg 64
Dearborn 60
New York 58
Woodbridge 52
Houston 45
Ann Arbor 40
São Paulo 39
Phoenix 35
Seattle 35
Trento 30
Brooklyn 27
Toronto 26
Frankfurt am Main 25
Pune 25
Munich 22
Tokyo 21
Milan 19
Montreal 19
Santa Clara 19
Chicago 17
Orem 16
San Mateo 16
Warsaw 16
Da Nang 15
Denver 15
Rio de Janeiro 15
Shanghai 15
Augusta 14
Johannesburg 14
Hanover 13
Poplar 13
London 12
Atlanta 11
Mexico City 11
Brussels 10
Chennai 10
Falkenstein 10
Guangzhou 10
Leawood 10
Miami 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
Boston 7
Brasília 7
Can Tho 7
Council Bluffs 7
Norwalk 7
Nuremberg 7
Portland 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
Hải Dương 5
Montevideo 5
San Francisco 5
Vancouver 5
West Jordan 5
Điện Bàn 5
Amman 4
Baghdad 4
Batumi 4
Buenos Aires 4
Totale 5.231
Salva come PNG Salva come JPEG
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 225
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 211
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 210
A New Method for Testing Decision Procedures in Modal and Terminological Logics 209
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 207
Satisfiability Modulo Transcendental Functions via Incremental Linearization 206
A General Purpose Reasoner for Abstraction 204
Calculating Criticalities 204
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 203
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 199
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 198
Bounded Model Checking for Timed Systems 183
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 182
Efficient Theory Combination via Boolean Search 181
A SAT-based Decision Procedure for ALC 181
Applying SMT in Symbolic Execution of Microcode 178
Building Efficient Decision Procedures on top of SAT solvers 177
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 174
The MathSAT Solver - a comparative evaluation 174
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 173
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 173
Computing Abstraction Hierarchies by Numerical Simulation 171
Applying the Davis-Putnam procedure to non-clausal formulas 170
Efficient theory combination via boolean search 170
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 170
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 169
The Mathsat3 System 167
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 164
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 164
Formal Specification and Development of a Safety-Critical Train Management 163
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 163
Encoding RTL Constructs for Mathsat: A preliminary report 162
The MathSAT 4SMT Solver 162
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 160
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 159
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 158
Software Model Checking via Large-Block Encoding 156
Proof planning by abstraction 153
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 153
From Tableau-based to SAT-based procedures - preliminary report 153
Structured learning modulo theories 153
GSTE is partitioned model checking 152
Efficient generation of craig interpolants in satisfiability modulo theories 150
Verifying Industrial Hybrid Systems with MathSAT 150
Integrating BDD-based and SAT-based Symbolic Model Checking 146
Interpolant Generation for UTVPI 144
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 143
Satisfiability Modulo the Theory of Costs: Foundations and Applications 137
Proving Theorems by Using Abstraction Interactively 136
Efficient Interpolant Generation in Satisfiability Modulo Theories 132
Specifica formale dei protocolli Safety Layer e Connection Manager 132
GSTE is partitioned Model Checking 132
Improving the encoding of LTL Model Checking into SAT 130
Theory and Applications of Satisfiability Testing – SAT 2012 129
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 128
Verifying Industrial Hybrid Systems with MathSAT 126
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 125
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 124
Model Checking Syllabi and Student Careers 123
SAT-based decision procedures for normal modal logics: a theoretical framework 121
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 118
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 118
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 117
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 115
The MAthSAT Solver. A progress report 114
Formal Specification and validation of a Vital Communication Protocol 114
The MathSAT solver -- a progress report 109
Property-driven partitioning for abstraction refinement 107
Software Model Checking via Large-Block Encoding 107
Servizi forniti dagli strati Safety Layer e Connection Manager 97
More Evaluation of Decision Procedures for Modal Logics 96
Totale 11.064
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.061
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 46.061
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021325 0 0 0 0 0 0 0 0 0 176 34 115
2021/2022332 2 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.002 175 283 345 429 272 213 834 1.920 315 216 0 0
Totale 11.064