IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.422
EU - Europa 2.192
AS - Asia 1.472
SA - Sud America 456
AF - Africa 32
Continente sconosciuto - Info sul continente non disponibili 15
AN - Antartide 1
OC - Oceania 1
Totale 7.591
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.324
RU - Federazione Russa 692
SG - Singapore 622
BR - Brasile 392
DE - Germania 378
CN - Cina 290
SE - Svezia 251
UA - Ucraina 245
HK - Hong Kong 222
FI - Finlandia 159
VN - Vietnam 120
GB - Regno Unito 109
IT - Italia 95
IN - India 87
NL - Olanda 76
IE - Irlanda 66
CA - Canada 62
FR - Francia 52
BD - Bangladesh 28
AR - Argentina 25
MX - Messico 24
TR - Turchia 22
ZA - Sudafrica 18
JP - Giappone 16
PL - Polonia 16
EU - Europa 15
ES - Italia 12
LT - Lituania 12
BE - Belgio 11
EC - Ecuador 10
IR - Iran 9
CO - Colombia 7
IQ - Iraq 7
PY - Paraguay 7
IL - Israele 6
SA - Arabia Saudita 6
GE - Georgia 5
MA - Marocco 5
JM - Giamaica 4
KE - Kenya 4
LB - Libano 4
PE - Perù 4
UZ - Uzbekistan 4
EE - Estonia 3
EG - Egitto 3
ID - Indonesia 3
MY - Malesia 3
NP - Nepal 3
PA - Panama 3
PT - Portogallo 3
UY - Uruguay 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BB - Barbados 2
CH - Svizzera 2
CL - Cile 2
JO - Giordania 2
KG - Kirghizistan 2
MK - Macedonia 2
PK - Pakistan 2
PS - Palestinian Territory 2
RO - Romania 2
AL - Albania 1
AQ - Antartide 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GT - Guatemala 1
GY - Guiana 1
HU - Ungheria 1
KR - Corea 1
KW - Kuwait 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
SR - Suriname 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
Totale 7.591
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
Singapore 386
Ashburn 248
Hong Kong 222
Moscow 158
Dallas 153
The Dalles 148
Boardman 145
Wilmington 119
Beijing 114
Helsinki 84
Hefei 73
Dong Ket 72
Kronberg 69
Dublin 66
Dearborn 60
Los Angeles 55
New York 54
Woodbridge 52
Houston 43
Ann Arbor 40
Seattle 35
São Paulo 35
Phoenix 33
Trento 30
Brooklyn 26
Pune 25
Toronto 24
Munich 22
Milan 17
San Mateo 16
Tokyo 16
Frankfurt am Main 15
Montreal 15
Santa Clara 15
Warsaw 15
Augusta 14
Denver 14
Hanoi 14
Shanghai 14
Chicago 13
Hanover 13
Poplar 13
Rio de Janeiro 13
Ho Chi Minh City 11
Atlanta 10
Brussels 10
Falkenstein 10
Johannesburg 10
Leawood 10
London 10
Redwood City 10
Stockholm 10
Guangzhou 9
Mexico City 9
Miami 9
Ankara 8
Belo Horizonte 8
Porto Alegre 8
Brasília 7
Chennai 7
Des Moines 7
Manchester 7
Norwalk 7
Orem 7
Portland 7
Verona 7
Boston 6
Falls Church 6
Mountain View 6
Nanjing 6
Ottawa 6
Secaucus 6
Turku 6
Auburn Hills 5
Cape Town 5
Dhaka 5
Mumbai 5
San Francisco 5
Tianjin 5
West Jordan 5
Amsterdam 4
Batumi 4
Campinas 4
Contagem 4
Florence 4
Hillsboro 4
North Bergen 4
Nuremberg 4
Pouso Alegre 4
Querétaro 4
Saint Petersburg 4
Stoke-on-trent 4
Aracaju 3
Asunción 3
Baghdad 3
Berlin 3
Buenos Aires 3
Caxias do Sul 3
Totale 4.227
Salva come PNG Salva come JPEG
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 157
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 157
Calculating Criticalities 151
A New Method for Testing Decision Procedures in Modal and Terminological Logics 151
Satisfiability Modulo Transcendental Functions via Incremental Linearization 149
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 143
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 137
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 136
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 135
A General Purpose Reasoner for Abstraction 132
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 129
The MathSAT Solver - a comparative evaluation 128
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 126
The Mathsat3 System 125
A SAT-based Decision Procedure for ALC 124
Building Efficient Decision Procedures on top of SAT solvers 122
Applying SMT in Symbolic Execution of Microcode 121
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 120
From Tableau-based to SAT-based procedures - preliminary report 120
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 118
Computing Abstraction Hierarchies by Numerical Simulation 118
Efficient Theory Combination via Boolean Search 118
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 117
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 117
Efficient theory combination via boolean search 117
Bounded Model Checking for Timed Systems 117
The MathSAT 4SMT Solver 116
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 115
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 114
Applying the Davis-Putnam procedure to non-clausal formulas 114
Software Model Checking via Large-Block Encoding 113
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 113
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 113
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 113
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 112
Formal Specification and Development of a Safety-Critical Train Management 111
Encoding RTL Constructs for Mathsat: A preliminary report 111
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 111
GSTE is partitioned model checking 110
Structured learning modulo theories 110
Verifying Industrial Hybrid Systems with MathSAT 109
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 107
Interpolant Generation for UTVPI 104
Integrating BDD-based and SAT-based Symbolic Model Checking 104
Proof planning by abstraction 104
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 104
Efficient generation of craig interpolants in satisfiability modulo theories 100
Satisfiability Modulo the Theory of Costs: Foundations and Applications 99
GSTE is partitioned Model Checking 98
Proving Theorems by Using Abstraction Interactively 96
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 91
Efficient Interpolant Generation in Satisfiability Modulo Theories 90
Specifica formale dei protocolli Safety Layer e Connection Manager 90
Model Checking Syllabi and Student Careers 88
Verifying Industrial Hybrid Systems with MathSAT 86
Improving the encoding of LTL Model Checking into SAT 85
Theory and Applications of Satisfiability Testing – SAT 2012 85
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 84
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 83
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 81
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 78
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 77
SAT-based decision procedures for normal modal logics: a theoretical framework 76
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 75
The MAthSAT Solver. A progress report 74
The MathSAT solver -- a progress report 74
Property-driven partitioning for abstraction refinement 74
Formal Specification and validation of a Vital Communication Protocol 72
Servizi forniti dagli strati Safety Layer e Connection Manager 61
Software Model Checking via Large-Block Encoding 60
More Evaluation of Decision Procedures for Modal Logics 57
Totale 7.627
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.133
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 41.133
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021468 0 0 0 0 0 21 100 8 14 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/20261.565 175 283 345 429 272 61 0 0 0 0 0 0
Totale 7.627