PERON, ADRIANO
 Distribuzione geografica
Continente #
EU - Europa 268
AS - Asia 153
NA - Nord America 152
AF - Africa 3
OC - Oceania 2
SA - Sud America 2
Totale 580
Nazione #
US - Stati Uniti d'America 151
IT - Italia 85
SE - Svezia 76
CH - Svizzera 71
HK - Hong Kong 57
CN - Cina 49
SG - Singapore 30
FI - Finlandia 13
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
NL - Olanda 1
NZ - Nuova Zelanda 1
PL - Polonia 1
Totale 580
Città #
Bern 71
Hong Kong 56
Beijing 36
Ashburn 33
Boardman 32
Singapore 22
Columbus 21
Council Bluffs 17
Trieste 16
Pune 12
Seattle 11
Los Angeles 10
Helsinki 9
Milan 7
Münster 6
Treviso 6
Lappeenranta 4
Dakar 3
Istanbul 3
Monfalcone 3
Rome 3
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
Pisa 1
Rockville 1
San Marzano sul Sarno 1
São Paulo 1
Trento 1
Udine 1
Warsaw 1
Totale 409
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
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 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 20
Taming Strategy Logic: Non-Recurrent Fragments 19
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
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 16
Timeline-based planning over dense temporal domains 16
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 16
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
Complexity issues for timeline-based planning over dense time under future and minimal semantics 15
A Quantitative Extension of Interval Temporal Logic over Infinite Words 15
Model Checking Timeline-based Systems over Dense Temporal Domains? 14
Taming the complexity of timeline-based planning 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
Parametric Interval Temporal Logic over Infinite Words 12
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 12
Which fragments of the interval temporal logic HS are tractable in model checking? 11
On a temporal logic of prefixes and infixes 11
A knowledge based system for geophysical data interpretation 11
Inspecting Code Churns to Prioritize Test Cases 11
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 10
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 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
A logical characterization of systolic languages 8
Dynamic state machines for modelling railway control systems 8
Module Checking of Pushdown Multi-agent Systems 8
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 7
Analysis of Timed Recursive State Machines 7
Checking Interval Properties of Computations 7
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 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
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 6
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
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 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
Dynamic Hierachical Machines 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
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 689
Categoria #
all - tutte 5.683
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 5.683


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/2024473 80 5 40 53 52 45 28 94 8 33 31 4
Totale 689