IRIS Institutional Research Information System

Sebastiani, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.645
EU - Europa 2.027
AS - Asia 688
SA - Sud America 106
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 3
OC - Oceania 1
Totale 5.485
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.612
RU - Federazione Russa 688
DE - Germania 347
SG - Singapore 244
UA - Ucraina 243
SE - Svezia 241
HK - Hong Kong 187
FI - Finlandia 152
BR - Brasile 90
IT - Italia 89
CN - Cina 85
NL - Olanda 73
VN - Vietnam 72
GB - Regno Unito 71
IE - Irlanda 66
IN - India 56
CA - Canada 29
FR - Francia 26
EU - Europa 15
BE - Belgio 11
IR - Iran 9
LT - Lituania 7
AR - Argentina 5
GE - Georgia 5
IL - Israele 5
JP - Giappone 5
LB - Libano 4
PE - Perù 4
BD - Bangladesh 3
EE - Estonia 3
ID - Indonesia 3
CH - Svizzera 2
KG - Kirghizistan 2
MX - Messico 2
PY - Paraguay 2
RO - Romania 2
TR - Turchia 2
UY - Uruguay 2
AT - Austria 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CO - Colombia 1
EG - Egitto 1
ES - Italia 1
HU - Ungheria 1
JM - Giamaica 1
JO - Giordania 1
KR - Corea 1
LV - Lettonia 1
MA - Marocco 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 5.485
Salva come PNG Salva come JPEG
Città #
Chandler 569
Jacksonville 509
Hong Kong 187
Moscow 156
Boardman 144
Ashburn 142
Singapore 128
Wilmington 119
Helsinki 83
Dong Ket 72
Kronberg 69
The Dalles 68
Dublin 66
Dearborn 60
Woodbridge 52
Ann Arbor 40
Houston 35
Trento 30
Beijing 29
Seattle 28
Pune 24
Phoenix 22
Los Angeles 19
Toronto 18
Milan 17
New York 17
San Mateo 16
Augusta 14
Brooklyn 14
Shanghai 14
Hanover 13
Brussels 10
Falkenstein 10
Leawood 10
Redwood City 10
Guangzhou 9
Miami 9
Norwalk 7
Portland 7
Verona 7
Falls Church 6
Mountain View 6
Nanjing 6
Ottawa 6
São Paulo 6
Auburn Hills 5
Frankfurt am Main 5
London 5
Tokyo 5
Batumi 4
Florence 4
Munich 4
North Bergen 4
Saint Petersburg 4
Stoke-on-trent 4
Belo Horizonte 3
Berlin 3
Inglewood 3
Monmouth Junction 3
Noisy-le-grand 3
Nuremberg 3
Ardabil 2
Asunción 2
Bangalore 2
Bishkek 2
Bologna 2
Cascina 2
Changsha 2
Cheyenne 2
Cologne 2
Contagem 2
Craiova 2
Curitiba 2
Des Moines 2
Diadema 2
Fuzhou 2
Hefei 2
Jakarta 2
Joinville 2
Montréal 2
Moquegua 2
Nanchang 2
Riva del Garda 2
Sabz 2
São Bernardo do Campo 2
Xian 2
Zurich 2
Abidjan 1
Agadir 1
Almenara 1
Amman 1
Amsterdam 1
Anchieta 1
Andover 1
Araras 1
Araçatuba 1
Barueri 1
Belem 1
Belém de Maria 1
Betim 1
Totale 3.010
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 117
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 115
A New Method for Testing Decision Procedures in Modal and Terminological Logics 106
Calculating Criticalities 105
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 104
A General Purpose Reasoner for Abstraction 102
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 97
The MathSAT Solver - a comparative evaluation 96
Software Model Checking via Large-Block Encoding 94
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 94
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 93
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 91
A SAT-based Decision Procedure for ALC 91
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 90
Interpolant Generation for UTVPI 89
Integrating BDD-based and SAT-based Symbolic Model Checking 88
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 88
Formal Specification and Development of a Safety-Critical Train Management 86
Applying SMT in Symbolic Execution of Microcode 86
Building Efficient Decision Procedures on top of SAT solvers 86
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 84
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 84
Computing Abstraction Hierarchies by Numerical Simulation 84
The Mathsat3 System 83
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 83
Satisfiability Modulo Transcendental Functions via Incremental Linearization 83
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 83
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 82
Proving Theorems by Using Abstraction Interactively 82
Efficient theory combination via boolean search 81
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 81
GSTE is partitioned model checking 81
From Tableau-based to SAT-based procedures - preliminary report 81
Efficient Theory Combination via Boolean Search 81
Proof planning by abstraction 80
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 79
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 79
GSTE is partitioned Model Checking 79
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 79
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 78
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 78
Bounded Model Checking for Timed Systems 78
Satisfiability Modulo the Theory of Costs: Foundations and Applications 78
Efficient generation of craig interpolants in satisfiability modulo theories 76
Structured learning modulo theories 76
Applying the Davis-Putnam procedure to non-clausal formulas 75
The MathSAT 4SMT Solver 75
Verifying Industrial Hybrid Systems with MathSAT 74
Encoding RTL Constructs for Mathsat: A preliminary report 73
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 72
Model Checking Syllabi and Student Careers 71
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 68
Efficient Interpolant Generation in Satisfiability Modulo Theories 68
Specifica formale dei protocolli Safety Layer e Connection Manager 67
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation 66
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 64
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 64
Verifying Industrial Hybrid Systems with MathSAT 62
Theory and Applications of Satisfiability Testing – SAT 2012 62
Improving the encoding of LTL Model Checking into SAT 61
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic 61
SAT-based decision procedures for normal modal logics: a theoretical framework 59
The MAthSAT Solver. A progress report 56
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 56
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 56
Formal Specification and validation of a Vital Communication Protocol 56
The MathSAT solver -- a progress report 55
Property-driven partitioning for abstraction refinement 48
Servizi forniti dagli strati Safety Layer e Connection Manager 45
Software Model Checking via Large-Block Encoding 40
More Evaluation of Decision Procedures for Modal Logics 36
Totale 5.521
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.510
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 33.510
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020188 0 0 0 0 0 0 0 0 0 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/20251.399 15 24 74 86 53 44 89 113 706 195 0 0
Totale 5.521