Schuppan, Viktor
 Distribuzione geografica
Continente #
NA - Nord America 285
EU - Europa 191
AS - Asia 66
SA - Sud America 16
AF - Africa 2
OC - Oceania 1
Totale 561
Nazione #
US - Stati Uniti d'America 278
RU - Federazione Russa 60
DE - Germania 34
UA - Ucraina 20
SG - Singapore 17
FI - Finlandia 16
HK - Hong Kong 16
SE - Svezia 15
CN - Cina 13
BR - Brasile 12
IE - Irlanda 11
IN - India 11
GB - Regno Unito 9
NL - Olanda 6
VN - Vietnam 6
BE - Belgio 5
CA - Canada 5
IT - Italia 4
LT - Lituania 4
AR - Argentina 3
CZ - Repubblica Ceca 3
FR - Francia 2
AU - Australia 1
BD - Bangladesh 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
GY - Guiana 1
IQ - Iraq 1
KE - Kenya 1
LU - Lussemburgo 1
MX - Messico 1
PK - Pakistan 1
PL - Polonia 1
Totale 561
Città #
Chandler 67
Jacksonville 43
Boardman 19
Hong Kong 16
Moscow 13
New York 13
Ann Arbor 11
Dublin 11
Singapore 11
The Dalles 11
Ashburn 10
Helsinki 10
Wilmington 9
Woodbridge 8
Dong Ket 6
Hefei 6
Kronberg 6
Brussels 5
Beijing 4
Brooklyn 4
Dearborn 4
Houston 4
Munich 3
Redwood City 3
Toronto 3
Los Angeles 2
Nuremberg 2
Olomouc 2
Ottawa 2
Phoenix 2
Pune 2
Turin 2
Verona 2
Anniston 1
Apodaca 1
Atlanta 1
Auburn Hills 1
Baghdad 1
Bangalore 1
Bath 1
Batna City 1
Betim 1
Buenos Aires 1
Campinas 1
Chicago 1
Concord 1
Constantina 1
Düsseldorf 1
Esmeraldas 1
Falkenstein 1
Frankfurt am Main 1
Fátima do Sul 1
Georgetown 1
Goiânia 1
Guntur 1
Hangzhou 1
Hanover 1
Helena 1
Itajaí 1
La Plata 1
Laferrere 1
Lahore 1
London 1
Milledgeville 1
Natal 1
Porangaba 1
Prague 1
San Francisco 1
San Mateo 1
Santos 1
Seattle 1
Secaucus 1
Stavropol 1
Sydney 1
São Paulo 1
Tatuí 1
Tower Hamlets 1
Yamasá 1
Youngstown 1
Totale 362
Nome #
NuGAT 123
RATSY - A new Requirements Analysis Tool with Synthesis 107
Boolean Abstraction for Temporal Logic Satisfiability 96
Diagnostic Information for Realizability 86
Survey on Directed Model Checking 77
Towards a Notion of Unsatisfiable Cores for LTL 74
Totale 563
Categoria #
all - tutte 3.066
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 3.066


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202 0 0 0 0 0 0 0 0 0 0 0 2
2020/202158 7 0 6 4 6 1 9 2 3 10 2 8
2021/202237 1 3 0 6 2 0 1 5 1 1 8 9
2022/2023124 2 17 2 24 3 18 2 11 26 6 6 7
2023/202477 6 4 5 0 2 24 2 6 2 12 1 13
2024/2025165 2 2 13 13 9 9 3 9 54 17 27 7
Totale 563