Kornilowicz, Artur
 Distribuzione geografica
Continente #
NA - Nord America 122
EU - Europa 49
AS - Asia 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 182
Nazione #
US - Stati Uniti d'America 122
DE - Germania 13
UA - Ucraina 11
SE - Svezia 7
FI - Finlandia 5
IN - India 5
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 182
Città #
Chandler 35
Jacksonville 22
Ashburn 7
Wilmington 7
Boardman 4
Houston 4
Dong Ket 3
Dublin 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Dearborn 2
Helsinki 2
Kronberg 2
Milan 2
Phoenix 2
Augusta 1
Beijing 1
Brussels 1
Cologne 1
Cologno Al Serio 1
Hanover 1
Pune 1
San Mateo 1
Totale 111
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 77
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 53
Bounded Model Checking for Timed Systems 52
Totale 182
Categoria #
all - tutte 891
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 891


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 0 1 0
2019/202028 3 3 1 0 3 2 3 0 4 5 3 1
2020/202129 3 0 3 1 3 2 4 1 0 7 1 4
2021/202210 0 0 0 0 2 0 0 2 1 0 0 5
2022/202365 2 6 0 11 6 9 0 5 17 4 3 2
2023/202418 3 2 3 0 2 3 2 3 0 0 0 0
Totale 182