ArTS Archivio della ricerca di Trieste

PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 780
EU - Europa 499
NA - Nord America 441
SA - Sud America 126
AF - Africa 10
OC - Oceania 2
Totale 1.858
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 429
HK - Hong Kong 314
SG - Singapore 280
CN - Cina 129
IT - Italia 124
BR - Brasile 118
SE - Svezia 77
NL - Olanda 76
CH - Svizzera 71
RU - Federazione Russa 44
DE - Germania 38
FI - Finlandia 19
IN - India 16
AT - Austria 14
VN - Vietnam 9
GB - Regno Unito 8
CA - Canada 7
FR - Francia 7
PL - Polonia 7
TR - Turchia 7
BD - Bangladesh 6
UA - Ucraina 5
JP - Giappone 4
PK - Pakistan 3
SN - Senegal 3
ZA - Sudafrica 3
AR - Argentina 2
BE - Belgio 2
DZ - Algeria 2
IE - Irlanda 2
IQ - Iraq 2
MX - Messico 2
UY - Uruguay 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BB - Barbados 1
BO - Bolivia 1
BW - Botswana 1
BY - Bielorussia 1
CO - Colombia 1
EC - Ecuador 1
ES - Italia 1
ID - Indonesia 1
IS - Islanda 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KZ - Kazakistan 1
LB - Libano 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 1.858
Salva come PNG Salva come JPEG
Città #
Hong Kong 313
Boardman 155
Singapore 137
Bern 71
Hefei 64
Columbus 53
Ashburn 40
Beijing 39
Moscow 29
Council Bluffs 25
Trieste 25
São Paulo 14
Pune 12
Santa Clara 12
Los Angeles 11
Milan 11
Seattle 11
Helsinki 10
Munich 10
Vienna 10
Nuremberg 8
Dallas 7
Warsaw 7
Hanoi 6
Lappeenranta 6
Münster 6
New York 6
Treviso 6
Valeggio sul Mincio 6
Brooklyn 5
Istanbul 5
Rio de Janeiro 5
Naples 4
Aachen 3
Belo Horizonte 3
Chicago 3
Dakar 3
Dhaka 3
Monfalcone 3
North Vancouver 3
Oakland 3
Phoenix 3
Rome 3
San Francisco 3
San Michele al Tagliamento 3
Sorocaba 3
Venice 3
Dublin 2
Farra di Soligo 2
Fortaleza 2
João Pessoa 2
Kensington 2
Manchester 2
Mexico City 2
Mont-sur-Marchienne 2
Montevideo 2
Montreal 2
North Bergen 2
Osaka 2
Ourinhos 2
Palhoça 2
Pellezzano 2
Pikeville 2
Porcia 2
Praia Grande 2
Ribeirão das Neves 2
Rovereto 2
Salvador 2
Tashkent 2
Tokyo 2
Turku 2
Viamão 2
Algiers 1
Almaty 1
Alvorada 1
Americana 1
Amman 1
Amsterdam 1
Annapolis 1
Antioch 1
Araraquara 1
Auckland 1
Avellaneda 1
Baghdad 1
Baharampur 1
Basra 1
Betim 1
Blumenau 1
Boa Esperança 1
Brakpan 1
Brandenburg 1
Bridgetown 1
Brisbane 1
Cachoeiro de Itapemirim 1
Caetés 1
Cajazeiras 1
Campinas 1
Caraguatatuba 1
Carapicuíba 1
Cariacica 1
Totale 1.249
Salva come PNG Salva come JPEG
Nome #
Quantifying over Trees in Monadic Second-Order Logic 51
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 50
A Quantitative Extension of Interval Temporal Logic over Infinite Words 46
Context-free timed formalisms: Robust automata and linear temporal logics 42
Taming Strategy Logic: Non-Recurrent Fragments 42
Interval temporal logic for visibly pushdown systems 42
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 42
Asynchronous Extensions of HyperLTL 41
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 41
Benchmarking management techniques for massive IIoT time series in a fog architecture 38
Taming Strategy Logic: Non-Recurrent Fragments 38
Module Checking of Pushdown Multi-agent Systems 38
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 36
Complexity issues for timeline-based planning over dense time under future and minimal semantics 36
Regression test prioritization leveraging source code similarity with tree kernels 35
Interval vs. point temporal logic model checking: An expressiveness comparison 35
Model checking interval temporal logics with regular expressions 35
Interval Temporal Logic for Visibly Pushdown Systems 34
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 34
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 34
Full Characterisation of Extended CTL* 34
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 34
Complexity analysis of a unifying algorithm for model checking interval temporal logic 33
The lecture video recording in university: A case study 33
Taming the complexity of timeline-based planning over dense temporal domains 33
Timeline-based planning over dense temporal domains 32
Which fragments of the interval temporal logic HS are tractable in model checking? 29
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 29
Undecidability of future timeline-based planning over dense temporal domains 29
Model Checking Timeline-based Systems over Dense Temporal Domains? 28
Event-Clock Nested Automata 27
On a temporal logic of prefixes and infixes 27
Complexity analysis of a unifying algorithm for model checking interval temporal logic 27
Parametric Interval Temporal Logic over Infinite Words 26
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 23
An interoperable testing environment for ERTMS/ETCS control systems 22
A comparison of step-semantics of Statecharts, Theoretical Computer Science 22
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 22
A knowledge based system for geophysical data interpretation 22
Pspace-completeness of the temporal logic of sub-intervals and suffixes 21
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? 21
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 20
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 20
Inspecting Code Churns to Prioritize Test Cases 20
Dynamic state machines for modelling railway control systems 18
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 17
Analysis of Timed Recursive State Machines 17
Checking Interval Properties of Computations 17
A logical characterization of systolic languages 17
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 17
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 16
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 16
2-Visibly Pushdown automata 16
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 15
A graph rewriting framework for Statecharts semantics 12
Extending Kamp theorem with binary operators to model time granularity 12
Extending Kamp theorem to linear orders with binary predicates to model time granularity 12
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 11
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 10
Low level processing techniques in geophysical image interpretation 10
Modeling railway control systems in promela 10
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 9
Decidable theories of omega-layered metric temporal structures 9
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 9
Transitions as interrupts: a new semantics for timed Statecharts 9
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 8
Checking interval properties of computations 8
Dynamic Hierachical Machines 7
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 7
Timed protocols insecurity problem is NP-complete 7
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis 7
Differential network analysis for the identification of condition-specific pathway activity and regulation 7
Pushdown Module Checking 7
The taming (timing) of states 6
Statecharts, transition structures and transformations 6
The taming (timing) of states 6
Equivalences of Statecharts 6
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 6
Structural Model Checking for Communicating Hierarchical Machines 6
The Way to Go: Multi-Level Temporal Logics 6
Pushdown Module Checking 6
Transformations of Timed Communicating Automata 6
Verification of Well-Formed Communicating Recursive State Machines 6
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 6
The way to go: Multi-level temporal logics 6
Web and Wireless Geographical Information Systems11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 6
On the undecidability of logics with nominals, recursion and counting 6
Semantics of Statecharts based on graph rewriting 6
Theories of omega-layered metric temporal structures: expressiveness and decidability 6
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 6
Timed protocols insecurity problem is NP-complete 6
Timed Communicating Automata 6
Web and wireless geographic information systems 5
Definability and decidability of binary predicates for time granularity 5
Verification of well-formed Communicating Recursive State Machines 5
Timed context-free temporal logics 5
Systolic tree omega-languages 5
Dynamic State Machines for Formalizing Railway Control System Specifications 5
Logical definability of Y-tree and trellis systolic omega-languages 5
TPMC: A model checker for time–sensitive security protocols 5
Totale 1.915
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.783
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 12.783
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/202682 82 0 0 0 0 0 0 0 0 0 0 0
Totale 1.982