IRIS
PERON, Adriano
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 167
EU - Europa 38
AS - Asia 12
Totale 217
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 166
UA - Ucraina 13
CN - Cina 11
IT - Italia 8
IE - Irlanda 6
DE - Germania 5
FI - Finlandia 4
CA - Canada 1
IN - India 1
RS - Serbia 1
SE - Svezia 1
Totale 217
Salva come PNG Salva come JPEG
Città #
Chandler 31
Ann Arbor 26
Houston 12
Jacksonville 10
Dearborn 8
Princeton 6
Dublin 5
Fairfield 5
Ogden 5
Woodbridge 5
Ashburn 4
Beijing 4
Cambridge 3
Dongguan 2
Hefei 2
Romans D'isonzo 2
Udine 2
Wilmington 2
Xi'an 2
Belgrade 1
Letterkenny 1
Nanjing 1
Norwalk 1
Ottawa 1
San Diego 1
Seattle 1
Trieste 1
Totale 144
Salva come PNG Salva come JPEG
Nome #
A Multimedia System for Automatic Recognition, Indexing and Retrieval of Heterogeneous Music Documents 80
The taming (timing) of the states 42
Complexity analysis of a unifying algorithm for model checking interval temporal logic 33
Complexity analysis of a unifying algorithm for model checking interval temporal logic 26
Undecidability of future timeline-based planning over dense temporal domains 26
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 16
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 8
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 4
Interval Temporal Logic for Visibly Pushdown Systems 3
Totale 238
Salva come PNG Salva come JPEG
Categoria #
all - tutte 1.295
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.295
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202031 0 0 0 6 3 7 5 3 1 3 1 2
2020/202131 0 2 0 3 1 8 4 3 5 0 5 0
2021/202239 1 2 0 1 0 1 0 2 0 9 17 6
2022/202362 8 2 5 3 8 12 0 7 14 0 3 0
2023/202429 3 5 3 0 3 0 0 2 5 8 0 0
Totale 238