ArTS Archivio della ricerca di Trieste

PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.420
NA - Nord America 1.258
EU - Europa 741
SA - Sud America 363
AF - Africa 84
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.873
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.208
SG - Singapore 815
CN - Cina 583
HK - Hong Kong 352
BR - Brasile 291
KR - Corea 277
VN - Vietnam 193
IT - Italia 164
NL - Olanda 87
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 37
MA - Marocco 30
FI - Finlandia 27
BD - Bangladesh 24
MX - Messico 22
AR - Argentina 20
IQ - Iraq 16
AT - Austria 15
ID - Indonesia 15
TR - Turchia 15
PK - Pakistan 14
CA - Canada 13
JP - Giappone 13
EC - Ecuador 11
KE - Kenya 11
UA - Ucraina 11
ZA - Sudafrica 11
CO - Colombia 10
DZ - Algeria 9
ES - Italia 9
UZ - Uzbekistan 9
PH - Filippine 8
PY - Paraguay 8
VE - Venezuela 8
TN - Tunisia 7
JO - Giordania 6
IR - Iran 5
RO - Romania 5
UY - Uruguay 5
BE - Belgio 4
BO - Bolivia 4
EG - Egitto 4
HN - Honduras 4
MY - Malesia 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
AO - Angola 1
BB - Barbados 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 4.873
Salva come PNG Salva come JPEG
Città #
Singapore 478
Hong Kong 341
San Jose 341
Seoul 274
Hefei 203
Beijing 180
Boardman 156
Ashburn 127
Bern 71
Ho Chi Minh City 58
Columbus 55
Council Bluffs 48
Hanoi 45
Los Angeles 40
Chicago 36
Zgierz 32
Lauterbourg 31
Buffalo 30
Casablanca 30
Moscow 30
Trieste 26
São Paulo 25
The Dalles 25
Dallas 18
Santa Clara 18
Milan 17
Rio de Janeiro 15
Helsinki 14
Warsaw 14
New York 13
Pune 12
Redondo Beach 12
Seattle 12
Vienna 11
Brooklyn 10
Da Nang 10
Fort Worth 10
Lappeenranta 10
Mexico City 10
Munich 10
Chennai 9
London 9
Nairobi 9
Nuremberg 9
Orem 9
Haiphong 8
Springfield 8
Tashkent 8
Tokyo 8
Garland 7
Amsterdam 6
Fortaleza 6
Frankfurt am Main 6
Istanbul 6
Münster 6
Phoenix 6
Prineville 6
Stockholm 6
Treviso 6
Valeggio sul Mincio 6
Altoona 5
Amman 5
Baghdad 5
Biên Hòa 5
Dhaka 5
Los Lunas 5
Manila 5
Milwaukee 5
Naples 5
Ninh Bình 5
Porto Alegre 5
Salvador 5
Tehran 5
Asunción 4
Belo Horizonte 4
Bogotá 4
Dakar 4
Guayaquil 4
Hangzhou 4
Hải Dương 4
Ludhiana 4
Manchester 4
Montevideo 4
Montreal 4
Quito 4
Ribeirão Preto 4
San Francisco 4
Sorocaba 4
Aachen 3
Atlanta 3
Charlotte 3
Des Moines 3
Dublin 3
Johannesburg 3
Karachi 3
Kyiv 3
Lahore 3
Mauá 3
Medellín 3
Miano 3
Totale 3.203
Salva come PNG Salva come JPEG
Nome #
Taming Strategy Logic: Non-Recurrent Fragments 130
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 118
Context-free timed formalisms: Robust automata and linear temporal logics 117
Complexity issues for timeline-based planning over dense time under future and minimal semantics 116
Regression test prioritization leveraging source code similarity with tree kernels 106
Full Characterisation of Extended CTL* 104
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 99
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 96
Model checking interval temporal logics with regular expressions 95
Interval temporal logic for visibly pushdown systems 94
Quantifying over Trees in Monadic Second-Order Logic 94
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 93
Benchmarking management techniques for massive IIoT time series in a fog architecture 91
A Quantitative Extension of Interval Temporal Logic over Infinite Words 86
Taming the complexity of timeline-based planning over dense temporal domains 84
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 82
Module Checking of Pushdown Multi-agent Systems 80
Asynchronous Extensions of HyperLTL 79
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 79
Interval Temporal Logic for Visibly Pushdown Systems 78
Taming Strategy Logic: Non-Recurrent Fragments 77
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 76
Which fragments of the interval temporal logic HS are tractable in model checking? 74
Complexity analysis of a unifying algorithm for model checking interval temporal logic 73
Timeline-based planning over dense temporal domains 72
Pspace-completeness of the temporal logic of sub-intervals and suffixes 72
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? 72
Complexity analysis of a unifying algorithm for model checking interval temporal logic 71
On a temporal logic of prefixes and infixes 71
Interval vs. point temporal logic model checking: An expressiveness comparison 70
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 70
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 69
Parametric Interval Temporal Logic over Infinite Words 68
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 67
Undecidability of future timeline-based planning over dense temporal domains 66
The lecture video recording in university: A case study 66
Model Checking Timeline-based Systems over Dense Temporal Domains? 62
Inspecting Code Churns to Prioritize Test Cases 59
Event-Clock Nested Automata 50
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 49
A knowledge based system for geophysical data interpretation 46
An interoperable testing environment for ERTMS/ETCS control systems 43
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 39
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 38
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 38
A comparison of step-semantics of Statecharts, Theoretical Computer Science 38
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 38
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 37
2-Visibly Pushdown automata 36
Dynamic state machines for modelling railway control systems 35
Analysis of Timed Recursive State Machines 34
A logical characterization of systolic languages 34
The taming (timing) of states 33
A graph rewriting framework for Statecharts semantics 33
Checking Interval Properties of Computations 31
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 29
Decidable theories of omega-layered metric temporal structures 26
Extending Kamp theorem with binary operators to model time granularity 26
Modeling railway control systems in promela 26
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 25
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 24
Pushdown Module Checking 24
Verification of well-formed Communicating Recursive State Machines 23
Pushdown Module Checking 23
Checking interval properties of computations 23
On the undecidability of logics with nominals, recursion and counting 23
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 22
Timed protocols insecurity problem is NP-complete 22
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 22
Equivalences of Statecharts 21
Structural Model Checking for Communicating Hierarchical Machines 21
Low level processing techniques in geophysical image interpretation 21
Web and Wireless Geographical Information Systems11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 21
Extending Kamp theorem to linear orders with binary predicates to model time granularity 21
Timed protocols insecurity problem is NP-complete 21
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 20
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 20
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 20
Transformations of Timed Communicating Automata 20
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 20
Dynamic Hierachical Machines 19
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 19
TPMC: A model checker for time–sensitive security protocols 19
Transitions as interrupts: a new semantics for timed Statecharts 19
Web and wireless geographic information systems 18
Differential network analysis for the identification of condition-specific pathway activity and regulation 18
Definability and decidability of binary predicates for time granularity 17
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis 17
Interval temporal logic model checking based on track bisimilarity and prefix sampling 17
Ordered multi-stack visibly pushdown automata 17
Semantics of Statecharts based on graph rewriting 17
Timed Communicating Automata 17
Statecharts, transition structures and transformations 16
The Way to Go: Multi-Level Temporal Logics 16
Verification of Well-Formed Communicating Recursive State Machines 16
The taming (timing) of states 15
Timed context-free temporal logics 15
Logical definability of Y-tree and trellis systolic omega-languages 15
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 14
Totale 4.754
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.734
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 19.734
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.098 248 222 258 271 263 220 414 146 509 547 0 0
Totale 4.998