IRIS Institutional Research Information System

Bruttomesso, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.077
EU - Europa 872
AS - Asia 419
SA - Sud America 90
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 2.476
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.048
RU - Federazione Russa 490
SG - Singapore 164
DE - Germania 84
BR - Brasile 79
VN - Vietnam 78
CN - Cina 71
SE - Svezia 70
FI - Finlandia 53
UA - Ucraina 45
HK - Hong Kong 43
FR - Francia 34
GB - Regno Unito 33
CA - Canada 18
IN - India 14
NL - Olanda 14
IT - Italia 13
IE - Irlanda 12
JP - Giappone 8
MX - Messico 7
PL - Polonia 7
BD - Bangladesh 6
ES - Italia 6
AR - Argentina 5
GE - Georgia 5
IQ - Iraq 5
MY - Malesia 4
ZA - Sudafrica 4
IR - Iran 3
JM - Giamaica 3
LT - Lituania 3
TN - Tunisia 3
TR - Turchia 3
BE - Belgio 2
DZ - Algeria 2
EC - Ecuador 2
EU - Europa 2
ID - Indonesia 2
JO - Giordania 2
LB - Libano 2
MK - Macedonia 2
PS - Palestinian Territory 2
AT - Austria 1
AU - Australia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EG - Egitto 1
GY - Guiana 1
KG - Kirghizistan 1
KR - Corea 1
NO - Norvegia 1
OM - Oman 1
PK - Pakistan 1
PR - Porto Rico 1
PY - Paraguay 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UY - Uruguay 1
VE - Venezuela 1
ZW - Zimbabwe 1
Totale 2.472
Salva come PNG Salva come JPEG
Città #
Chandler 163
San Jose 107
Singapore 101
Jacksonville 92
Council Bluffs 89
Ashburn 69
Dallas 46
Hong Kong 42
Helsinki 37
Boardman 36
The Dalles 34
Moscow 30
Beijing 27
New York 23
Los Angeles 19
Hanoi 18
Ho Chi Minh City 17
Dearborn 14
Dong Ket 13
Hefei 13
Kronberg 13
Wilmington 13
Dublin 12
Houston 12
Lauterbourg 12
Brooklyn 11
Frankfurt am Main 11
Phoenix 11
Woodbridge 10
Ann Arbor 9
São Paulo 9
Tokyo 8
Denver 7
Santa Clara 7
Munich 6
Poplar 6
Rio de Janeiro 6
Warsaw 6
Chicago 5
Montreal 5
Ottawa 5
Pune 5
Amsterdam 4
Augusta 4
Batumi 4
North Bergen 4
Orem 4
Seattle 4
Stockholm 4
Belo Horizonte 3
Can Tho 3
Cape Town 3
Chennai 3
Da Nang 3
Manchester 3
Milan 3
Norwalk 3
Toronto 3
Amman 2
Ankara 2
Atlanta 2
Austin 2
Basra 2
Biên Hòa 2
Boston 2
Brussels 2
Buffalo 2
Campo Grande 2
Changsha 2
Feira de Santana 2
Hanover 2
Kingston 2
Kuala Lumpur 2
Las Vegas 2
London 2
Monmouth Junction 2
Mountain View 2
Mumbai 2
Naples 2
Ninh Bình 2
Philadelphia 2
Portland 2
Querétaro 2
Ramallah 2
Redwood City 2
Riva del Garda 2
Shtip 2
Sumaré 2
Turku 2
Várzea Grande 2
Aizawl 1
Albany 1
Algiers 1
Anchieta 1
Araputanga 1
Araras 1
Ardabil 1
Auburn Hills 1
Baghdad 1
Balneário Camboriú 1
Totale 1.308
Salva come PNG Salva come JPEG
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 229
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 222
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 214
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 210
Efficient Theory Combination via Boolean Search 197
The MathSAT Solver - a comparative evaluation 190
Efficient theory combination via boolean search 183
The Mathsat3 System 182
The MathSAT 4SMT Solver 177
Encoding RTL Constructs for Mathsat: A preliminary report 173
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 173
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 168
Verifying Heap-Manipulating Programs in an SMT Framework 158
Totale 2.476
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.077
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 10.077
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202262 0 0 0 5 3 0 0 8 6 0 6 34
2022/2023260 17 28 8 56 12 39 1 18 50 19 8 4
2023/2024162 14 5 12 11 10 24 7 22 4 32 0 21
2024/2025382 3 14 7 28 12 24 11 24 129 41 74 15
2025/20261.140 32 51 78 129 84 36 158 377 68 69 49 9
2026/2027122 36 42 44 0 0 0 0 0 0 0 0 0
Totale 2.476