Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 579
AS - Asia 190
EU - Europa 151
SA - Sud America 28
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 956
Nazione #
US - Stati Uniti d'America 571
SG - Singapore 75
CN - Cina 45
RU - Federazione Russa 28
UA - Ucraina 25
BR - Brasile 24
VN - Vietnam 24
DE - Germania 15
HK - Hong Kong 15
IT - Italia 14
GB - Regno Unito 13
FI - Finlandia 12
FR - Francia 11
KR - Corea 9
SE - Svezia 9
LV - Lettonia 8
CA - Canada 6
IN - India 6
AT - Austria 4
ID - Indonesia 4
PL - Polonia 4
NL - Olanda 3
AR - Argentina 2
BD - Bangladesh 2
BG - Bulgaria 2
JO - Giordania 2
JP - Giappone 2
MX - Messico 2
CG - Congo 1
CL - Cile 1
HR - Croazia 1
IQ - Iraq 1
KE - Kenya 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
MA - Marocco 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
TN - Tunisia 1
TR - Turchia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 954
Città #
Ashburn 67
Singapore 50
Fairfield 48
Jacksonville 48
Chandler 43
San Jose 43
Dallas 25
Santa Clara 23
Columbus 21
San Mateo 19
Woodbridge 18
Seattle 16
Cambridge 15
Beijing 11
Hong Kong 11
New York 11
Wilmington 11
Houston 10
Moscow 9
Seoul 9
Ann Arbor 8
Princeton 8
Riga 8
Council Bluffs 7
Los Angeles 7
Helsinki 6
Ho Chi Minh City 6
Lauterbourg 6
Chicago 5
Orem 5
San Diego 5
Cagliari 4
Falkenstein 4
Frankfurt am Main 4
Hanoi 4
Hefei 4
Kowloon City 4
Lawrence 4
São Paulo 4
Vienna 4
Warsaw 4
Brooklyn 3
Buffalo 3
Chennai 3
Da Nang 3
Palermo 3
San Francisco 3
Boardman 2
Chiswick 2
Dearborn 2
Jakarta 2
Mexico City 2
Montreal 2
Paris 2
Phoenix 2
Rio de Janeiro 2
Salt Lake City 2
Sofia 2
Stockholm 2
The Dalles 2
Tokyo 2
Toronto 2
Abilene 1
Abuja 1
Amsterdam 1
Astana 1
Atlanta 1
Bari 1
Barnet 1
Basingstoke 1
Belford Roxo 1
Berlin 1
Bexley 1
Bonndorf 1
Bremen 1
Cape Town 1
Casablanca 1
Chapecó 1
Cluj-Napoca 1
Creedmoor 1
Cuiabá 1
Curitiba 1
Dehradun 1
Divinópolis 1
Duque de Caxias 1
Düsseldorf 1
Elk Grove Village 1
Erbil 1
Erechim 1
Galt 1
General Rodríguez 1
Guangzhou 1
Guaíba 1
Gunzenhausen 1
Hayward 1
Hobbs 1
Ipuiúna 1
Isidro Casanova 1
Islington 1
Istanbul 1
Totale 705
Nome #
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 161
Encoding RTL Constructs for MathSAT: a Preliminary Report 155
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 154
A lazy and layered SMT(BV) solver for hard industrial verification problems 144
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 98
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 95
The MathSAT 4 SMT Solver 91
Modeling and Analyzing Contextual Requirements 58
Totale 956
Categoria #
all - tutte 4.251
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 4.251


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2026359 44 6 42 64 30 29 58 5 32 35 8 6
2026/202724 7 17 0 0 0 0 0 0 0 0 0 0
Totale 956