Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 481
AS - Asia 140
EU - Europa 124
SA - Sud America 24
AF - Africa 3
Totale 772
Nazione #
US - Stati Uniti d'America 476
SG - Singapore 67
CN - Cina 39
RU - Federazione Russa 27
UA - Ucraina 24
BR - Brasile 21
DE - Germania 11
IT - Italia 11
FI - Finlandia 10
GB - Regno Unito 10
HK - Hong Kong 10
SE - Svezia 9
LV - Lettonia 8
VN - Vietnam 8
AT - Austria 4
ID - Indonesia 4
CA - Canada 3
IN - India 3
NL - Olanda 3
AR - Argentina 2
BD - Bangladesh 2
BG - Bulgaria 2
JO - Giordania 2
MX - Messico 2
PL - Polonia 2
CG - Congo 1
FR - Francia 1
IQ - Iraq 1
JP - Giappone 1
LB - Libano 1
LT - Lituania 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 772
Città #
Ashburn 61
Fairfield 48
Jacksonville 48
Singapore 48
Chandler 43
Dallas 25
San Mateo 19
Woodbridge 18
Santa Clara 17
Seattle 16
Cambridge 15
Columbus 14
Beijing 11
Wilmington 11
Hong Kong 10
Houston 10
Moscow 9
Ann Arbor 8
New York 8
Princeton 8
Riga 8
Los Angeles 6
Chicago 5
San Diego 5
Cagliari 4
Falkenstein 4
Hefei 4
Helsinki 4
Lawrence 4
Vienna 4
Buffalo 3
Ho Chi Minh City 3
Palermo 3
São Paulo 3
Boardman 2
Brooklyn 2
Chiswick 2
Da Nang 2
Dearborn 2
Jakarta 2
Mexico City 2
Orem 2
Phoenix 2
Salt Lake City 2
San Francisco 2
Sofia 2
Stockholm 2
Warsaw 2
Abuja 1
Amsterdam 1
Atlanta 1
Basingstoke 1
Belford Roxo 1
Berlin 1
Bonndorf 1
Cape Town 1
Chapecó 1
Chennai 1
Cluj-Napoca 1
Cuiabá 1
Curitiba 1
Divinópolis 1
Duque de Caxias 1
Düsseldorf 1
Elk Grove Village 1
Erbil 1
Erechim 1
Frankfurt am Main 1
General Rodríguez 1
Guangzhou 1
Guaíba 1
Gunzenhausen 1
Hanoi 1
Hayward 1
Hobbs 1
Ipuiúna 1
Isidro Casanova 1
Islington 1
Kathmandu 1
Lake in the Hills 1
Leeds 1
Lima 1
London 1
Lucas do Rio Verde 1
Miami Gardens 1
Montreal 1
Mumbai 1
Nanchang 1
Ninh Bình 1
Ottawa 1
Paris 1
Pará de Minas 1
Philadelphia 1
Ponte Nova 1
Poplar 1
Redondo Beach 1
Ribeirão Preto 1
Rio de Janeiro 1
Sidon 1
Sorocaba 1
Totale 587
Nome #
Encoding RTL Constructs for MathSAT: a Preliminary Report 138
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 132
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 130
A lazy and layered SMT(BV) solver for hard industrial verification problems 122
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 80
The MathSAT 4 SMT Solver 74
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 61
Modeling and Analyzing Contextual Requirements 37
Totale 774
Categoria #
all - tutte 3.603
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 3.603


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 4 6 4 6 4 8 3
2021/202264 0 24 0 2 3 1 4 11 3 1 6 9
2022/202390 7 13 0 9 10 14 0 9 18 2 3 5
2023/202454 2 5 2 1 5 18 6 11 1 2 0 1
2024/2025151 1 1 3 31 6 30 4 12 5 31 11 16
2025/2026201 44 6 42 64 30 15 0 0 0 0 0 0
Totale 774