Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 556
AS - Asia 190
EU - Europa 149
SA - Sud America 28
AF - Africa 6
Totale 929
Nazione #
US - Stati Uniti d'America 549
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 929
Città #
Ashburn 67
Singapore 50
Fairfield 48
Jacksonville 48
Chandler 43
San Jose 43
Dallas 25
Santa Clara 21
San Mateo 19
Woodbridge 18
Seattle 16
Cambridge 15
Columbus 14
Beijing 11
Hong Kong 11
Wilmington 11
Houston 10
New York 10
Moscow 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
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
Kathmandu 1
Lake in the Hills 1
Leeds 1
Totale 684
Nome #
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 157
Encoding RTL Constructs for MathSAT: a Preliminary Report 154
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 148
A lazy and layered SMT(BV) solver for hard industrial verification problems 142
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 95
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 90
The MathSAT 4 SMT Solver 89
Modeling and Analyzing Contextual Requirements 56
Totale 931
Categoria #
all - tutte 4.064
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.064


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213 0 0 0 0 0 0 0 0 0 0 0 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/2026358 44 6 42 64 30 29 58 5 32 35 8 5
Totale 931