IRIS
MONTANARI, ANGELO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 306
EU - Europa 79
AS - Asia 65
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 452
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 298
IT - Italia 57
VN - Vietnam 36
CN - Cina 26
CA - Canada 7
SE - Svezia 7
LV - Lettonia 5
PL - Polonia 3
IE - Irlanda 2
BE - Belgio 1
CH - Svizzera 1
CI - Costa d'Avorio 1
EU - Europa 1
FR - Francia 1
GE - Georgia 1
IN - India 1
PA - Panama 1
RO - Romania 1
SG - Singapore 1
UA - Ucraina 1
Totale 452
Salva come PNG Salva come JPEG
Città #
Ashburn 55
Chandler 39
Dong Ket 36
Lawrence 22
Millbury 21
Boston 18
Des Moines 13
Nanjing 11
Washington 9
Napoli 8
Ottawa 7
Fucecchio 6
Naples 6
Wilmington 5
Tianjin 4
Caserta 3
Fairfield 3
Hebei 3
San Giorgio A Cremano 3
Woodbridge 3
Anacapri 2
Beijing 2
Buffalo 2
Cava 2
Guangzhou 2
Redwood City 2
Shenyang 2
Andover 1
Brussels 1
Cava De' Tirreni 1
Cincinnati 1
Como 1
Geneva 1
Jiaxing 1
Milan 1
Moncalieri 1
Nanchang 1
Norwalk 1
Odesa 1
Panama City 1
Poggiomarino 1
Princeton 1
Pune 1
Redmond 1
Rome 1
Seattle 1
Tbilisi 1
Torre Del Greco 1
Véry 1
Totale 311
Salva come PNG Salva come JPEG
Nome #
The magnet of the scattering and neutrino detector for the SHiP experiment at CERN 55
Complexity analysis of a unifying algorithm for model checking interval temporal logic 28
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 27
Which fragments of the interval temporal logic HS are tractable in model checking? 26
Interval temporal logic model checking based on track bisimilarity and prefix sampling 26
On a temporal logic of prefixes and infixes 26
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 24
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 22
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 22
Evaluation of temporal datasets via interval temporal logic model checking 21
Interval vs. point temporal logic model checking: An expressiveness comparison 21
Undecidability of future timeline-based planning over dense temporal domains 21
Model Checking Timeline-based Systems over Dense Temporal Domains? 20
Ultimately-periodic interval model checking for temporal dataset evaluation 19
Complexity issues for timeline-based planning over dense time under future and minimal semantics 19
Interval temporal logic for visibly pushdown systems 17
Model checking interval temporal logics with regular expressions 17
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 16
Taming the complexity of timeline-based planning over dense temporal domains 16
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 14
Timeline-based planning over dense temporal domains 14
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 11
Pspace-completeness of the temporal logic of sub-intervals and suffixes 9
Decidability and complexity of timeline-based planning over dense temporal domains 3
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 2
Interval Temporal Logic for Visibly Pushdown Systems 1
Totale 497
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.418
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 2.418
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20194 0 0 0 0 0 0 0 0 0 0 0 4
2019/202034 18 0 0 0 1 0 2 1 2 1 5 4
2020/202182 1 1 3 0 1 9 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/2024113 5 26 2 27 12 26 5 2 7 1 0 0
Totale 497