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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201820 0000 00 215 3000
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/202334 26011 69 00 0000
Totale 133