IRIS
BOZZELLI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 733
AS - Asia 376
EU - Europa 291
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.406
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 724
IT - Italia 180
SG - Singapore 156
HK - Hong Kong 91
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
PA - Panama 1
PL - Polonia 1
RO - Romania 1
TR - Turchia 1
Totale 1.406
Salva come PNG Salva come JPEG
Città #
Santa Clara 191
Singapore 128
Hong Kong 91
Ashburn 75
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
Seattle 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
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
Seriate 1
Sezze 1
Solofra 1
Sorrento 1
Springfield 1
Tassullo 1
Tbilisi 1
Thiene 1
Venezia 1
Totale 1.032
Salva come PNG Salva come JPEG
Nome #
Hierarchical cost-parity games 50
Pushdown Module Checking 44
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 43
Interval temporal logic model checking based on track bisimilarity and prefix sampling 40
Complexity analysis of a unifying algorithm for model checking interval temporal logic 40
Hierarchical cost-parity games 40
Asynchronous Extensions of HyperLTL 40
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 39
The complexity of model checking knowledge and time 38
On a temporal logic of prefixes and infixes 38
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 37
Context-free timed formalisms: Robust automata and linear temporal logics 37
Quantifying Over Trees in Monadic Second-Order Logic 36
Event-Clock Nested Automata 36
Complexity analysis of a unifying algorithm for model checking interval temporal logic 36
Verification of Well-Formed Communicating Recursive State Machines 35
Which fragments of the interval temporal logic HS are tractable in model checking? 35
Module Checking of Pushdown Multi-agent Systems 35
Model Checking Timeline-based Systems over Dense Temporal Domains? 33
Interval vs. point temporal logic model checking: An expressiveness comparison 32
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 32
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 31
Undecidability of future timeline-based planning over dense temporal domains 31
Interval temporal logic for visibly pushdown systems 30
Complexity issues for timeline-based planning over dense time under future and minimal semantics 30
Verification of well-formed Communicating Recursive State Machines 29
Timed context-free temporal logics 29
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 28
Taming the complexity of timeline-based planning over dense temporal domains 28
Alternating-time temporal logics with linear past 28
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 27
Model checking interval temporal logics with regular expressions 27
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 26
Pushdown Module Checking 25
Timeline-based planning over dense temporal domains 25
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 24
On the complexity of ATL and ATL* module checking 24
Results on Alternating-Time Temporal Logics with Linear Past 24
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 19
Pspace-completeness of the temporal logic of sub-intervals and suffixes 17
Model checking for Process Rewrite Systems and a class of action-based regular properties 16
Decidability and complexity of timeline-based planning over dense temporal domains 14
A Quantitative Extension of Interval Temporal Logic over Infinite Words 13
On the Complexity of Model Checking Knowledge and Time 13
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 12
Interval Temporal Logic for Visibly Pushdown Systems 12
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 10
Parametric Interval Temporal Logic over Infinite Words 10
Branching-time temporal logic extended with qualitative presburger constraints 9
Visibly Linear Temporal Logic 9
Model checking for process rewrite systems and a class of action-based regular properties 9
On decidability of LTL model checking for process rewrite systems 9
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 9
Controller synthesis for MTL specifications 9
Full Characterisation of Extended CTL 8
Complexity results on branching-time pushdown model checking 8
Totale 1.487
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.842
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.842
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202022 0 0 0 0 0 0 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/2025514 67 72 11 3 66 192 103 0 0 0 0 0
Totale 1.487