IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.528
EU - Europa 1.278
AS - Asia 493
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 3
OC - Oceania 1
Totale 4.318
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.505
DE - Germania 326
SE - Svezia 241
UA - Ucraina 241
HK - Hong Kong 147
FI - Finlandia 134
SG - Singapore 118
IT - Italia 87
VN - Vietnam 72
RU - Federazione Russa 70
CN - Cina 69
IE - Irlanda 66
GB - Regno Unito 63
IN - India 56
FR - Francia 26
CA - Canada 23
EU - Europa 15
BE - Belgio 9
IR - Iran 9
JP - Giappone 5
NL - Olanda 5
GE - Georgia 4
IL - Israele 4
LB - Libano 4
PE - Perù 3
CH - Svizzera 2
RO - Romania 2
AT - Austria 1
BD - Bangladesh 1
EE - Estonia 1
ES - Italia 1
HU - Ungheria 1
ID - Indonesia 1
KR - Corea 1
LV - Lettonia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PT - Portogallo 1
TR - Turchia 1
Totale 4.318
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
Hong Kong 147
Boardman 144
Ashburn 141
Wilmington 119
Singapore 85
Dong Ket 72
Kronberg 69
Dublin 66
Helsinki 65
Dearborn 60
Woodbridge 52
Ann Arbor 40
Houston 35
Trento 29
Seattle 28
Beijing 27
Pune 24
Phoenix 22
Los Angeles 19
Milan 17
New York 17
San Mateo 16
Augusta 14
Brooklyn 14
Hanover 13
Toronto 13
Shanghai 12
Leawood 10
Redwood City 10
Guangzhou 9
Miami 9
Brussels 8
Norwalk 7
Portland 7
Verona 7
Falls Church 6
Mountain View 6
Auburn Hills 5
Nanjing 5
Ottawa 5
Tokyo 5
Batumi 4
Florence 4
North Bergen 4
Saint Petersburg 4
Stoke-on-trent 4
Berlin 3
Inglewood 3
Monmouth Junction 3
Munich 3
Noisy-le-grand 3
Nuremberg 3
Ardabil 2
Bangalore 2
Bologna 2
Cascina 2
Cheyenne 2
Cologne 2
Craiova 2
Des Moines 2
Falkenstein 2
Fuzhou 2
Hefei 2
Montréal 2
Moquegua 2
Nanchang 2
Riva del Garda 2
Sabz 2
Xian 2
Zurich 2
Andover 1
Budapest 1
Changsha 1
Chicago 1
Chongqing 1
Cles 1
Cologno Al Serio 1
Costa Mesa 1
Dhaka 1
Duncan 1
Espoo 1
Frankfurt am Main 1
Jaipur 1
Jiaxing 1
Kashan 1
Le Chesnay 1
Leuven 1
Liberty Lake 1
Lima 1
London 1
Loreggia 1
Madrid 1
Manila 1
Montesilvano 1
Montreal 1
Paris 1
Pingdingshan 1
Riga 1
Totale 2.639
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 98
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 96
Calculating Criticalities 89
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 86
Interpolant Generation for UTVPI 79
A General Purpose Reasoner for Abstraction 78
A New Method for Testing Decision Procedures in Modal and Terminological Logics 77
Integrating BDD-based and SAT-based Symbolic Model Checking 76
Software Model Checking via Large-Block Encoding 74
The MathSAT Solver - a comparative evaluation 74
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 73
The Mathsat3 System 72
Formal Specification and Development of a Safety-Critical Train Management 71
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 71
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 71
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 71
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 70
A SAT-based Decision Procedure for ALC 70
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 68
Efficient theory combination via boolean search 68
From Tableau-based to SAT-based procedures - preliminary report 68
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 67
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 67
GSTE is partitioned Model Checking 67
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 66
Satisfiability Modulo Transcendental Functions via Incremental Linearization 66
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 65
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 65
Computing Abstraction Hierarchies by Numerical Simulation 65
Proving Theorems by Using Abstraction Interactively 64
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 63
Proof planning by abstraction 63
Applying SMT in Symbolic Execution of Microcode 63
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 63
Building Efficient Decision Procedures on top of SAT solvers 63
Model Checking Syllabi and Student Careers 61
Efficient Theory Combination via Boolean Search 61
Verifying Industrial Hybrid Systems with MathSAT 61
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 61
Efficient generation of craig interpolants in satisfiability modulo theories 60
Structured learning modulo theories 60
Encoding RTL Constructs for Mathsat: A preliminary report 59
Bounded Model Checking for Timed Systems 59
The MathSAT 4SMT Solver 58
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 58
Satisfiability Modulo the Theory of Costs: Foundations and Applications 58
Applying the Davis-Putnam procedure to non-clausal formulas 57
GSTE is partitioned model checking 57
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 56
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 56
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 55
Specifica formale dei protocolli Safety Layer e Connection Manager 54
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 54
Efficient Interpolant Generation in Satisfiability Modulo Theories 53
Improving the encoding of LTL Model Checking into SAT 53
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 52
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 52
Verifying Industrial Hybrid Systems with MathSAT 50
SAT-based decision procedures for normal modal logics: a theoretical framework 49
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 48
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 48
Theory and Applications of Satisfiability Testing – SAT 2012 48
The MathSAT solver -- a progress report 47
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 45
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 44
The MAthSAT Solver. A progress report 42
Formal Specification and validation of a Vital Communication Protocol 42
Property-driven partitioning for abstraction refinement 39
Servizi forniti dagli strati Safety Layer e Connection Manager 34
Software Model Checking via Large-Block Encoding 29
More Evaluation of Decision Procedures for Modal Logics 27
Totale 4.354
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.975
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 26.975
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020513 0 0 0 0 93 59 83 9 81 61 84 43
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/2025232 15 24 74 86 33 0 0 0 0 0 0 0
Totale 4.354