ArTS Archivio della ricerca di Trieste

PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 264
NA - Nord America 151
AS - Asia 125
AF - Africa 3
OC - Oceania 2
SA - Sud America 2
Totale 547
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 150
IT - Italia 84
SE - Svezia 76
CH - Svizzera 71
HK - Hong Kong 57
CN - Cina 49
IN - India 12
FI - Finlandia 11
DE - Germania 10
FR - Francia 5
TR - Turchia 4
SN - Senegal 3
UA - Ucraina 3
BE - Belgio 2
BR - Brasile 2
SG - Singapore 2
AU - Australia 1
BD - Bangladesh 1
CA - Canada 1
NL - Olanda 1
NZ - Nuova Zelanda 1
PL - Polonia 1
Totale 547
Salva come PNG Salva come JPEG
Città #
Bern 71
Hong Kong 56
Beijing 36
Ashburn 32
Boardman 32
Columbus 21
Council Bluffs 17
Trieste 16
Pune 12
Seattle 11
Los Angeles 10
Helsinki 8
Milan 7
Münster 6
Treviso 6
Dakar 3
Istanbul 3
Lappeenranta 3
Monfalcone 3
Mont-sur-Marchienne 2
Naples 2
New York 2
Phoenix 2
Porcia 2
Rome 2
Rovereto 2
Venice 2
Americana 1
Auckland 1
Brisbane 1
Como 1
Gaggio 1
Mississauga 1
Nuremberg 1
Pisa 1
Rockville 1
San Marzano sul Sarno 1
Singapore 1
São Paulo 1
Trento 1
Udine 1
Warsaw 1
Totale 384
Salva come PNG Salva come JPEG
Nome #
Quantifying over Trees in Monadic Second-Order Logic 31
Interval temporal logic for visibly pushdown systems 23
Asynchronous Extensions of HyperLTL 22
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 21
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 21
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 21
Benchmarking management techniques for massive IIoT time series in a fog architecture 19
Taming Strategy Logic: Non-Recurrent Fragments 19
Undecidability of future timeline-based planning over dense temporal domains 18
Taming Strategy Logic: Non-Recurrent Fragments 17
The lecture video recording in university: A case study 17
Timeline-based planning over dense temporal domains 16
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 15
Context-free timed formalisms: Robust automata and linear temporal logics 15
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 15
Complexity analysis of a unifying algorithm for model checking interval temporal logic 15
Model checking interval temporal logics with regular expressions 15
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 15
Complexity issues for timeline-based planning over dense time under future and minimal semantics 14
Taming the complexity of timeline-based planning over dense temporal domains 14
A Quantitative Extension of Interval Temporal Logic over Infinite Words 14
Interval vs. point temporal logic model checking: An expressiveness comparison 13
Model Checking Timeline-based Systems over Dense Temporal Domains? 13
Complexity analysis of a unifying algorithm for model checking interval temporal logic 13
Parametric Interval Temporal Logic over Infinite Words 12
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 12
Interval Temporal Logic for Visibly Pushdown Systems 11
Which fragments of the interval temporal logic HS are tractable in model checking? 11
A knowledge based system for geophysical data interpretation 11
Inspecting Code Churns to Prioritize Test Cases 11
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 10
On a temporal logic of prefixes and infixes 10
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 9
A comparison of step-semantics of Statecharts, Theoretical Computer Science 8
2-Visibly Pushdown automata 8
Dynamic state machines for modelling railway control systems 8
Pspace-completeness of the temporal logic of sub-intervals and suffixes 8
Module Checking of Pushdown Multi-agent Systems 8
An interoperable testing environment for ERTMS/ETCS control systems 7
Analysis of Timed Recursive State Machines 7
A logical characterization of systolic languages 7
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 7
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 6
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 6
Checking Interval Properties of Computations 6
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 5
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 5
Low level processing techniques in geophysical image interpretation 4
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 4
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 4
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? 4
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis 3
Checking interval properties of computations 3
Statecharts, transition structures and transformations 2
Dynamic Hierachical Machines 2
A graph rewriting framework for Statecharts semantics 2
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 2
Dynamic State Machines for Formalizing Railway Control System Specifications 2
Pushdown Module Checking 2
Extending Kamp theorem with binary operators to model time granularity 2
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 2
Regression test prioritization leveraging source code similarity with tree kernels 1
Definability and decidability of binary predicates for time granularity 1
Timed context-free temporal logics 1
Timed protocols insecurity problem is NP-complete 1
The way to go: Multi-level temporal logics 1
Interval temporal logic model checking based on track bisimilarity and prefix sampling 1
Modeling railway control systems in promela 1
Pushdown Module Checking 1
TPMC: A model checker for time–sensitive security protocols 1
Totale 656
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.942
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 4.942
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/2024440 80 5 40 53 52 45 28 94 8 33 2 0
Totale 656