Griggio, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.161
EU - Europa 431
AS - Asia 104
AF - Africa 6
SA - Sud America 5
Totale 1.707
Nazione #
US - Stati Uniti d'America 1.142
IT - Italia 206
FR - Francia 72
DE - Germania 42
GB - Regno Unito 22
HK - Hong Kong 20
VN - Vietnam 20
CN - Cina 14
CA - Canada 12
UA - Ucraina 11
AT - Austria 10
CZ - Repubblica Ceca 10
IR - Iran 10
NL - Olanda 10
SE - Svezia 10
IL - Israele 9
IN - India 9
IE - Irlanda 7
JP - Giappone 6
MX - Messico 6
BE - Belgio 5
SG - Singapore 5
ZA - Sudafrica 5
CL - Cile 4
HU - Ungheria 4
PT - Portogallo 4
ES - Italia 3
GR - Grecia 3
PK - Pakistan 3
RU - Federazione Russa 3
TW - Taiwan 3
FI - Finlandia 2
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.707
Città #
Fairfield 173
Houston 120
Ashburn 107
Woodbridge 79
Seattle 76
Cambridge 72
Trento 69
Santa Cruz 68
Ann Arbor 50
Wilmington 47
Buffalo 45
Como 18
Chicago 17
San Diego 16
Dong Ket 14
Central 11
Las Vegas 10
Palermo 10
Paris 10
Rome 10
Los Angeles 9
Verona 9
Boardman 8
Dublin 7
Mountain View 7
New York 7
Foster City 6
Stockholm 6
Aachen 5
Ames 5
Austin 5
Council Bluffs 5
Dallas 5
Des Moines 5
Henderson 5
Hong Kong 5
Toronto 5
Bengaluru 4
Bolzano 4
Busto Arsizio 4
Clearwater 4
Fleming Island 4
London 4
Muizenberg 4
Ronchi dei Legionari 4
Rovereto 4
Tehran 4
Trieste 4
Vienna 4
Beijing 3
Brescia 3
Brooklyn 3
Budapest 3
Cedar Rapids 3
Falls Church 3
Frankfurt am Main 3
Goldenstedt 3
Lake Forest 3
Milan 3
Montreal 3
Munich 3
Ottawa 3
Phoenix 3
Pune 3
San Francisco 3
Shanghai 3
Tlalpan 3
'En Yahav 2
Amsterdam 2
Angera 2
Auburn 2
Bergamo 2
Genoa 2
Grenoble 2
Hangzhou 2
Hanoi 2
Helsinki 2
Innsbruck 2
Islamabad 2
Kraainem 2
Laurel 2
Les Ulis 2
Livorno 2
Lustenau 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
Atlanta 1
Aulla 1
Totale 1.291
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions, file e3835196-85c4-72ef-e053-3705fe0ad821 280
Certifying Proofs for LTL Model Checking, file e3835196-754c-72ef-e053-3705fe0ad821 235
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking, file e3835196-8406-72ef-e053-3705fe0ad821 208
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties, file e3835196-83f1-72ef-e053-3705fe0ad821 201
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions, file e3835195-298b-72ef-e053-3705fe0ad821 182
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators, file e3835196-9c41-72ef-e053-3705fe0ad821 159
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories, file e3835192-3a7a-72ef-e053-3705fe0ad821 140
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-41bb-72ef-e053-3705fe0ad821 127
Optimization Modulo Non-linear Arithmetic via Incremental Linearization, file e3835198-b64e-72ef-e053-3705fe0ad821 62
An Effective SMT Engine for Formal Verification, file 79d89c27-0756-43b3-a862-46b9225a5a0f 41
Verification of SMT Systems with Quantifiers, file 6d83e726-5246-4e61-b129-3d332c0bdac6 23
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 15
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
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test, file 0c8cceb4-2ef5-4e59-8d54-d51b0f0a726c 7
An Effective SMT Engine for Formal Verification, file b99837a1-89d9-4e52-8ac1-0e3a2eb32d9d 5
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories, file 3664ab65-c58a-47d6-a631-5661595d6665 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
Modeling and Analyzing Contextual Requirements, file 557ee42d-6d82-41e6-be85-51087d0c611e 3
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis, file 87fec377-ecef-4558-a79a-83971da17d88 3
Stochastic Local Search for SMT: A Preliminary Report, file b4a91a3b-7294-4fd0-ba7a-fee7daee9902 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
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic, file e3835192-3ac2-72ef-e053-3705fe0ad821 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
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.763
Categoria #
all - tutte 5.334
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.334


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201951 0 0 0 0 0 0 0 5 4 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/2023312 9 17 68 35 17 20 35 29 18 19 30 15
2023/2024249 23 21 23 21 29 55 45 32 0 0 0 0
Totale 1.763