Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 539
AS - Asia 190
EU - Europa 149
SA - Sud America 28
AF - Africa 6
Totale 912
Nazione #
US - Stati Uniti d'America 532
SG - Singapore 75
CN - Cina 45
RU - Federazione Russa 28
BR - Brasile 24
UA - Ucraina 24
VN - Vietnam 24
DE - Germania 15
HK - Hong Kong 15
GB - Regno Unito 13
IT - Italia 13
FI - Finlandia 12
FR - Francia 11
KR - Corea 9
SE - Svezia 9
LV - Lettonia 8
IN - India 6
CA - Canada 5
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 912
Città #
Ashburn 67
Singapore 50
Fairfield 48
Jacksonville 48
Chandler 43
San Jose 36
Dallas 25
San Mateo 19
Woodbridge 18
Santa Clara 17
Seattle 16
Cambridge 15
Columbus 14
Beijing 11
Hong Kong 11
Wilmington 11
Houston 10
Moscow 9
New York 9
Seoul 9
Ann Arbor 8
Princeton 8
Riga 8
Helsinki 6
Ho Chi Minh City 6
Lauterbourg 6
Los Angeles 6
Chicago 5
San Diego 5
Cagliari 4
Falkenstein 4
Frankfurt am Main 4
Hanoi 4
Hefei 4
Kowloon City 4
Lawrence 4
Orem 4
São Paulo 4
Vienna 4
Warsaw 4
Brooklyn 3
Buffalo 3
Chennai 3
Da Nang 3
Palermo 3
Boardman 2
Chiswick 2
Dearborn 2
Jakarta 2
Mexico City 2
Paris 2
Phoenix 2
Rio de Janeiro 2
Salt Lake City 2
San Francisco 2
Sofia 2
Stockholm 2
Tokyo 2
Toronto 2
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
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
Kathmandu 1
Lake in the Hills 1
Leeds 1
Lima 1
London 1
Totale 672
Nome #
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 154
Encoding RTL Constructs for MathSAT: a Preliminary Report 153
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 147
A lazy and layered SMT(BV) solver for hard industrial verification problems 140
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 95
The MathSAT 4 SMT Solver 85
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 84
Modeling and Analyzing Contextual Requirements 56
Totale 914
Categoria #
all - tutte 3.854
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.854


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 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/2026341 44 6 42 64 30 29 58 5 32 31 0 0
Totale 914