IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020515 0 0 2 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/202596 15 24 57 0 0 0 0 0 0 0 0 0
Totale 4.218