ArTS Archivio della ricerca di Trieste

NENZI, LAURA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.988
EU - Europa 1.963
AS - Asia 1.552
SA - Sud America 191
AF - Africa 44
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 1
Totale 6.749
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.951
PL - Polonia 729
SG - Singapore 529
CN - Cina 376
IT - Italia 299
SE - Svezia 213
HK - Hong Kong 193
VN - Vietnam 162
BR - Brasile 152
FR - Francia 138
GB - Regno Unito 116
DE - Germania 111
KR - Corea 91
RU - Federazione Russa 58
TR - Turchia 57
UA - Ucraina 56
NL - Olanda 54
FI - Finlandia 40
BG - Bulgaria 35
IE - Irlanda 31
IN - India 29
JP - Giappone 21
BE - Belgio 19
CA - Canada 19
MA - Marocco 12
MX - Messico 12
AT - Austria 11
BD - Bangladesh 11
EC - Ecuador 11
PH - Filippine 11
EU - Europa 10
PK - Pakistan 10
ZA - Sudafrica 10
CH - Svizzera 9
AR - Argentina 7
ES - Italia 7
CL - Cile 6
ID - Indonesia 6
IL - Israele 6
PT - Portogallo 6
UZ - Uzbekistan 6
MY - Malesia 5
RO - Romania 5
SA - Arabia Saudita 5
EG - Egitto 4
IQ - Iraq 4
LT - Lituania 4
TH - Thailandia 4
VE - Venezuela 4
BH - Bahrain 3
DZ - Algeria 3
GR - Grecia 3
IR - Iran 3
KG - Kirghizistan 3
MD - Moldavia 3
PA - Panama 3
PE - Perù 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
DK - Danimarca 2
HU - Ungheria 2
JM - Giamaica 2
KE - Kenya 2
LK - Sri Lanka 2
LU - Lussemburgo 2
MZ - Mozambico 2
NP - Nepal 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
CO - Colombia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
HR - Croazia 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
ML - Mali 1
MV - Maldive 1
NG - Nigeria 1
SY - Repubblica araba siriana 1
SZ - Regno dello Swaziland 1
TG - Togo 1
TT - Trinidad e Tobago 1
UG - Uganda 1
UY - Uruguay 1
Totale 6.749
Salva come PNG Salva come JPEG
Città #
Warsaw 702
Singapore 392
Fairfield 363
Ashburn 322
Woodbridge 247
Chandler 191
Hong Kong 188
Houston 169
San Jose 154
Trieste 152
Seattle 150
Ann Arbor 143
Wilmington 134
Cambridge 130
Hefei 117
Seoul 90
Beijing 80
Chicago 61
Jacksonville 57
Boardman 55
Princeton 50
Los Angeles 49
Ho Chi Minh City 47
Izmir 46
Hanoi 41
Lauterbourg 37
Sofia 35
The Dalles 35
Dublin 29
Santa Clara 29
Columbus 27
Dearborn 26
Zgierz 26
Munich 25
Moscow 23
Council Bluffs 22
London 20
Buffalo 18
Helsinki 18
Frankfurt am Main 17
New York 17
Bremen 16
Brussels 16
Düsseldorf 15
Tokyo 15
São Paulo 14
Milan 13
San Diego 13
Dallas 11
Redondo Beach 11
Casablanca 10
Phoenix 10
Rome 10
Saarbrücken 9
Tampa 9
Amsterdam 8
Bern 8
Brasília 7
Johannesburg 7
Redwood City 7
Atlanta 6
Leça do Bailio 6
Manchester 6
Mestre 6
Montreal 6
Orem 6
Rio de Janeiro 6
Stockholm 6
Biên Hòa 5
Da Nang 5
Denver 5
Elk Grove Village 5
Falls Church 5
Kunming 5
Mexico City 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
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
North Bergen 4
Santiago 4
Shenzhen 4
Totale 4.935
Salva come PNG Salva come JPEG
Nome #
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic 467
Qualitative and quantitative monitoring of spatio-temporal properties 459
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic 382
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 352
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits 290
A robust genetic algorithm for learning temporal specifications from data 264
Signal Convolution Logic 258
A temporal logic approach to modular design of synthetic biological circuits 234
Analysis of spatio-temporal properties of stochastic systems using TSTL 233
System design of stochastic models using robustness of temporal properties 222
Modelling and Analysing Resilient Cyber-Physical Systems 208
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 207
Monitoring Spatio-Temporal Properties (Invited Tutorial) 202
jSSTL - A tool to monitor spatio-temporal properties 195
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems 194
Model checking Markov population models by stochastic approximations 186
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic 182
Monitoring mobile and spatially distributed cyber-physical systems 173
null 158
Inferring analyzable models from trajectories of spatially-distributed internet of things 157
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems 145
Is Machine Learning Model Checking Privacy Preserving? 141
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes 140
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 132
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming 130
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series 118
One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems 106
BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data 105
Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems 101
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic 100
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation 99
Adaptable Configuration of Decentralized Monitors 94
MoonLight: a lightweight tool for monitoring spatio-temporal properties 93
Online monitoring of spatiooral properties for imprecise signals 87
On the Robustness of Temporal Properties for Stochastic Models 82
WebMonitor: Verification of Web User Interfaces 77
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk) 63
Software Verification and Formal Methods for ML-Enabled Autonomous Systems 61
Totale 6.897
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.073
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 18.073
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021128 0 0 0 0 0 0 0 0 0 49 27 52
2021/2022427 30 29 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/20261.933 255 103 129 167 153 194 319 89 218 306 0 0
Totale 6.897