IRIS Institutional Research Information System

Bruttomesso, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 999
EU - Europa 860
AS - Asia 419
SA - Sud America 90
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 2.382
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 973
RU - Federazione Russa 490
SG - Singapore 164
DE - Germania 84
BR - Brasile 79
VN - Vietnam 78
CN - Cina 71
SE - Svezia 59
FI - Finlandia 53
UA - Ucraina 44
HK - Hong Kong 43
FR - Francia 34
GB - Regno Unito 33
CA - Canada 17
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
LT - Lituania 3
TN - Tunisia 3
TR - Turchia 3
BE - Belgio 2
DZ - Algeria 2
EC - Ecuador 2
EU - Europa 2
ID - Indonesia 2
JM - Giamaica 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
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.382
Salva come PNG Salva come JPEG
Città #
Chandler 163
Singapore 101
San Jose 95
Jacksonville 92
Council Bluffs 76
Ashburn 68
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
Lauterbourg 12
Frankfurt am Main 11
Houston 11
Phoenix 11
Woodbridge 10
Ann Arbor 9
São Paulo 9
Brooklyn 8
Tokyo 8
Denver 6
Munich 6
Poplar 6
Rio de Janeiro 6
Santa Clara 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
Basra 2
Biên Hòa 2
Boston 2
Brussels 2
Campo Grande 2
Changsha 2
Feira de Santana 2
Kuala Lumpur 2
London 2
Monmouth Junction 2
Mountain View 2
Mumbai 2
Naples 2
Ninh Bình 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
Algiers 1
Anchieta 1
Araputanga 1
Araras 1
Ardabil 1
Auburn Hills 1
Baghdad 1
Balneário Camboriú 1
Bangkok 1
Barão de Cotegipe 1
Bauru 1
Betim 1
Bexley 1
Birmingham 1
Bishkek 1
Totale 1.270
Salva come PNG Salva come JPEG
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 219
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 216
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 208
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 206
Efficient Theory Combination via Boolean Search 189
The MathSAT Solver - a comparative evaluation 182
Efficient theory combination via boolean search 177
The Mathsat3 System 175
The MathSAT 4SMT Solver 170
Encoding RTL Constructs for Mathsat: A preliminary report 168
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 166
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 158
Verifying Heap-Manipulating Programs in an SMT Framework 152
Totale 2.386
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.637
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 9.637
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202266 1 3 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/202732 32 0 0 0 0 0 0 0 0 0 0 0
Totale 2.386