ArTS Archivio della ricerca di Trieste

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