IRIS
BOZZELLI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.179
NA - Nord America 1.729
EU - Europa 1.122
SA - Sud America 220
AF - Africa 35
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.289
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.686
SG - Singapore 1.074
RU - Federazione Russa 634
CN - Cina 407
VN - Vietnam 351
IT - Italia 244
BR - Brasile 183
HK - Hong Kong 147
FR - Francia 66
JP - Giappone 54
FI - Finlandia 40
DE - Germania 34
KR - Corea 27
GB - Regno Unito 26
IN - India 24
CA - Canada 18
IE - Irlanda 17
BD - Bangladesh 15
IQ - Iraq 13
MX - Messico 12
SE - Svezia 12
AR - Argentina 11
PH - Filippine 9
NL - Olanda 8
CL - Cile 7
PK - Pakistan 7
UA - Ucraina 7
BE - Belgio 6
ZA - Sudafrica 6
AT - Austria 5
CI - Costa d'Avorio 5
EC - Ecuador 5
KE - Kenya 5
LV - Lettonia 5
MY - Malesia 5
PL - Polonia 5
PY - Paraguay 5
TR - Turchia 5
UZ - Uzbekistan 5
ID - Indonesia 4
MA - Marocco 4
TH - Thailandia 4
TT - Trinidad e Tobago 4
AU - Australia 3
DZ - Algeria 3
ES - Italia 3
IR - Iran 3
LB - Libano 3
LT - Lituania 3
SA - Arabia Saudita 3
TN - Tunisia 3
TW - Taiwan 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
CH - Svizzera 2
CO - Colombia 2
CY - Cipro 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
GE - Georgia 2
JM - Giamaica 2
JO - Giordania 2
PA - Panama 2
AM - Armenia 1
BB - Barbados 1
BM - Bermuda 1
BT - Bhutan 1
BY - Bielorussia 1
CU - Cuba 1
EU - Europa 1
GF - Guiana Francese 1
HR - Croazia 1
IL - Israele 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LY - Libia 1
ML - Mali 1
MT - Malta 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
PT - Portogallo 1
RO - Romania 1
SN - Senegal 1
TJ - Tagikistan 1
TZ - Tanzania 1
Totale 5.289
Salva come PNG Salva come JPEG
Città #
Singapore 577
San Jose 426
Ashburn 216
Santa Clara 197
Moscow 160
Hong Kong 140
Hefei 133
Beijing 93
Hanoi 81
Ho Chi Minh City 72
Naples 71
Chandler 63
Dong Ket 54
The Dalles 50
Lauterbourg 47
Tokyo 47
Los Angeles 35
Millbury 33
Boston 31
Lawrence 29
Redondo Beach 24
Des Moines 23
Helsinki 23
Buffalo 20
Haiphong 20
Seoul 20
Nanjing 17
Council Bluffs 15
Washington 15
São Paulo 13
Wilmington 13
Milan 11
New York 11
Princeton 11
Anacapri 10
Chicago 10
Lappeenranta 10
Napoli 10
Falkenstein 9
Da Nang 8
Jacksonville 8
Ottawa 8
Fairfield 7
Frankfurt am Main 7
Baghdad 6
Brussels 6
Dallas 6
Houston 6
London 6
San Francisco 6
Woodbridge 6
Amsterdam 5
Brasília 5
Caserta 5
Cormeilles-en-Parisis 5
Hebei 5
Nanchang 5
Rio de Janeiro 5
Rome 5
Shanghai 5
Tashkent 5
Tianjin 5
Atlanta 4
Fortaleza 4
Guangzhou 4
Hangzhou 4
Manchester 4
Nairobi 4
Nuremberg 4
Orem 4
Phoenix 4
Porto Alegre 4
Seattle 4
Shenyang 4
Warsaw 4
Asunción 3
Bến Tre 3
Chennai 3
Dublin 3
Guayaquil 3
Hiyoshi 3
Hải Dương 3
Jiaxing 3
Kuala Lumpur 3
Lahore 3
Leme 3
Mexico City 3
Montreal 3
Mumbai 3
Munich 3
Ottaviano 3
Phủ Lý 3
Pittsburgh 3
Port of Spain 3
Quezon City 3
Redwood City 3
Rio Claro 3
Salvador 3
San Giorgio A Cremano 3
Santiago 3
Totale 3.102
Salva come PNG Salva come JPEG
Nome #
Interval temporal logic model checking based on track bisimilarity and prefix sampling 138
Verification of Well-Formed Communicating Recursive State Machines 131
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 129
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 128
Hierarchical cost-parity games 123
Pushdown Module Checking 121
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 121
The complexity of model checking knowledge and time 121
Complexity analysis of a unifying algorithm for model checking interval temporal logic 121
Verification of well-formed Communicating Recursive State Machines 116
Which fragments of the interval temporal logic HS are tractable in model checking? 115
Event-Clock Nested Automata 115
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 114
Interval vs. point temporal logic model checking: An expressiveness comparison 109
Hierarchical cost-parity games 109
Timed context-free temporal logics 108
Quantifying Over Trees in Monadic Second-Order Logic 106
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 106
Model Checking Timeline-based Systems over Dense Temporal Domains? 105
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 104
Full Characterisation of Extended CTL 103
Interval temporal logic for visibly pushdown systems 103
Model checking interval temporal logics with regular expressions 103
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 102
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 100
Timeline-based planning over dense temporal domains 99
Taming the complexity of timeline-based planning over dense temporal domains 99
Complexity issues for timeline-based planning over dense time under future and minimal semantics 97
On the complexity of ATL and ATL* module checking 96
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 95
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 93
Complexity analysis of a unifying algorithm for model checking interval temporal logic 92
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 91
On a temporal logic of prefixes and infixes 90
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 89
Pushdown Module Checking 88
Asynchronous Extensions of HyperLTL 83
Alternating-time temporal logics with linear past 83
Undecidability of future timeline-based planning over dense temporal domains 82
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 79
Model checking for Process Rewrite Systems and a class of action-based regular properties 77
Module Checking of Pushdown Multi-agent Systems 76
Visibly Linear Temporal Logic 75
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 75
Decidability and complexity of timeline-based planning over dense temporal domains 73
Context-free timed formalisms: Robust automata and linear temporal logics 73
A Quantitative Extension of Interval Temporal Logic over Infinite Words 71
Parametric Interval Temporal Logic over Infinite Words 70
Interval Temporal Logic for Visibly Pushdown Systems 70
Branching-time temporal logic extended with qualitative presburger constraints 67
On decidability of LTL model checking for process rewrite systems 64
Unifying Asynchronous Logics for Hyperproperties 62
Controller synthesis for MTL specifications 56
Results on Alternating-Time Temporal Logics with Linear Past 56
On the Complexity of Model Checking Knowledge and Time 56
Model checking for process rewrite systems and a class of action-based regular properties 55
Complexity results on branching-time pushdown model checking 49
Pspace-completeness of the temporal logic of sub-intervals and suffixes 45
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete 28
Totale 5.405
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.588
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 17.588
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202158 0 0 0 0 0 0 0 0 0 0 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/20262.853 267 228 309 253 472 93 426 159 377 233 36 0
Totale 5.405