ArTS Archivio della ricerca di Trieste

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