Kornilowicz, Artur
 Distribuzione geografica
Continente #
NA - Nord America 154
EU - Europa 95
AS - Asia 36
SA - Sud America 11
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 300
Nazione #
US - Stati Uniti d'America 151
RU - Federazione Russa 37
DE - Germania 20
SG - Singapore 12
UA - Ucraina 11
BR - Brasile 9
SE - Svezia 7
CN - Cina 6
FI - Finlandia 6
HK - Hong Kong 6
IN - India 5
IT - Italia 5
NL - Olanda 3
VN - Vietnam 3
CA - Canada 2
IE - Irlanda 2
ZA - Sudafrica 2
AR - Argentina 1
BB - Barbados 1
BE - Belgio 1
EU - Europa 1
FR - Francia 1
GB - Regno Unito 1
ID - Indonesia 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LT - Lituania 1
PY - Paraguay 1
Totale 300
Città #
Chandler 35
Jacksonville 22
Boardman 11
Singapore 8
Ashburn 7
Munich 7
Wilmington 7
Hong Kong 6
The Dalles 6
Moscow 5
West Jordan 5
Houston 4
Dong Ket 3
Hefei 3
Helsinki 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Dearborn 2
Dublin 2
Kronberg 2
Milan 2
Phoenix 2
Toronto 2
Alto Araguaia 1
Asunción 1
Augusta 1
Beijing 1
Bishkek 1
Bolzano 1
Boston 1
Brussels 1
Bury 1
Cologne 1
Cologno Al Serio 1
Duque de Caxias 1
Falkenstein 1
Johannesburg 1
Kuwait City 1
Mainqué 1
Miami 1
Mineiros 1
Nairobi 1
Nanjing 1
New York 1
Orlando 1
Pouso Alegre 1
Pretoria 1
Pune 1
Rio de Janeiro 1
Saint Michael 1
Salvador 1
San Mateo 1
Secaucus 1
Serra 1
Shanghai 1
Suzano 1
Torres 1
Totale 186
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 115
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 96
Bounded Model Checking for Timed Systems 89
Totale 300
Categoria #
all - tutte 1.616
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 1.616


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202363 2 6 0 11 6 9 0 5 15 4 3 2
2023/202427 3 1 3 0 2 3 2 3 0 6 0 4
2024/2025104 1 2 6 3 5 2 3 7 36 11 17 11
2025/20267 7 0 0 0 0 0 0 0 0 0 0 0
Totale 300