IRIS
BOZZELLI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 720
EU - Europa 290
AS - Asia 285
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.301
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 711
IT - Italia 179
SG - Singapore 155
CN - Cina 67
VN - Vietnam 54
FI - Finlandia 32
DE - Germania 16
IE - Irlanda 16
SE - Svezia 10
CA - Canada 8
FR - Francia 8
BE - Belgio 6
UA - Ucraina 6
CI - Costa d'Avorio 5
LV - Lettonia 5
GB - Regno Unito 4
IN - India 4
NL - Olanda 3
RU - Federazione Russa 3
IR - Iran 2
EU - Europa 1
GE - Georgia 1
HK - Hong Kong 1
PA - Panama 1
PL - Polonia 1
RO - Romania 1
TR - Turchia 1
Totale 1.301
Salva come PNG Salva come JPEG
Città #
Santa Clara 191
Singapore 127
Ashburn 74
Chandler 63
Dong Ket 54
Naples 39
Millbury 33
Lawrence 29
Boston 27
Des Moines 22
Helsinki 22
Nanjing 17
Washington 14
Wilmington 13
Princeton 11
Anacapri 10
Napoli 10
Beijing 8
Jacksonville 8
Ottawa 8
Fairfield 7
Brussels 6
Falkenstein 6
Woodbridge 6
Caserta 5
Cormeilles-en-Parisis 5
Hebei 5
Milan 5
Nanchang 5
Guangzhou 4
Shenyang 4
Tianjin 4
Amsterdam 3
Jiaxing 3
Lappeenranta 3
Redwood City 3
Rome 3
San Giorgio A Cremano 3
Vietri sul Mare 3
Buffalo 2
Cava 2
Dublin 2
Macerata Campania 2
Moscow 2
Munich 2
Ottaviano 2
Pescara 2
Portici 2
Sandston 2
Shanghai 2
Somma Vesuviana 2
Villa Literno 2
Andover 1
Arzano 1
Bari 1
Bologna 1
Capri 1
Caravaggio 1
Casagiove 1
Chengdu 1
Cincinnati 1
Como 1
Dallas 1
Florence 1
Frignano 1
Gesualdo 1
Hong Kong 1
Houston 1
Isernia 1
Kashan 1
Kronberg 1
Kunming 1
Los Angeles 1
Luoyang 1
Marcianise 1
Mogliano Veneto 1
Moncalieri 1
Mordano 1
New York 1
Nocera Inferiore 1
None 1
Norwalk 1
Nuremberg 1
Odesa 1
Panama City 1
Pioltello 1
Pune 1
Rennes 1
Saint-denis 1
San Vitaliano 1
Sezze 1
Solofra 1
Sorrento 1
Springfield 1
Tassullo 1
Tbilisi 1
Thiene 1
Venezia 1
Totale 935
Salva come PNG Salva come JPEG
Nome #
Hierarchical cost-parity games 48
Pushdown Module Checking 42
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 40
Complexity analysis of a unifying algorithm for model checking interval temporal logic 38
Hierarchical cost-parity games 38
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 37
Interval temporal logic model checking based on track bisimilarity and prefix sampling 37
Asynchronous Extensions of HyperLTL 37
The complexity of model checking knowledge and time 36
Complexity analysis of a unifying algorithm for model checking interval temporal logic 36
On a temporal logic of prefixes and infixes 35
Context-free timed formalisms: Robust automata and linear temporal logics 35
Event-Clock Nested Automata 34
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 34
Quantifying Over Trees in Monadic Second-Order Logic 33
Verification of Well-Formed Communicating Recursive State Machines 33
Which fragments of the interval temporal logic HS are tractable in model checking? 33
Module Checking of Pushdown Multi-agent Systems 33
Model Checking Timeline-based Systems over Dense Temporal Domains? 31
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 30
Interval vs. point temporal logic model checking: An expressiveness comparison 29
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 29
Undecidability of future timeline-based planning over dense temporal domains 28
Interval temporal logic for visibly pushdown systems 28
Complexity issues for timeline-based planning over dense time under future and minimal semantics 28
Alternating-time temporal logics with linear past 28
Verification of well-formed Communicating Recursive State Machines 27
Timed context-free temporal logics 27
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 26
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 25
Taming the complexity of timeline-based planning over dense temporal domains 25
Model checking interval temporal logics with regular expressions 25
On the complexity of ATL and ATL* module checking 24
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 24
Pushdown Module Checking 23
Timeline-based planning over dense temporal domains 23
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 22
Results on Alternating-Time Temporal Logics with Linear Past 22
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 19
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 17
Model checking for Process Rewrite Systems and a class of action-based regular properties 15
Pspace-completeness of the temporal logic of sub-intervals and suffixes 15
Decidability and complexity of timeline-based planning over dense temporal domains 12
A Quantitative Extension of Interval Temporal Logic over Infinite Words 11
On the Complexity of Model Checking Knowledge and Time 11
Parametric Interval Temporal Logic over Infinite Words 10
Branching-time temporal logic extended with qualitative presburger constraints 9
Visibly Linear Temporal Logic 9
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 9
Interval Temporal Logic for Visibly Pushdown Systems 9
Controller synthesis for MTL specifications 9
Model checking for process rewrite systems and a class of action-based regular properties 8
On decidability of LTL model checking for process rewrite systems 8
Complexity results on branching-time pushdown model checking 8
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 7
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 7
Full Characterisation of Extended CTL 5
Totale 1.381
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.502
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.502
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 0 0 0 0 0 2 0 2 0 4 9 7
2020/2021124 1 1 2 2 3 8 27 2 10 10 4 54
2021/2022219 3 0 3 3 4 15 8 10 26 14 44 89
2022/2023194 40 11 4 3 21 24 3 32 29 4 17 6
2023/2024300 9 37 17 38 22 43 7 1 36 8 52 30
2024/2025408 67 72 11 3 66 189 0 0 0 0 0 0
Totale 1.381