Kornilowicz, Artur
 Distribuzione geografica
Continente #
NA - Nord America 107
EU - Europa 45
AS - Asia 9
Continente sconosciuto - Info sul continente non disponibili 1
Totale 162
Nazione #
US - Stati Uniti d'America 107
UA - Ucraina 11
DE - Germania 9
SE - Svezia 7
FI - Finlandia 5
IN - India 4
IT - Italia 4
RU - Federazione Russa 4
IE - Irlanda 3
VN - Vietnam 3
BE - Belgio 1
CN - Cina 1
EU - Europa 1
FR - Francia 1
IR - Iran 1
Totale 162
Città #
Chandler 35
Jacksonville 22
Wilmington 7
Ashburn 4
Houston 4
Dong Ket 3
Dublin 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Dearborn 2
Helsinki 2
Milan 2
Augusta 1
Beijing 1
Boardman 1
Brussels 1
Cologno Al Serio 1
San Mateo 1
Totale 98
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 73
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 45
Bounded Model Checking for Timed Systems 44
Totale 162
Categoria #
all - tutte 589
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 589


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20196 0000 31 01 0010
2019/202028 3310 32 30 4531
2020/202129 3031 32 41 0714
2021/202210 0000 20 02 1005
2022/202363 26011 69 05 17430
Totale 162