ArTS Archivio della ricerca di Trieste

PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.554
NA - Nord America 2.134
EU - Europa 1.036
SA - Sud America 368
Continente sconosciuto - Info sul continente non disponibili 134
AF - Africa 84
OC - Oceania 6
Totale 6.316
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.044
SG - Singapore 826
CN - Cina 602
IT - Italia 448
HK - Hong Kong 357
BR - Brasile 294
KR - Corea 273
VN - Vietnam 195
BD - Bangladesh 121
NL - Olanda 89
SE - Svezia 83
CH - Svizzera 73
FR - Francia 61
PL - Polonia 49
RU - Federazione Russa 49
DE - Germania 48
IN - India 44
GB - Regno Unito 39
CA - Canada 37
MA - Marocco 30
FI - Finlandia 28
MX - Messico 25
AR - Argentina 20
ID - Indonesia 17
AT - Austria 15
IQ - Iraq 15
TR - Turchia 15
PK - Pakistan 14
ES - Italia 13
JP - Giappone 13
CO - Colombia 12
UA - Ucraina 12
EC - Ecuador 11
KE - Kenya 11
ZA - Sudafrica 11
DZ - Algeria 9
PH - Filippine 9
UZ - Uzbekistan 9
VE - Venezuela 8
JM - Giamaica 7
PY - Paraguay 7
TN - Tunisia 7
JO - Giordania 6
HN - Honduras 5
IR - Iran 5
MY - Malesia 5
RO - Romania 5
UY - Uruguay 5
BE - Belgio 4
BO - Bolivia 4
EG - Egitto 4
PE - Perù 4
SA - Arabia Saudita 4
SN - Senegal 4
AU - Australia 3
CL - Cile 3
CR - Costa Rica 3
CY - Cipro 3
IE - Irlanda 3
NZ - Nuova Zelanda 3
OM - Oman 3
SK - Slovacchia (Repubblica Slovacca) 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AZ - Azerbaigian 2
BG - Bulgaria 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
GT - Guatemala 2
KZ - Kazakistan 2
LY - Libia 2
MD - Moldavia 2
NI - Nicaragua 2
NP - Nepal 2
SY - Repubblica araba siriana 2
TW - Taiwan 2
AG - Antigua e Barbuda 1
AO - Angola 1
BB - Barbados 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
GE - Georgia 1
GR - Grecia 1
IL - Israele 1
IS - Islanda 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LT - Lituania 1
LV - Lettonia 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
SV - El Salvador 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
Totale 6.182
Salva come PNG Salva come JPEG
Città #
Singapore 483
San Jose 391
Ashburn 356
Hong Kong 345
Seoul 272
Council Bluffs 206
Hefei 204
Beijing 183
Boardman 155
Staranzano 110
Columbus 87
Bern 71
Milan 67
Ho Chi Minh City 60
Los Angeles 54
Santa Clara 50
Hanoi 46
Chicago 44
Buffalo 34
Trieste 33
New York 32
Zgierz 32
Lauterbourg 31
Casablanca 30
Dallas 30
Moscow 30
São Paulo 26
The Dalles 25
Miano 24
Naples 21
Helsinki 15
Rio de Janeiro 15
Rome 15
Mexico City 14
Warsaw 14
Seattle 13
Brooklyn 12
Pune 12
Redondo Beach 12
Vienna 11
Da Nang 10
Fort Worth 10
Lappeenranta 10
London 10
Munich 10
Phoenix 10
Chennai 9
Nairobi 9
Nuremberg 9
Orem 9
Toronto 9
Garland 8
Haiphong 8
Springfield 8
Tashkent 8
Tokyo 8
Amsterdam 6
Atlanta 6
Charlotte 6
Fortaleza 6
Frankfurt am Main 6
Istanbul 6
Münster 6
Prineville 6
Stockholm 6
Treviso 6
Valeggio sul Mincio 6
Altoona 5
Amman 5
Baghdad 5
Biên Hòa 5
Denver 5
Des Moines 5
Dhaka 5
Los Lunas 5
Manila 5
Milwaukee 5
Montreal 5
Ninh Bình 5
Porto Alegre 5
Princeton 5
Salvador 5
San Francisco 5
Tehran 5
Abbeville 4
Asunción 4
Belo Horizonte 4
Bogotá 4
Bologna 4
Cheyenne 4
Cleveland 4
Dakar 4
Detroit 4
Guayaquil 4
Hangzhou 4
Houston 4
Hải Dương 4
Ludhiana 4
Manchester 4
Montevideo 4
Totale 4.025
Salva come PNG Salva come JPEG
Nome #
Taming Strategy Logic: Non-Recurrent Fragments 154
Context-free timed formalisms: Robust automata and linear temporal logics 152
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 139
Complexity issues for timeline-based planning over dense time under future and minimal semantics 137
Interval temporal logic for visibly pushdown systems 124
Full Characterisation of Extended CTL* 121
Regression test prioritization leveraging source code similarity with tree kernels 120
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 120
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 113
Interval Temporal Logic for Visibly Pushdown Systems 112
Model checking interval temporal logics with regular expressions 111
Taming the complexity of timeline-based planning over dense temporal domains 109
Module Checking of Pushdown Multi-agent Systems 107
Inspecting Code Churns to Prioritize Test Cases 106
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 105
Benchmarking management techniques for massive IIoT time series in a fog architecture 104
Quantifying over Trees in Monadic Second-Order Logic 103
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 101
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 100
A Quantitative Extension of Interval Temporal Logic over Infinite Words 99
Timeline-based planning over dense temporal domains 98
Complexity analysis of a unifying algorithm for model checking interval temporal logic 96
Taming Strategy Logic: Non-Recurrent Fragments 95
The lecture video recording in university: A case study 93
Model Checking Timeline-based Systems over Dense Temporal Domains? 91
Which fragments of the interval temporal logic HS are tractable in model checking? 90
Asynchronous Extensions of HyperLTL 88
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 88
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? 88
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 86
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 85
On a temporal logic of prefixes and infixes 84
Complexity analysis of a unifying algorithm for model checking interval temporal logic 83
Pspace-completeness of the temporal logic of sub-intervals and suffixes 82
Interval vs. point temporal logic model checking: An expressiveness comparison 80
Undecidability of future timeline-based planning over dense temporal domains 80
Parametric Interval Temporal Logic over Infinite Words 79
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 77
Event-Clock Nested Automata 55
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 53
A knowledge based system for geophysical data interpretation 53
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 50
An interoperable testing environment for ERTMS/ETCS control systems 48
A comparison of step-semantics of Statecharts, Theoretical Computer Science 48
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 47
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 44
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 44
2-Visibly Pushdown automata 43
Dynamic state machines for modelling railway control systems 43
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 42
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 42
Checking Interval Properties of Computations 41
A logical characterization of systolic languages 41
A graph rewriting framework for Statecharts semantics 40
Analysis of Timed Recursive State Machines 40
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 38
The taming (timing) of states 37
On the undecidability of logics with nominals, recursion and counting 37
Pushdown Module Checking 36
Timed protocols insecurity problem is NP-complete 35
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 35
Pushdown Module Checking 34
Verification of well-formed Communicating Recursive State Machines 32
Decidable theories of omega-layered metric temporal structures 32
Modeling railway control systems in promela 32
Definability and decidability of binary predicates for time granularity 31
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 31
Transformations of Timed Communicating Automata 30
Verification of Well-Formed Communicating Recursive State Machines 30
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 30
Checking interval properties of computations 30
Extending Kamp theorem to linear orders with binary predicates to model time granularity 30
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 29
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 29
Equivalences of Statecharts 28
Structural Model Checking for Communicating Hierarchical Machines 28
Extending Kamp theorem with binary operators to model time granularity 28
Web and wireless geographic information systems 27
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 27
Differential network analysis for the identification of condition-specific pathway activity and regulation 27
Web and Wireless Geographical Information Systems11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 27
TPMC: A model checker for time–sensitive security protocols 27
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 26
Low level processing techniques in geophysical image interpretation 26
Ordered multi-stack visibly pushdown automata 26
Transitions as interrupts: a new semantics for timed Statecharts 26
Timed Communicating Automata 26
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 25
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 24
Logical definability of Y-tree and trellis systolic omega-languages 24
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 24
Dynamic Hierachical Machines 23
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis 23
Interval temporal logic model checking based on track bisimilarity and prefix sampling 23
Application of Computer Vision to the Automated Extraction of Metadata from Natural History Specimen Labels: A Case Study on Herbarium Specimens 23
Timed context-free temporal logics 22
The Way to Go: Multi-Level Temporal Logics 21
Dynamical Hierachical Machines 20
Systolic tree omega-languages: the operational and the logical view 20
Semantics of Statecharts based on graph rewriting 20
Totale 5.933
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.557
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 24.557
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023216 0 0 19 28 0 19 6 78 56 2 4 4
2023/2024491 80 5 40 53 52 45 28 94 8 33 31 22
2024/20251.187 11 41 49 41 133 75 130 48 108 252 104 195
2025/20263.636 247 222 257 270 262 218 412 146 505 645 217 235
2026/2027786 197 238 351 0 0 0 0 0 0 0 0 0
Totale 6.316