Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 540
AS - Asia 190
EU - Europa 149
SA - Sud America 28
AF - Africa 6
Totale 913
Nazione #
US - Stati Uniti d'America 533
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 913
Città #
Ashburn 67
Singapore 50
Fairfield 48
Jacksonville 48
Chandler 43
San Jose 37
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 673
Nome #
Encoding RTL Constructs for MathSAT: a Preliminary Report 154
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 154
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 915
Categoria #
all - tutte 3.855
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.855


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/2026342 44 6 42 64 30 29 58 5 32 32 0 0
Totale 915