IRIS
BOZZELLI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.737
NA - Nord America 1.081
EU - Europa 1.040
SA - Sud America 193
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.077
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.050
SG - Singapore 1.014
RU - Federazione Russa 634
CN - Cina 382
IT - Italia 232
BR - Brasile 168
HK - Hong Kong 136
VN - Vietnam 120
FI - Finlandia 39
DE - Germania 29
GB - Regno Unito 21
KR - Corea 20
IE - Irlanda 16
CA - Canada 14
FR - Francia 14
IN - India 13
SE - Svezia 12
AR - Argentina 11
MX - Messico 10
BD - Bangladesh 7
IQ - Iraq 7
JP - Giappone 7
UA - Ucraina 7
BE - Belgio 6
NL - Olanda 6
AT - Austria 5
CI - Costa d'Avorio 5
LV - Lettonia 5
TR - Turchia 5
EC - Ecuador 4
PL - Polonia 4
ZA - Sudafrica 4
ES - Italia 3
ID - Indonesia 3
KE - Kenya 3
PY - Paraguay 3
UZ - Uzbekistan 3
AE - Emirati Arabi Uniti 2
CH - Svizzera 2
CL - Cile 2
CY - Cipro 2
DZ - Algeria 2
EG - Egitto 2
GE - Georgia 2
IR - Iran 2
LB - Libano 2
LT - Lituania 2
MA - Marocco 2
PA - Panama 2
PK - Pakistan 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
AM - Armenia 1
BB - Barbados 1
BO - Bolivia 1
BT - Bhutan 1
CU - Cuba 1
EU - Europa 1
GF - Guiana Francese 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LY - Libia 1
ML - Mali 1
MT - Malta 1
MY - Malesia 1
NG - Nigeria 1
PE - Perù 1
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
SA - Arabia Saudita 1
SN - Senegal 1
TZ - Tanzania 1
Totale 4.077
Salva come PNG Salva come JPEG
Città #
Singapore 522
Santa Clara 197
Moscow 160
Ashburn 154
Hong Kong 136
Hefei 133
Beijing 87
Naples 71
Chandler 63
Dong Ket 54
Los Angeles 35
Millbury 33
Boston 31
Lawrence 29
Ho Chi Minh City 24
Redondo Beach 24
Helsinki 23
Des Moines 22
Seoul 20
Buffalo 19
Hanoi 18
Nanjing 17
San Jose 16
Washington 15
Wilmington 13
São Paulo 12
Princeton 11
The Dalles 11
Anacapri 10
Napoli 10
Chicago 9
Falkenstein 9
Lappeenranta 9
Milan 9
New York 9
Jacksonville 8
Ottawa 8
Fairfield 7
Haiphong 7
Brussels 6
Houston 6
London 6
Woodbridge 6
Caserta 5
Cormeilles-en-Parisis 5
Dallas 5
Hebei 5
Nanchang 5
Rio de Janeiro 5
San Francisco 5
Tianjin 5
Amsterdam 4
Brasília 4
Da Nang 4
Frankfurt am Main 4
Guangzhou 4
Hangzhou 4
Porto Alegre 4
Rome 4
Seattle 4
Shenyang 4
Tokyo 4
Atlanta 3
Fortaleza 3
Guayaquil 3
Hiyoshi 3
Jiaxing 3
Leme 3
Manchester 3
Mexico City 3
Mumbai 3
Munich 3
Nairobi 3
Nuremberg 3
Orem 3
Ottaviano 3
Phoenix 3
Pittsburgh 3
Redwood City 3
Rio Claro 3
Salvador 3
San Giorgio A Cremano 3
Secaucus 3
Shanghai 3
Tashkent 3
Vietri sul Mare 3
Warsaw 3
Ahome 2
Ankara 2
Blumenau 2
Brooklyn 2
Cairo 2
Campo Grande 2
Cava 2
Chennai 2
Denver 2
Dublin 2
Erbil 2
Garanhuns 2
Gramado 2
Totale 2.254
Salva come PNG Salva come JPEG
Nome #
Verification of Well-Formed Communicating Recursive State Machines 105
Hierarchical cost-parity games 103
The complexity of model checking knowledge and time 103
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
Pushdown Module Checking 98
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 95
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 93
Verification of well-formed Communicating Recursive State Machines 92
Hierarchical cost-parity games 91
Event-Clock Nested Automata 89
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 88
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
Quantifying Over Trees in Monadic Second-Order Logic 85
Model Checking Timeline-based Systems over Dense Temporal Domains? 84
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
Full Characterisation of Extended CTL 79
Complexity issues for timeline-based planning over dense time under future and minimal semantics 79
Model checking interval temporal logics with regular expressions 78
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 77
Timed context-free temporal logics 77
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 77
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 76
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 76
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
On the complexity of ATL and ATL* module checking 74
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 73
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 73
Pushdown Module Checking 71
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 68
Complexity analysis of a unifying algorithm for model checking interval temporal logic 68
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
Model checking for Process Rewrite Systems and a class of action-based regular properties 63
Asynchronous Extensions of HyperLTL 63
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 62
Module Checking of Pushdown Multi-agent Systems 61
Context-free timed formalisms: Robust automata and linear temporal logics 61
Visibly Linear Temporal Logic 60
Decidability and complexity of timeline-based planning over dense temporal domains 59
Interval Temporal Logic for Visibly Pushdown Systems 58
Branching-time temporal logic extended with qualitative presburger constraints 57
Alternating-time temporal logics with linear past 57
Parametric Interval Temporal Logic over Infinite Words 54
A Quantitative Extension of Interval Temporal Logic over Infinite Words 53
Model checking for process rewrite systems and a class of action-based regular properties 48
On decidability of LTL model checking for process rewrite systems 48
Results on Alternating-Time Temporal Logics with Linear Past 48
On the Complexity of Model Checking Knowledge and Time 48
Controller synthesis for MTL specifications 44
Unifying Asynchronous Logics for Hyperproperties 41
Complexity results on branching-time pushdown model checking 35
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 4.193
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.988
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 14.988
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021107 0 0 0 0 0 0 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/20251.579 67 72 11 3 66 192 237 83 45 94 602 107
2025/20261.641 267 228 309 253 472 93 19 0 0 0 0 0
Totale 4.193