Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 331
EU - Europa 65
AS - Asia 20
SA - Sud America 1
Totale 417
Nazione #
US - Stati Uniti d'America 331
UA - Ucraina 24
CN - Cina 11
FI - Finlandia 10
SE - Svezia 7
DE - Germania 6
GB - Regno Unito 6
IT - Italia 6
SG - Singapore 6
AT - Austria 4
BG - Bulgaria 2
JO - Giordania 2
BR - Brasile 1
IN - India 1
Totale 417
Città #
Fairfield 48
Jacksonville 48
Chandler 43
Ashburn 32
San Mateo 19
Woodbridge 18
Cambridge 15
Seattle 15
Wilmington 11
Houston 10
Ann Arbor 8
Princeton 8
Beijing 7
New York 6
San Diego 5
Cagliari 4
Helsinki 4
Lawrence 4
Vienna 4
Chiswick 2
Dearborn 2
Sofia 2
Berlin 1
Boardman 1
Bonndorf 1
Düsseldorf 1
Guangzhou 1
Gunzenhausen 1
Islington 1
Nanchang 1
Rio de Janeiro 1
Verona 1
Zola Predosa 1
Totale 326
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 97
Encoding RTL Constructs for MathSAT: a Preliminary Report 89
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 76
A lazy and layered SMT(BV) solver for hard industrial verification problems 55
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 46
The MathSAT 4 SMT Solver 41
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 12
Modeling and Analyzing Contextual Requirements 3
Totale 419
Categoria #
all - tutte 2.002
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 2.002


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201933 0 0 0 0 0 0 0 0 0 6 14 13
2019/202097 6 4 9 8 12 6 15 6 13 6 4 8
2020/202164 0 12 0 8 9 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/202451 2 5 2 1 5 18 6 11 1 0 0 0
Totale 419