IRIS
MONTANARI, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.086
NA - Nord America 921
EU - Europa 534
SA - Sud America 107
AF - Africa 18
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 2.668
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 891
SG - Singapore 509
RU - Federazione Russa 341
VN - Vietnam 214
CN - Cina 193
BR - Brasile 88
IT - Italia 83
HK - Hong Kong 73
FR - Francia 28
FI - Finlandia 20
BD - Bangladesh 18
JP - Giappone 18
DE - Germania 15
CA - Canada 14
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
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
ID - Indonesia 2
IE - Irlanda 2
KZ - Kazakistan 2
LT - Lituania 2
MA - Marocco 2
PA - Panama 2
UA - Ucraina 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
JM - Giamaica 1
JO - Giordania 1
KW - Kuwait 1
LB - Libano 1
MD - Moldavia 1
NL - Olanda 1
RO - Romania 1
SA - Arabia Saudita 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 2.668
Salva come PNG Salva come JPEG
Città #
Singapore 279
San Jose 184
Ashburn 131
Santa Clara 89
Moscow 80
Hong Kong 69
Beijing 63
Ho Chi Minh City 47
Hanoi 41
Chandler 39
Dong Ket 36
Hefei 29
The Dalles 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
Napoli 8
Dallas 7
Falkenstein 7
Milan 7
New York 7
Ottawa 7
Fucecchio 6
Chicago 5
Council Bluffs 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
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
Toronto 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
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
Santo André 2
Secaucus 2
Shanghai 2
Shenyang 2
São Carlos 2
Totale 1.564
Salva come PNG Salva come JPEG
Nome #
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 181
Interval temporal logic model checking based on track bisimilarity and prefix sampling 139
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 130
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 129
Complexity analysis of a unifying algorithm for model checking interval temporal logic 123
Which fragments of the interval temporal logic HS are tractable in model checking? 119
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 115
Interval vs. point temporal logic model checking: An expressiveness comparison 111
Model Checking Timeline-based Systems over Dense Temporal Domains? 106
Ultimately-periodic interval model checking for temporal dataset evaluation 106
Interval temporal logic for visibly pushdown systems 105
Model checking interval temporal logics with regular expressions 104
Evaluation of temporal datasets via interval temporal logic model checking 102
Timeline-based planning over dense temporal domains 101
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 100
Taming the complexity of timeline-based planning over dense temporal domains 99
Complexity issues for timeline-based planning over dense time under future and minimal semantics 98
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 95
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 94
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 94
On a temporal logic of prefixes and infixes 90
Undecidability of future timeline-based planning over dense temporal domains 85
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
Pspace-completeness of the temporal logic of sub-intervals and suffixes 45
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 42
Totale 2.732
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.060
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.060
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022139 5 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/202711 11 0 0 0 0 0 0 0 0 0 0 0
Totale 2.732