IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.825
EU - Europa 2.072
AS - Asia 908
SA - Sud America 264
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 15
AN - Antartide 1
OC - Oceania 1
Totale 6.102
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.776
RU - Federazione Russa 689
DE - Germania 364
SG - Singapore 323
UA - Ucraina 243
SE - Svezia 242
BR - Brasile 239
HK - Hong Kong 206
FI - Finlandia 157
CN - Cina 156
IT - Italia 90
GB - Regno Unito 80
NL - Olanda 75
VN - Vietnam 74
IE - Irlanda 66
IN - India 66
CA - Canada 38
FR - Francia 27
EU - Europa 15
BD - Bangladesh 13
TR - Turchia 13
BE - Belgio 11
IR - Iran 9
LT - Lituania 8
ZA - Sudafrica 8
AR - Argentina 7
JP - Giappone 7
MX - Messico 7
ES - Italia 6
GE - Georgia 5
IL - Israele 5
MA - Marocco 5
IQ - Iraq 4
LB - Libano 4
PE - Perù 4
EC - Ecuador 3
EE - Estonia 3
ID - Indonesia 3
NP - Nepal 3
PY - Paraguay 3
SA - Arabia Saudita 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
CH - Svizzera 2
CO - Colombia 2
JO - Giordania 2
KG - Kirghizistan 2
PL - Polonia 2
PS - Palestinian Territory 2
RO - Romania 2
UY - Uruguay 2
AQ - Antartide 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BO - Bolivia 1
CI - Costa d'Avorio 1
EG - Egitto 1
HU - Ungheria 1
JM - Giamaica 1
KE - Kenya 1
KR - Corea 1
KW - Kuwait 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 6.102
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
Hong Kong 206
Singapore 159
Moscow 157
Ashburn 150
Boardman 145
The Dalles 129
Wilmington 119
Helsinki 84
Hefei 73
Dong Ket 72
Kronberg 69
Dublin 66
Dearborn 60
Woodbridge 52
Ann Arbor 40
Houston 35
Seattle 30
Trento 30
Beijing 29
Phoenix 25
Pune 25
Los Angeles 22
New York 22
Toronto 21
Munich 20
São Paulo 19
Milan 17
Brooklyn 16
San Mateo 16
Augusta 14
Shanghai 14
Hanover 13
Brussels 10
Falkenstein 10
Leawood 10
Redwood City 10
Guangzhou 9
Miami 9
Norwalk 7
Portland 7
Rio de Janeiro 7
Tokyo 7
Verona 7
Belo Horizonte 6
Falls Church 6
London 6
Mountain View 6
Nanjing 6
Ottawa 6
Santa Clara 6
Auburn Hills 5
Frankfurt am Main 5
West Jordan 5
Batumi 4
Contagem 4
Florence 4
North Bergen 4
Porto Alegre 4
Saint Petersburg 4
Secaucus 4
Stoke-on-trent 4
Turku 4
Amsterdam 3
Asunción 3
Baghdad 3
Berlin 3
Caxias do Sul 3
Chicago 3
Dhaka 3
Inglewood 3
Istanbul 3
Itajaí 3
Johannesburg 3
Monmouth Junction 3
Montreal 3
Noisy-le-grand 3
Nuremberg 3
Pouso Alegre 3
São Bernardo do Campo 3
Amman 2
Ardabil 2
Atlanta 2
Bangalore 2
Bishkek 2
Bologna 2
Boston 2
Brasília 2
Campinas 2
Canoas 2
Cape Town 2
Caruaru 2
Cascina 2
Changsha 2
Cheyenne 2
Cologne 2
Craiova 2
Curitiba 2
Dallas 2
Totale 3.302
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 123
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 121
Calculating Criticalities 117
A New Method for Testing Decision Procedures in Modal and Terminological Logics 116
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 115
A General Purpose Reasoner for Abstraction 109
The MathSAT Solver - a comparative evaluation 107
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 104
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 104
From Tableau-based to SAT-based procedures - preliminary report 102
Software Model Checking via Large-Block Encoding 101
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 101
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 99
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 98
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 98
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 97
The Mathsat3 System 96
GSTE is partitioned model checking 96
Building Efficient Decision Procedures on top of SAT solvers 96
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 96
Satisfiability Modulo Transcendental Functions via Incremental Linearization 96
A SAT-based Decision Procedure for ALC 95
Interpolant Generation for UTVPI 94
Formal Specification and Development of a Safety-Critical Train Management 94
Applying SMT in Symbolic Execution of Microcode 94
Integrating BDD-based and SAT-based Symbolic Model Checking 93
Computing Abstraction Hierarchies by Numerical Simulation 93
Efficient Theory Combination via Boolean Search 93
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 92
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 92
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 92
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 90
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 89
Proof planning by abstraction 89
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 89
Bounded Model Checking for Timed Systems 89
Structured learning modulo theories 89
Efficient generation of craig interpolants in satisfiability modulo theories 88
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 88
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 87
Proving Theorems by Using Abstraction Interactively 87
Efficient theory combination via boolean search 86
GSTE is partitioned Model Checking 86
Applying the Davis-Putnam procedure to non-clausal formulas 83
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 83
Verifying Industrial Hybrid Systems with MathSAT 83
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 83
Encoding RTL Constructs for Mathsat: A preliminary report 82
The MathSAT 4SMT Solver 82
Satisfiability Modulo the Theory of Costs: Foundations and Applications 82
Model Checking Syllabi and Student Careers 79
Specifica formale dei protocolli Safety Layer e Connection Manager 77
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 73
Efficient Interpolant Generation in Satisfiability Modulo Theories 73
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 72
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 72
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 71
Verifying Industrial Hybrid Systems with MathSAT 70
Theory and Applications of Satisfiability Testing – SAT 2012 70
Improving the encoding of LTL Model Checking into SAT 68
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 66
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 65
SAT-based decision procedures for normal modal logics: a theoretical framework 64
The MathSAT solver -- a progress report 63
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 63
The MAthSAT Solver. A progress report 60
Formal Specification and validation of a Vital Communication Protocol 60
Property-driven partitioning for abstraction refinement 57
Software Model Checking via Large-Block Encoding 54
More Evaluation of Decision Procedures for Modal Logics 51
Servizi forniti dagli strati Safety Layer e Connection Manager 51
Totale 6.138
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.497
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 36.497
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021756 79 3 86 38 82 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/202676 76 0 0 0 0 0 0 0 0 0 0 0
Totale 6.138