IRIS
Griggio, Alberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.149
EU - Europa 468
AS - Asia 120
AF - Africa 6
SA - Sud America 5
Totale 1.748
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.129
IT - Italia 216
FR - Francia 83
DE - Germania 48
GB - Regno Unito 26
HK - Hong Kong 23
VN - Vietnam 20
CN - Cina 19
SE - Svezia 15
CA - Canada 12
IN - India 11
IR - Iran 11
NL - Olanda 11
UA - Ucraina 11
AT - Austria 10
CZ - Repubblica Ceca 10
SG - Singapore 10
IL - Israele 9
MX - Messico 7
JP - Giappone 6
BE - Belgio 5
IE - Irlanda 5
ZA - Sudafrica 5
CL - Cile 4
FI - Finlandia 4
HU - Ungheria 4
PT - Portogallo 4
ES - Italia 3
GR - Grecia 3
PK - Pakistan 3
RU - Federazione Russa 3
TW - Taiwan 3
KR - Corea 2
RO - Romania 2
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
CH - Svizzera 1
CO - Colombia 1
CR - Costa Rica 1
GE - Georgia 1
GH - Ghana 1
LT - Lituania 1
LU - Lussemburgo 1
MY - Malesia 1
PL - Polonia 1
Totale 1.748
Salva come PNG Salva come JPEG
Città #
Fairfield 173
Houston 120
Ashburn 108
Woodbridge 79
Seattle 76
Trento 75
Cambridge 72
Santa Cruz 68
Ann Arbor 50
Wilmington 47
Buffalo 45
Como 18
Chicago 17
San Diego 16
Dong Ket 14
Central 11
Rome 11
Verona 11
Las Vegas 10
Palermo 10
Paris 10
Los Angeles 9
Boardman 8
Aachen 7
Mountain View 7
New York 7
Beijing 6
Bengaluru 6
Foster City 6
Ames 5
Austin 5
Bolzano 5
Council Bluffs 5
Dallas 5
Des Moines 5
Dublin 5
Henderson 5
Hong Kong 5
Shanghai 5
Tehran 5
Toronto 5
Busto Arsizio 4
Clearwater 4
Helsinki 4
London 4
Muizenberg 4
Newcastle upon Tyne 4
Ronchi dei Legionari 4
Rovereto 4
Trieste 4
Vienna 4
Brescia 3
Budapest 3
Cedar Rapids 3
Falls Church 3
Frankfurt am Main 3
Goldenstedt 3
Grenoble 3
Lake Forest 3
Milan 3
Montreal 3
Munich 3
Ottawa 3
Phoenix 3
Pune 3
San Francisco 3
Stockholm 3
Tlalpan 3
Uppsala 3
'En Yahav 2
Amsterdam 2
Angera 2
Auburn 2
Bergamo 2
Genoa 2
Gothenburg 2
Hangzhou 2
Hanoi 2
Innsbruck 2
Islamabad 2
Kraainem 2
Laurel 2
Les Ulis 2
Livorno 2
Lustenau 2
Mexico City 2
Mezzolombardo 2
Nanjing 2
Norwalk 2
Pohang 2
Riva 2
Sant'Anastasia 2
Scranton 2
Scuola 2
Sirmione 2
Southampton 2
Taipei 2
University Park 2
Washington 2
Athens 1
Totale 1.312
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions, file e3835196-85c4-72ef-e053-3705fe0ad821 282
Certifying Proofs for LTL Model Checking, file e3835196-754c-72ef-e053-3705fe0ad821 237
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking, file e3835196-8406-72ef-e053-3705fe0ad821 215
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties, file e3835196-83f1-72ef-e053-3705fe0ad821 207
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions, file e3835195-298b-72ef-e053-3705fe0ad821 180
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators, file e3835196-9c41-72ef-e053-3705fe0ad821 162
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories, file e3835192-3a7a-72ef-e053-3705fe0ad821 141
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-41bb-72ef-e053-3705fe0ad821 126
Optimization Modulo Non-linear Arithmetic via Incremental Linearization, file e3835198-b64e-72ef-e053-3705fe0ad821 58
An Effective SMT Engine for Formal Verification, file 79d89c27-0756-43b3-a862-46b9225a5a0f 46
Verification of SMT Systems with Quantifiers, file 6d83e726-5246-4e61-b129-3d332c0bdac6 38
Lemmas for satisfiability modulo transcendental functions via incremental linearization, file e3835197-04ba-72ef-e053-3705fe0ad821 17
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning, file e3835199-2656-72ef-e053-3705fe0ad821 16
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test, file 0c8cceb4-2ef5-4e59-8d54-d51b0f0a726c 14
Satisfiability Modulo Transcendental Functions via Incremental Linearization, file e3835197-23cd-72ef-e053-3705fe0ad821 9
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic, file e3835195-2adf-72ef-e053-3705fe0ad821 8
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories, file 3664ab65-c58a-47d6-a631-5661595d6665 4
Modeling and Analyzing Contextual Requirements, file 557ee42d-6d82-41e6-be85-51087d0c611e 4
Stochastic Local Search for SMT: A Preliminary Report, file b4a91a3b-7294-4fd0-ba7a-fee7daee9902 4
null, file e3835192-3a82-72ef-e053-3705fe0ad821 4
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF, file e3835197-1d47-72ef-e053-3705fe0ad821 4
Efficient Interpolant Generation in Satisfiability Modulo Theories, file ebddc2d9-2dca-4166-88f4-2594639cacb5 4
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T), file 4c4217c2-b02e-49b3-808d-b4d0451d0be1 3
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis, file 87fec377-ecef-4558-a79a-83971da17d88 3
An Effective SMT Engine for Formal Verification, file b99837a1-89d9-4e52-8ac1-0e3a2eb32d9d 3
Certifying Proofs for LTL Model Checking, file e3835197-67a8-72ef-e053-3705fe0ad821 3
Software Model Checking via Large-Block Encoding, file e4737e61-1793-4059-a61f-83d49b701149 3
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems, file 34461ad6-bd49-46cb-bfd5-2d3218a248ae 2
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis, file c20b0185-72fd-4c50-aeae-089303f2e3ca 1
Efficient Interpolant Generation in Satisfiability Modulo Theories, file e3835191-d1df-72ef-e053-3705fe0ad821 1
null, file e3835192-3a7f-72ef-e053-3705fe0ad821 1
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-3ac2-72ef-e053-3705fe0ad821 1
Verilog2SMV: A tool for word-level verification, file e3835193-6e44-72ef-e053-3705fe0ad821 1
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions, file e3835197-5378-72ef-e053-3705fe0ad821 1
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking, file e3835197-6815-72ef-e053-3705fe0ad821 1
Totale 1.804
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.731
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 5.731
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201942 0 0 0 0 0 0 0 0 0 8 11 23
2019/2020120 13 9 4 9 11 8 13 12 14 6 8 13
2020/2021569 9 19 91 159 31 57 42 31 17 42 20 51
2021/2022444 44 38 28 67 51 21 17 22 14 14 99 29
2022/2023290 9 17 68 35 17 20 31 23 14 16 27 13
2023/2024312 21 17 23 21 28 55 45 38 22 42 0 0
Totale 1.804