IRIS Institutional Research Information System

Bruttomesso, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 921
EU - Europa 859
AS - Asia 417
SA - Sud America 90
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 2
Totale 2.300
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 896
RU - Federazione Russa 490
SG - Singapore 163
DE - Germania 84
BR - Brasile 79
VN - Vietnam 78
CN - Cina 70
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
JO - Giordania 2
LB - Libano 2
MK - Macedonia 2
PS - Palestinian Territory 2
AT - Austria 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EG - Egitto 1
GY - Guiana 1
JM - Giamaica 1
KG - Kirghizistan 1
KR - Corea 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.300
Salva come PNG Salva come JPEG
Città #
Chandler 163
Singapore 101
San Jose 95
Jacksonville 92
Ashburn 68
Dallas 45
Hong Kong 42
Helsinki 37
Boardman 36
The Dalles 34
Moscow 30
Beijing 26
New York 22
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
Council Bluffs 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.195
Salva come PNG Salva come JPEG
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 212
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 211
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 201
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 199
Efficient Theory Combination via Boolean Search 182
The MathSAT Solver - a comparative evaluation 175
Efficient theory combination via boolean search 170
The Mathsat3 System 168
The MathSAT 4SMT Solver 164
Encoding RTL Constructs for Mathsat: A preliminary report 162
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 159
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 154
Verifying Heap-Manipulating Programs in an SMT Framework 147
Totale 2.304
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.271
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.271
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 0 0 0 0 0 9 26
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.090 32 51 78 129 84 36 158 377 68 69 8 0
Totale 2.304