ArTS Archivio della ricerca di Trieste

PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.536
NA - Nord America 1.552
EU - Europa 881
SA - Sud America 365
AF - Africa 84
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.425
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.485
SG - Singapore 822
CN - Cina 594
HK - Hong Kong 356
IT - Italia 301
BR - Brasile 292
KR - Corea 277
VN - Vietnam 193
BD - Bangladesh 117
NL - Olanda 88
SE - Svezia 82
CH - Svizzera 73
FR - Francia 61
PL - Polonia 49
RU - Federazione Russa 49
DE - Germania 48
IN - India 44
GB - Regno Unito 38
MA - Marocco 30
FI - Finlandia 27
CA - Canada 26
MX - Messico 24
AR - Argentina 20
IQ - Iraq 16
AT - Austria 15
ID - Indonesia 15
TR - Turchia 15
PK - Pakistan 14
JP - Giappone 13
CO - Colombia 11
EC - Ecuador 11
KE - Kenya 11
UA - Ucraina 11
ZA - Sudafrica 11
ES - Italia 10
DZ - Algeria 9
UZ - Uzbekistan 9
PH - Filippine 8
PY - Paraguay 8
VE - Venezuela 8
TN - Tunisia 7
JO - Giordania 6
IR - Iran 5
MY - Malesia 5
RO - Romania 5
UY - Uruguay 5
BE - Belgio 4
BO - Bolivia 4
EG - Egitto 4
HN - Honduras 4
SN - Senegal 4
AU - Australia 3
CL - Cile 3
CY - Cipro 3
IE - Irlanda 3
JM - Giamaica 3
NZ - Nuova Zelanda 3
OM - Oman 3
PE - Perù 3
SA - Arabia Saudita 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
CR - Costa Rica 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
KZ - Kazakistan 2
LY - Libia 2
MD - Moldavia 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
PS - Palestinian Territory 1
PT - Portogallo 1
RS - Serbia 1
SV - El Salvador 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.425
Salva come PNG Salva come JPEG
Città #
Singapore 481
San Jose 370
Hong Kong 344
Seoul 274
Ashburn 252
Hefei 204
Beijing 182
Boardman 156
Bern 71
Council Bluffs 58
Ho Chi Minh City 58
Columbus 55
Milan 55
Hanoi 45
Los Angeles 45
Chicago 39
Buffalo 34
Zgierz 32
Lauterbourg 31
Casablanca 30
Moscow 30
Trieste 29
New York 26
Miano 25
São Paulo 25
The Dalles 25
Dallas 24
Santa Clara 24
Naples 16
Rio de Janeiro 15
Helsinki 14
Warsaw 14
Mexico City 12
Pune 12
Redondo Beach 12
Seattle 12
Brooklyn 11
Vienna 11
Da Nang 10
Fort Worth 10
Lappeenranta 10
London 10
Munich 10
Chennai 9
Nairobi 9
Nuremberg 9
Orem 9
Haiphong 8
Rome 8
Springfield 8
Tashkent 8
Tokyo 8
Toronto 8
Garland 7
Phoenix 7
Amsterdam 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
Charlotte 5
Dhaka 5
Los Lunas 5
Manila 5
Milwaukee 5
Montreal 5
Ninh Bình 5
Porto Alegre 5
Salvador 5
Tehran 5
Asunción 4
Atlanta 4
Belo Horizonte 4
Bogotá 4
Cheyenne 4
Dakar 4
Des Moines 4
Guayaquil 4
Hangzhou 4
Hải Dương 4
Ludhiana 4
Manchester 4
Montevideo 4
Quito 4
Ribeirão Preto 4
San Francisco 4
Sorocaba 4
Aachen 3
Bologna 3
Denver 3
Dublin 3
Johannesburg 3
Totale 3.508
Salva come PNG Salva come JPEG
Nome #
Context-free timed formalisms: Robust automata and linear temporal logics 145
Taming Strategy Logic: Non-Recurrent Fragments 145
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 128
Complexity issues for timeline-based planning over dense time under future and minimal semantics 126
Interval temporal logic for visibly pushdown systems 114
Regression test prioritization leveraging source code similarity with tree kernels 111
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 111
Full Characterisation of Extended CTL* 110
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 104
Interval Temporal Logic for Visibly Pushdown Systems 101
Model checking interval temporal logics with regular expressions 100
Taming the complexity of timeline-based planning over dense temporal domains 100
Quantifying over Trees in Monadic Second-Order Logic 97
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 97
Inspecting Code Churns to Prioritize Test Cases 97
Benchmarking management techniques for massive IIoT time series in a fog architecture 94
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 93
A Quantitative Extension of Interval Temporal Logic over Infinite Words 93
Module Checking of Pushdown Multi-agent Systems 92
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 89
Complexity analysis of a unifying algorithm for model checking interval temporal logic 88
Taming Strategy Logic: Non-Recurrent Fragments 82
Which fragments of the interval temporal logic HS are tractable in model checking? 82
Timeline-based planning over dense temporal domains 82
Asynchronous Extensions of HyperLTL 80
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 80
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 78
The lecture video recording in university: A case study 78
Complexity analysis of a unifying algorithm for model checking interval temporal logic 77
On a temporal logic of prefixes and infixes 77
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 75
Pspace-completeness of the temporal logic of sub-intervals and suffixes 75
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? 75
Interval vs. point temporal logic model checking: An expressiveness comparison 73
Parametric Interval Temporal Logic over Infinite Words 73
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 72
Undecidability of future timeline-based planning over dense temporal domains 71
Model Checking Timeline-based Systems over Dense Temporal Domains? 68
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 51
Event-Clock Nested Automata 51
A knowledge based system for geophysical data interpretation 49
An interoperable testing environment for ERTMS/ETCS control systems 46
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 43
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 42
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 41
A comparison of step-semantics of Statecharts, Theoretical Computer Science 41
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 41
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 40
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 40
2-Visibly Pushdown automata 39
A logical characterization of systolic languages 38
Dynamic state machines for modelling railway control systems 38
A graph rewriting framework for Statecharts semantics 37
Analysis of Timed Recursive State Machines 37
The taming (timing) of states 33
Checking Interval Properties of Computations 33
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 32
Decidable theories of omega-layered metric temporal structures 28
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 28
Modeling railway control systems in promela 28
Pushdown Module Checking 28
Verification of well-formed Communicating Recursive State Machines 26
Pushdown Module Checking 26
Extending Kamp theorem with binary operators to model time granularity 26
Equivalences of Statecharts 25
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 25
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 25
Checking interval properties of computations 25
On the undecidability of logics with nominals, recursion and counting 25
Timed protocols insecurity problem is NP-complete 24
Verification of Well-Formed Communicating Recursive State Machines 24
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 24
Structural Model Checking for Communicating Hierarchical Machines 23
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 23
Web and Wireless Geographical Information Systems11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 23
Extending Kamp theorem to linear orders with binary predicates to model time granularity 23
Timed protocols insecurity problem is NP-complete 23
TPMC: A model checker for time–sensitive security protocols 23
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 22
Transformations of Timed Communicating Automata 22
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 22
Web and wireless geographic information systems 21
Low level processing techniques in geophysical image interpretation 21
Differential network analysis for the identification of condition-specific pathway activity and regulation 21
Ordered multi-stack visibly pushdown automata 21
Transitions as interrupts: a new semantics for timed Statecharts 21
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 20
Definability and decidability of binary predicates for time granularity 19
Dynamic Hierachical Machines 19
The Way to Go: Multi-Level Temporal Logics 19
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis 19
Interval temporal logic model checking based on track bisimilarity and prefix sampling 19
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 19
Timed Communicating Automata 19
Statecharts, transition structures and transformations 18
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 17
Timed context-free temporal logics 17
Logical definability of Y-tree and trellis systolic omega-languages 17
Semantics of Statecharts based on graph rewriting 17
The taming (timing) of states 16
Totale 5.256
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.143
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 22.143
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.193 11 41 49 41 133 76 130 49 109 254 104 196
2025/20263.653 248 222 258 271 263 220 414 146 509 648 219 235
Totale 5.553