IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201919 0 0 0 0 0 0 0 0 0 0 16 3
2019/2020658 72 71 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/2024694 65 23 77 64 39 124 46 98 10 148 0 0
Totale 4.044