ArTS Archivio della ricerca di Trieste

NENZI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.336
EU - Europa 2.059
AS - Asia 1.661
SA - Sud America 199
Continente sconosciuto - Info sul continente non disponibili 169
AF - Africa 44
OC - Oceania 1
Totale 7.469
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.285
PL - Polonia 729
SG - Singapore 542
CN - Cina 396
IT - Italia 389
SE - Svezia 215
HK - Hong Kong 201
VN - Vietnam 162
BR - Brasile 157
FR - Francia 139
GB - Regno Unito 116
DE - Germania 112
KR - Corea 92
BD - Bangladesh 75
RU - Federazione Russa 58
TR - Turchia 57
UA - Ucraina 56
NL - Olanda 55
FI - Finlandia 40
BG - Bulgaria 35
IE - Irlanda 31
IN - India 29
CA - Canada 25
JP - Giappone 21
BE - Belgio 19
MX - Messico 13
MA - Marocco 12
AT - Austria 11
EC - Ecuador 11
PH - Filippine 11
EU - Europa 10
PK - Pakistan 10
ZA - Sudafrica 10
CH - Svizzera 9
AR - Argentina 7
CL - Cile 7
ES - Italia 7
ID - Indonesia 6
IL - Israele 6
PT - Portogallo 6
UZ - Uzbekistan 6
MY - Malesia 5
RO - Romania 5
SA - Arabia Saudita 5
TH - Thailandia 5
EG - Egitto 4
IQ - Iraq 4
LT - Lituania 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
BH - Bahrain 3
CO - Colombia 3
DZ - Algeria 3
GR - Grecia 3
IR - Iran 3
JM - Giamaica 3
KG - Kirghizistan 3
MD - Moldavia 3
NP - Nepal 3
PA - Panama 3
PE - Perù 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
BO - Bolivia 2
DK - Danimarca 2
GT - Guatemala 2
HR - Croazia 2
HU - Ungheria 2
KE - Kenya 2
LK - Sri Lanka 2
LU - Lussemburgo 2
MZ - Mozambico 2
PS - Palestinian Territory 2
PY - Paraguay 2
QA - Qatar 2
SN - Senegal 2
SR - Suriname 2
TN - Tunisia 2
AU - Australia 1
AZ - Azerbaigian 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
HN - Honduras 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
LV - Lettonia 1
ML - Mali 1
MV - Maldive 1
NG - Nigeria 1
NI - Nicaragua 1
SY - Repubblica araba siriana 1
SZ - Regno dello Swaziland 1
TG - Togo 1
TT - Trinidad e Tobago 1
Totale 7.308
Salva come PNG Salva come JPEG
Città #
Warsaw 703
Singapore 399
Ashburn 390
Fairfield 363
Woodbridge 247
Hong Kong 196
Chandler 191
Trieste 183
San Jose 182
Houston 171
Seattle 151
Ann Arbor 143
Wilmington 134
Cambridge 130
Hefei 117
Council Bluffs 94
Seoul 90
Beijing 87
Chicago 61
Jacksonville 58
Los Angeles 56
Boardman 55
Princeton 50
Ho Chi Minh City 47
Izmir 46
Hanoi 41
Columbus 40
Lauterbourg 37
Santa Clara 36
Sofia 35
The Dalles 35
Dublin 29
Milan 27
Dearborn 26
Zgierz 26
Munich 25
New York 25
Moscow 23
London 20
Buffalo 18
Helsinki 18
Frankfurt am Main 17
Bremen 16
Brussels 16
Dallas 16
Düsseldorf 15
Rome 15
São Paulo 15
Tokyo 15
San Diego 13
Elk Grove Village 12
Phoenix 12
Redondo Beach 11
Casablanca 10
Saarbrücken 9
Tampa 9
Amsterdam 8
Bern 8
Atlanta 7
Brasília 7
Johannesburg 7
Orem 7
Redwood City 7
Leça do Bailio 6
Manchester 6
Mestre 6
Montreal 6
Rio de Janeiro 6
Stockholm 6
Toronto 6
Biên Hòa 5
Da Nang 5
Denver 5
Falls Church 5
Kunming 5
Mexico City 5
Miano 5
Motta di Livenza 5
Nuremberg 5
Paris 5
Pittsburgh 5
Portsmouth 5
Salt Lake City 5
Shijiazhuang 5
Tashkent 5
Vienna 5
Ankara 4
Curitiba 4
Dhaka 4
Dong Ket 4
Farra di Soligo 4
Fortaleza 4
Fremont 4
Guayaquil 4
Haiphong 4
Jinan 4
Karachi 4
Lappeenranta 4
Mumbai 4
Nanjing 4
Totale 5.235
Salva come PNG Salva come JPEG
Nome #
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic 481
Qualitative and quantitative monitoring of spatio-temporal properties 479
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic 394
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 368
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 303
A robust genetic algorithm for learning temporal specifications from data 280
Signal Convolution Logic 272
A temporal logic approach to modular design of synthetic biological circuits 245
Analysis of spatio-temporal properties of stochastic systems using TSTL 239
System design of stochastic models using robustness of temporal properties 235
Modelling and Analysing Resilient Cyber-Physical Systems 217
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 215
Monitoring Spatio-Temporal Properties (Invited Tutorial) 209
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems 199
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming 197
jSSTL - A tool to monitor spatio-temporal properties 196
Model checking Markov population models by stochastic approximations 192
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic 190
Monitoring mobile and spatially distributed cyber-physical systems 178
Inferring analyzable models from trajectories of spatially-distributed internet of things 162
Is Machine Learning Model Checking Privacy Preserving? 159
null 158
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems 155
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes 152
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 147
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic 139
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series 131
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems 121
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data 115
MoonLight: a lightweight tool for monitoring spatio-temporal properties 113
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation 111
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems 107
Adaptable Configuration of Decentralized Monitors 101
Online monitoring of spatiooral properties for imprecise signals 100
WebMonitor: Verification of Web User Interfaces 94
On the Robustness of Temporal Properties for Stochastic Models 86
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk) 69
Software Verification and Formal Methods for ML-Enabled Autonomous Systems 65
Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter 30
Automated Monitoring of Web User Interfaces 25
Bayesian Machine Learning Meets Formal Methods: An Application to Spatio-Temporal Data 22
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata 18
Totale 7.469
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.563
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 20.563
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022368 0 0 20 39 15 54 41 21 59 35 29 55
2022/2023596 48 79 37 71 72 91 28 59 64 7 27 13
2023/2024291 21 10 8 15 27 34 43 67 6 17 19 24
2024/2025979 15 20 35 37 158 111 95 84 56 194 91 83
2025/20262.254 255 103 129 167 153 194 319 89 218 343 186 98
2026/2027251 113 114 24 0 0 0 0 0 0 0 0 0
Totale 7.469