DI STASIO, ANTONIO
 Distribuzione geografica
Continente #
NA - Nord America 251
EU - Europa 152
AS - Asia 38
OC - Oceania 4
SA - Sud America 2
AF - Africa 1
Totale 448
Nazione #
US - Stati Uniti d'America 251
IT - Italia 56
SE - Svezia 25
GB - Regno Unito 19
IN - India 17
DE - Germania 13
UA - Ucraina 11
JP - Giappone 9
BG - Bulgaria 7
RO - Romania 5
HK - Hong Kong 4
CN - Cina 3
PT - Portogallo 3
SG - Singapore 3
AT - Austria 2
AU - Australia 2
ES - Italia 2
FI - Finlandia 2
ID - Indonesia 2
IE - Irlanda 2
NL - Olanda 2
NZ - Nuova Zelanda 2
AR - Argentina 1
BR - Brasile 1
FR - Francia 1
GR - Grecia 1
RU - Federazione Russa 1
ZA - Sudafrica 1
Totale 448
Città #
Chandler 29
Fairfield 25
San Paolo di Civitate 18
Rome 16
Ashburn 15
Princeton 10
Wilmington 10
Cambridge 9
Lawrence 9
Woodbridge 9
Houston 8
Seattle 8
Boston 7
Sofia 7
Millbury 6
Wilmette 6
Jacksonville 5
Oxford 5
San Diego 5
Andover 4
Ann Arbor 4
Brighton 4
Central 4
Tokyo 4
Denver 3
Manchester 3
San Mateo 3
Anguillara Sabazia 2
Bühl 2
Christchurch 2
Dublin 2
Fellbach 2
Jakarta 2
Karlsruhe 2
Los Angeles 2
Norwalk 2
Pune 2
Shenzhen 2
Southend 2
Sydney 2
Vienna 2
Vila Nova de Gaia 2
Aachen 1
Amsterdam 1
Athens 1
Barcelona 1
Berlin 1
Casalzuigno 1
Chengdu 1
Chennai 1
Chiswick 1
Cologne 1
Des Moines 1
Federal 1
Grabow 1
Groningen 1
Kummersbruck 1
Lappeenranta 1
Las Vegas 1
Laurel 1
Lisbon 1
Liverpool 1
London 1
Madrid 1
Muizenberg 1
Mumbai 1
Plano 1
Redmond 1
Rio de Janeiro 1
Rodgau 1
Sacramento 1
San Francisco 1
Santa Clara 1
Shizuoka 1
Singapore 1
Southwark 1
Velletri 1
Wandsworth 1
Totale 302
Nome #
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces 133
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions 65
Solving parity games: Explicit vs symbolic 46
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis 42
Solving parity games using an automata-based algorithm 39
Solving Parity Games in Scala 39
Improving parity games in practice 35
Imperfect-information games and generalized planning 34
Synthesis with mandatory stop actions 34
Dynamic escape game 27
Compositional Safety LTL Synthesis 7
Totale 501
Categoria #
all - tutte 1.467
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.467


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20192 0 0 0 0 0 0 0 0 0 0 2 0
2019/202049 1 0 0 0 0 0 0 2 0 0 40 6
2020/202173 14 0 8 6 0 0 3 16 7 5 9 5
2021/2022137 1 2 12 4 14 3 0 15 6 3 56 21
2022/2023131 21 38 5 9 9 10 0 11 15 6 4 3
2023/2024107 5 10 11 7 9 25 12 8 2 13 5 0
Totale 501