Franzen, Per Anders
 Distribuzione geografica
Continente #
NA - Nord America 697
AS - Asia 192
EU - Europa 166
SA - Sud America 29
AF - Africa 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.093
Nazione #
US - Stati Uniti d'America 677
SG - Singapore 75
CN - Cina 45
RU - Federazione Russa 29
VN - Vietnam 26
UA - Ucraina 25
BR - Brasile 24
IT - Italia 20
DE - Germania 17
GB - Regno Unito 15
HK - Hong Kong 15
FI - Finlandia 13
CA - Canada 11
FR - Francia 11
SE - Svezia 10
KR - Corea 9
LV - Lettonia 8
IN - India 6
AT - Austria 4
ID - Indonesia 4
PL - Polonia 4
NL - Olanda 3
AR - Argentina 2
BD - Bangladesh 2
BG - Bulgaria 2
CR - Costa Rica 2
GP - Guadalupe 2
JO - Giordania 2
JP - Giappone 2
MX - Messico 2
CG - Congo 1
CL - Cile 1
EC - Ecuador 1
EE - Estonia 1
HR - Croazia 1
IQ - Iraq 1
JM - Giamaica 1
KE - Kenya 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
MA - Marocco 1
MC - Monaco 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
SC - Seychelles 1
SV - El Salvador 1
TN - Tunisia 1
TR - Turchia 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 1.091
Città #
Ashburn 89
San Jose 51
Singapore 50
Fairfield 48
Jacksonville 48
Chandler 43
Dallas 26
Santa Clara 24
Columbus 21
San Mateo 19
Woodbridge 18
Seattle 17
Cambridge 15
Council Bluffs 12
Beijing 11
Hong Kong 11
New York 11
Wilmington 11
Houston 10
Moscow 9
Seoul 9
Ann Arbor 8
Phoenix 8
Princeton 8
Riga 8
Helsinki 7
Ho Chi Minh City 7
Los Angeles 7
Chicago 6
Lauterbourg 6
San Francisco 6
Orem 5
San Diego 5
Buffalo 4
Cagliari 4
Falkenstein 4
Frankfurt am Main 4
Hanoi 4
Hefei 4
Kowloon City 4
Lawrence 4
São Paulo 4
Toronto 4
Vienna 4
Warsaw 4
Washington 4
Brooklyn 3
Chennai 3
Da Nang 3
Palermo 3
Philadelphia 3
Atlanta 2
Boardman 2
Braunschweig 2
Chiswick 2
Dearborn 2
Jakarta 2
Mexico City 2
Montreal 2
Paris 2
Rio de Janeiro 2
Salt Lake City 2
San José 2
Sofia 2
Stockholm 2
The Dalles 2
Tokyo 2
Winchester 2
Abilene 1
Abuja 1
Albignasego 1
Ambato 1
Amsterdam 1
Astana 1
Bari 1
Barnet 1
Basingstoke 1
Belford Roxo 1
Berlin 1
Bexley 1
Bonndorf 1
Bremen 1
Bruneck 1
Cape Town 1
Casablanca 1
Chapecó 1
Cluj-Napoca 1
Creedmoor 1
Cuiabá 1
Curitiba 1
Dehradun 1
Denver 1
Divinópolis 1
Drummondville 1
Duque de Caxias 1
Düsseldorf 1
Elk Grove Village 1
Erbil 1
Erechim 1
Fort Myers 1
Totale 767
Nome #
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 173
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 169
Encoding RTL Constructs for MathSAT: a Preliminary Report 165
A lazy and layered SMT(BV) solver for hard industrial verification problems 159
Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT 137
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 115
The MathSAT 4 SMT Solver 106
Modeling and Analyzing Contextual Requirements 69
Totale 1.093
Categoria #
all - tutte 4.615
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.615


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202238 0 0 0 0 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/2026359 44 6 42 64 30 29 58 5 32 35 8 6
2026/2027161 7 23 59 70 2 0 0 0 0 0 0 0
Totale 1.093