Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 356
EU - Europa 67
AS - Asia 38
SA - Sud America 1
Totale 462
Nazione #
US - Stati Uniti d'America 356
UA - Ucraina 24
SG - Singapore 22
CN - Cina 11
FI - Finlandia 10
SE - Svezia 8
DE - Germania 6
GB - Regno Unito 6
IT - Italia 6
AT - Austria 4
BG - Bulgaria 2
ID - Indonesia 2
JO - Giordania 2
BR - Brasile 1
IN - India 1
RU - Federazione Russa 1
Totale 462
Città #
Fairfield 48
Jacksonville 48
Chandler 43
Ashburn 32
San Mateo 19
Woodbridge 18
Singapore 16
Cambridge 15
Seattle 15
Columbus 14
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
Boardman 2
Chiswick 2
Dearborn 2
Jakarta 2
Los Angeles 2
Sofia 2
Berlin 1
Bonndorf 1
Dallas 1
Düsseldorf 1
Guangzhou 1
Gunzenhausen 1
Islington 1
Moscow 1
Nanchang 1
Rio de Janeiro 1
Stockholm 1
Verona 1
Zola Predosa 1
Totale 364
Nome #
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 101
Encoding RTL Constructs for MathSAT: a Preliminary Report 95
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 82
A lazy and layered SMT(BV) solver for hard industrial verification problems 64
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 49
The MathSAT 4 SMT Solver 44
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 22
Modeling and Analyzing Contextual Requirements 7
Totale 464
Categoria #
all - tutte 2.576
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.576


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202070 0 0 0 0 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/202454 2 5 2 1 5 18 6 11 1 2 0 1
2024/202542 1 1 3 31 6 0 0 0 0 0 0 0
Totale 464