IRIS
MONTANARI, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 816
NA - Nord America 597
EU - Europa 492
SA - Sud America 96
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.012
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 576
SG - Singapore 470
RU - Federazione Russa 341
CN - Cina 177
BR - Brasile 81
IT - Italia 74
VN - Vietnam 70
HK - Hong Kong 65
FI - Finlandia 20
DE - Germania 12
CA - Canada 10
GB - Regno Unito 9
SE - Svezia 8
MX - Messico 7
AR - Argentina 6
IN - India 6
PL - Polonia 6
FR - Francia 5
LV - Lettonia 5
BD - Bangladesh 4
IQ - Iraq 4
KR - Corea 4
ZA - Sudafrica 4
TR - Turchia 3
AT - Austria 2
EC - Ecuador 2
GE - Georgia 2
ID - Indonesia 2
IE - Irlanda 2
KE - Kenya 2
PA - Panama 2
PY - Paraguay 2
TN - Tunisia 2
UA - Ucraina 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
BB - Barbados 1
BE - Belgio 1
BO - Bolivia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CL - Cile 1
CO - Colombia 1
ES - Italia 1
EU - Europa 1
GF - Guiana Francese 1
JM - Giamaica 1
JO - Giordania 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
MA - Marocco 1
NL - Olanda 1
PH - Filippine 1
PK - Pakistan 1
RO - Romania 1
VE - Venezuela 1
Totale 2.012
Salva come PNG Salva come JPEG
Città #
Singapore 240
Ashburn 93
Santa Clara 89
Moscow 80
Hong Kong 65
Beijing 57
Chandler 39
Dong Ket 36
Hefei 29
Boston 22
Lawrence 22
Millbury 21
Helsinki 17
Redondo Beach 17
Naples 15
Des Moines 13
Ho Chi Minh City 12
Los Angeles 12
Nanjing 12
Buffalo 9
Washington 9
Hanoi 8
Napoli 8
San Jose 8
Falkenstein 7
Ottawa 7
Fucecchio 6
The Dalles 6
Dallas 5
Milan 5
Tianjin 5
Wilmington 5
Chicago 4
Haiphong 4
London 4
New York 4
Rio de Janeiro 4
Seoul 4
São Paulo 4
Caserta 3
Fairfield 3
Hebei 3
San Francisco 3
San Giorgio A Cremano 3
Seattle 3
Warsaw 3
Woodbridge 3
Anacapri 2
Atlanta 2
Belo Horizonte 2
Blumenau 2
Brooklyn 2
Campo Grande 2
Cava 2
Criciúma 2
Cuiabá 2
Denver 2
Erbil 2
Fortaleza 2
Frankfurt am Main 2
Guangzhou 2
Guayaquil 2
Ha Long 2
Houston 2
Huzhou 2
Lappeenranta 2
Mexico City 2
Mumbai 2
Nairobi 2
Novo Hamburgo 2
Nuremberg 2
Panama City 2
Porto Alegre 2
Querétaro 2
Redwood City 2
Santo André 2
Secaucus 2
Shanghai 2
Shenyang 2
São Carlos 2
Tashkent 2
Tbilisi 2
Toronto 2
Xi'an 2
Ahmedabad 1
Alagoinhas 1
Americana 1
Amman 1
Amsterdam 1
Andover 1
Ankara 1
Arlington 1
Augusta 1
Balneário Pinhal 1
Beirut 1
Bexley 1
Boardman 1
Bragança Paulista 1
Bridgetown 1
Brussels 1
Totale 1.121
Salva come PNG Salva come JPEG
Nome #
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 145
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 100
Interval temporal logic model checking based on track bisimilarity and prefix sampling 99
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 93
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 89
Complexity analysis of a unifying algorithm for model checking interval temporal logic 87
Which fragments of the interval temporal logic HS are tractable in model checking? 86
Ultimately-periodic interval model checking for temporal dataset evaluation 86
Model Checking Timeline-based Systems over Dense Temporal Domains? 84
Evaluation of temporal datasets via interval temporal logic model checking 80
Interval temporal logic for visibly pushdown systems 80
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 80
Complexity issues for timeline-based planning over dense time under future and minimal semantics 79
Model checking interval temporal logics with regular expressions 78
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 77
Interval vs. point temporal logic model checking: An expressiveness comparison 75
Timeline-based planning over dense temporal domains 75
Taming the complexity of timeline-based planning over dense temporal domains 75
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 74
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 73
Undecidability of future timeline-based planning over dense temporal domains 66
On a temporal logic of prefixes and infixes 65
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 64
Decidability and complexity of timeline-based planning over dense temporal domains 59
Interval Temporal Logic for Visibly Pushdown Systems 58
Pspace-completeness of the temporal logic of sub-intervals and suffixes 33
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 16
Totale 2.076
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.490
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 7.490
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202167 0 0 0 0 0 0 18 1 1 10 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/2026781 122 96 145 105 256 47 10 0 0 0 0 0
Totale 2.076