IRIS
MONTANARI, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.092
NA - Nord America 978
EU - Europa 537
SA - Sud America 108
Continente sconosciuto - Info sul continente non disponibili 65
AF - Africa 18
OC - Oceania 1
Totale 2.799
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 946
SG - Singapore 510
RU - Federazione Russa 341
VN - Vietnam 214
CN - Cina 193
BR - Brasile 88
IT - Italia 86
HK - Hong Kong 74
FR - Francia 28
FI - Finlandia 20
BD - Bangladesh 19
JP - Giappone 18
CA - Canada 15
DE - Germania 15
GB - Regno Unito 12
IN - India 10
MX - Messico 8
SE - Svezia 8
PH - Filippine 7
AR - Argentina 6
IQ - Iraq 6
PL - Polonia 6
KR - Corea 5
LV - Lettonia 5
ZA - Sudafrica 5
ID - Indonesia 4
KE - Kenya 4
PK - Pakistan 4
TH - Thailandia 4
TW - Taiwan 4
CL - Cile 3
MY - Malesia 3
PY - Paraguay 3
TN - Tunisia 3
TR - Turchia 3
UZ - Uzbekistan 3
AT - Austria 2
CO - Colombia 2
DO - Repubblica Dominicana 2
EC - Ecuador 2
ET - Etiopia 2
GE - Georgia 2
IE - Irlanda 2
JM - Giamaica 2
KZ - Kazakistan 2
LT - Lituania 2
MA - Marocco 2
PA - Panama 2
UA - Ucraina 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BB - Barbados 1
BE - Belgio 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
EG - Egitto 1
ES - Italia 1
EU - Europa 1
GF - Guiana Francese 1
GT - Guatemala 1
HR - Croazia 1
JO - Giordania 1
KW - Kuwait 1
LB - Libano 1
MD - Moldavia 1
NL - Olanda 1
OM - Oman 1
RO - Romania 1
SA - Arabia Saudita 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
Totale 2.735
Salva come PNG Salva come JPEG
Città #
Singapore 280
San Jose 196
Ashburn 141
Santa Clara 92
Moscow 80
Hong Kong 70
Beijing 63
Ho Chi Minh City 47
Hanoi 41
Chandler 39
Dong Ket 36
Hefei 29
The Dalles 26
Council Bluffs 25
Boston 22
Lawrence 22
Lauterbourg 21
Millbury 21
Naples 18
Helsinki 17
Redondo Beach 17
Tokyo 17
Haiphong 14
Los Angeles 14
Des Moines 13
Nanjing 12
Buffalo 11
Washington 10
Dallas 9
Milan 8
Napoli 8
Falkenstein 7
New York 7
Ottawa 7
Fucecchio 6
Chicago 5
London 5
Tianjin 5
Wilmington 5
Can Tho 4
Da Nang 4
Frankfurt am Main 4
Hải Dương 4
Rio de Janeiro 4
Seoul 4
São Paulo 4
Toronto 4
Atlanta 3
Bến Tre 3
Caserta 3
Fairfield 3
Hebei 3
Nairobi 3
San Francisco 3
San Giorgio A Cremano 3
Seattle 3
Tashkent 3
Warsaw 3
Woodbridge 3
Addis Ababa 2
Ahmedabad 2
Alexandria 2
Anacapri 2
Belo Horizonte 2
Blumenau 2
Brooklyn 2
Calamba 2
Campo Grande 2
Cava 2
Chennai 2
Cleveland 2
Criciúma 2
Cuiabá 2
Denver 2
Erbil 2
Fortaleza 2
Guangzhou 2
Guayaquil 2
Ha Long 2
Houston 2
Huzhou 2
Jaguariúna 2
Karachi 2
Kingston 2
Lappeenranta 2
Mexico City 2
Mumbai 2
Novo Hamburgo 2
Nuremberg 2
Orem 2
Panama City 2
Phoenix 2
Phủ Lý 2
Porto Alegre 2
Querétaro 2
Redwood City 2
Rome 2
Santo André 2
Secaucus 2
Shanghai 2
Totale 1.616
Salva come PNG Salva come JPEG
Nome #
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 182
Interval temporal logic model checking based on track bisimilarity and prefix sampling 142
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 132
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 132
Complexity analysis of a unifying algorithm for model checking interval temporal logic 126
Which fragments of the interval temporal logic HS are tractable in model checking? 121
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 118
Interval vs. point temporal logic model checking: An expressiveness comparison 116
Model Checking Timeline-based Systems over Dense Temporal Domains? 108
Ultimately-periodic interval model checking for temporal dataset evaluation 108
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 107
Interval temporal logic for visibly pushdown systems 106
Model checking interval temporal logics with regular expressions 106
Evaluation of temporal datasets via interval temporal logic model checking 104
Timeline-based planning over dense temporal domains 104
Taming the complexity of timeline-based planning over dense temporal domains 103
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 101
Complexity issues for timeline-based planning over dense time under future and minimal semantics 100
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 98
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 95
On a temporal logic of prefixes and infixes 91
Undecidability of future timeline-based planning over dense temporal domains 86
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 75
Decidability and complexity of timeline-based planning over dense temporal domains 73
Interval Temporal Logic for Visibly Pushdown Systems 71
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 47
Pspace-completeness of the temporal logic of sub-intervals and suffixes 47
Totale 2.799
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.600
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 9.600
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022134 0 0 0 1 3 3 6 6 5 16 39 55
2022/2023108 23 7 3 1 11 16 2 11 15 0 15 4
2023/2024148 5 26 2 27 12 26 5 2 7 1 20 15
2024/2025763 31 28 1 0 33 102 104 44 20 45 316 39
2025/20261.426 122 96 145 105 256 47 186 67 213 132 23 34
2026/202778 24 54 0 0 0 0 0 0 0 0 0 0
Totale 2.799