IRIS
MONTANARI, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.074
NA - Nord America 890
EU - Europa 527
SA - Sud America 107
AF - Africa 18
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 2.618
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 862
SG - Singapore 509
RU - Federazione Russa 341
VN - Vietnam 214
CN - Cina 190
BR - Brasile 88
IT - Italia 76
HK - Hong Kong 73
FR - Francia 28
FI - Finlandia 20
JP - Giappone 18
DE - Germania 15
CA - Canada 14
GB - Regno Unito 12
IN - India 10
BD - Bangladesh 9
SE - Svezia 8
MX - Messico 7
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
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.618
Salva come PNG Salva come JPEG
Città #
Singapore 279
San Jose 184
Ashburn 121
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
Helsinki 17
Redondo Beach 17
Tokyo 17
Naples 15
Haiphong 14
Des Moines 13
Los Angeles 12
Nanjing 12
Buffalo 10
Washington 9
Napoli 8
Falkenstein 7
Ottawa 7
Dallas 6
Fucecchio 6
Milan 6
New York 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
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
Tbilisi 2
Totale 1.544
Salva come PNG Salva come JPEG
Nome #
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 177
Interval temporal logic model checking based on track bisimilarity and prefix sampling 137
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 128
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 128
Complexity analysis of a unifying algorithm for model checking interval temporal logic 121
Which fragments of the interval temporal logic HS are tractable in model checking? 115
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 114
Interval vs. point temporal logic model checking: An expressiveness comparison 109
Model Checking Timeline-based Systems over Dense Temporal Domains? 105
Ultimately-periodic interval model checking for temporal dataset evaluation 105
Model checking interval temporal logics with regular expressions 103
Interval temporal logic for visibly pushdown systems 102
Evaluation of temporal datasets via interval temporal logic model checking 101
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 100
Timeline-based planning over dense temporal domains 99
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 97
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 95
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 93
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 91
On a temporal logic of prefixes and infixes 90
Undecidability of future timeline-based planning over dense temporal domains 82
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 70
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 28
Totale 2.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.566
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 8.566
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202137 0 0 0 0 0 0 0 0 0 0 1 36
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.387 122 96 145 105 256 47 186 67 213 132 18 0
Totale 2.682