Kornilowicz, Artur
 Distribuzione geografica
Continente #
NA - Nord America 231
EU - Europa 212
AS - Asia 105
SA - Sud America 26
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 581
Nazione #
US - Stati Uniti d'America 221
RU - Federazione Russa 139
SG - Singapore 34
DE - Germania 21
VN - Vietnam 21
BR - Brasile 17
HK - Hong Kong 16
CN - Cina 13
UA - Ucraina 11
FR - Francia 9
CA - Canada 7
IN - India 7
IT - Italia 7
SE - Svezia 7
FI - Finlandia 6
AR - Argentina 4
BD - Bangladesh 4
ZA - Sudafrica 4
GB - Regno Unito 3
NL - Olanda 3
IE - Irlanda 2
IQ - Iraq 2
PY - Paraguay 2
BB - Barbados 1
BE - Belgio 1
CG - Congo 1
CL - Cile 1
DO - Repubblica Dominicana 1
ES - Italia 1
EU - Europa 1
ID - Indonesia 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
LT - Lituania 1
MX - Messico 1
PH - Filippine 1
PL - Polonia 1
TR - Turchia 1
UY - Uruguay 1
VE - Venezuela 1
Totale 581
Città #
Chandler 35
Jacksonville 22
Singapore 22
San Jose 21
Ashburn 15
Hong Kong 14
Dallas 12
Boardman 11
Hanoi 7
Munich 7
The Dalles 7
Wilmington 7
Beijing 6
Ho Chi Minh City 5
Los Angeles 5
Moscow 5
West Jordan 5
Houston 4
New York 4
Brooklyn 3
Dong Ket 3
Hefei 3
Helsinki 3
Johannesburg 3
Lauterbourg 3
Phoenix 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Boston 2
Dearborn 2
Dublin 2
Kronberg 2
Milan 2
Orem 2
Toronto 2
Vancouver 2
Alto Araguaia 1
Amman 1
Ankara 1
Asunción 1
Augusta 1
Avellaneda 1
Bishkek 1
Bolzano 1
Brazzaville 1
Brussels 1
Bury 1
Chicago 1
Cleveland 1
Cologne 1
Cologno Al Serio 1
Concordia 1
Coventry 1
Da Lat 1
Da Nang 1
Dhaka 1
Duque de Caxias 1
Falkenstein 1
Ghaziabad 1
Haiphong 1
Hillsboro 1
Hải Dương 1
Ji Paraná 1
Kuwait City 1
Lomas de Zamora 1
Mainqué 1
Marituba 1
Mexico City 1
Miami 1
Milwaukee 1
Mineiros 1
Montevideo 1
Montreal 1
Mérida 1
Nairobi 1
Najaf 1
Nanjing 1
New Delhi 1
Orlando 1
Pindamonhangaba 1
Poplar 1
Pouso Alegre 1
Pretoria 1
Pune 1
Quezon City 1
Quận Ba 1
Rio de Janeiro 1
Roubaix 1
Sabará 1
Saint Michael 1
Salvador 1
San Mateo 1
Santiago 1
Santiago de los Caballeros 1
Secaucus 1
Serra 1
Shanghai 1
Suzano 1
São João del Rei 1
Totale 322
Nome #
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 225
Bounded Model Checking for Timed Systems 183
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 173
Totale 581
Categoria #
all - tutte 2.113
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 2.113


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 0 0 0 0 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/2026288 11 20 22 29 16 15 49 108 13 5 0 0
Totale 581