IRIS
PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.524
EU - Europa 1.019
AS - Asia 268
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 2.830
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.502
IT - Italia 580
CN - Cina 179
UA - Ucraina 105
FI - Finlandia 81
SE - Svezia 71
DE - Germania 63
IE - Irlanda 63
VN - Vietnam 60
CA - Canada 19
GB - Regno Unito 15
CI - Costa d'Avorio 11
FR - Francia 11
IN - India 9
TR - Turchia 8
BE - Belgio 6
LV - Lettonia 5
NG - Nigeria 5
NL - Olanda 5
TW - Taiwan 5
SG - Singapore 3
BZ - Belize 2
ES - Italia 2
EU - Europa 2
HU - Ungheria 2
IR - Iran 2
PL - Polonia 2
RO - Romania 2
RS - Serbia 2
AL - Albania 1
GE - Georgia 1
JO - Giordania 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
RU - Federazione Russa 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 2.830
Salva come PNG Salva come JPEG
Città #
Chandler 287
Jacksonville 112
Ashburn 100
Millbury 100
Naples 92
Princeton 79
Boston 73
Nanjing 63
Napoli 61
Dong Ket 60
Wilmington 44
Des Moines 39
Lawrence 34
Beijing 25
Ottawa 18
Nanchang 17
Shenyang 15
Fairfield 14
Hebei 14
Tianjin 12
Woodbridge 12
Jiaxing 11
Washington 11
Casalnuovo Di Napoli 10
Ann Arbor 9
Sorrento 9
Boardman 8
Caserta 8
Norwalk 8
Redwood City 8
Dublin 7
Houston 7
Milan 7
None 7
Rome 7
Brussels 6
Kronberg 6
Salerno 6
Villaricca 6
Amsterdam 5
Cormeilles-en-Parisis 5
Detroit 5
El Segundo 5
Indiana 5
Marigliano 5
Mercato San Severino 5
San Giorgio A Cremano 5
Taipei 5
Bacoli 4
Fuzhou 4
New York 4
San Nicola la Strada 4
Trentola-Ducenta 4
Anacapri 3
Cava De' Tirreni 3
Frankfurt am Main 3
Giugliano in Campania 3
Guangzhou 3
Hangzhou 3
Kunming 3
Los Angeles 3
Montesarchio 3
Nocera Inferiore 3
Nola 3
Orange 3
Pune 3
Reggio Calabria 3
San Vitaliano 3
Torino 3
Bari 2
Belgrade 2
Belize City 2
Budapest 2
Buffalo 2
Busto Arsizio 2
Castellammare di Stabia 2
Catania 2
Cava 2
Düsseldorf 2
Helsinki 2
Karlsruhe 2
Lanzhou 2
Lappeenranta 2
Lucca 2
Macerata 2
Marcianise 2
Monte Di Procida 2
Nocera Superiore 2
Nuremberg 2
Orta di Atella 2
Ottaviano 2
Paris 2
Pescara 2
Piombino 2
Port Harcourt 2
Portici 2
San Gennaro Vesuviano 2
Santa Maria 2
Selargius 2
Singapore 2
Totale 1.587
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 159
From Dynamic State Machines to Promela 87
Modeling railway control systems in promela 78
2-Visibly Pushdown automata 75
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012). 72
Dynamic State Machines for Formalizing Railway Control System Specifications 60
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 55
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 45
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 45
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 45
DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY 41
Analysis of Timed Recursive State Machines 41
Inspecting Code Churns to Prioritize Test Cases 39
Benchmarking management techniques for massive IIoT time series in a fog architecture 39
Change-Aware Regression Test Prioritization using Genetic Algorithms 37
A comparison of step-semantics of Statecharts, Theoretical Computer Science 37
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 36
Pushdown Module Checking 35
Timed HLPSL for specification and verification of time sensitive protocols 35
Timed protocols insecurity problem is NP-complete 35
Timed HLPSL for specification and verification of time sensitive protocols 34
Checking interval properties of computations 34
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 33
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 32
Complexity analysis of a unifying algorithm for model checking interval temporal logic 32
TPMC: A Model Checker for Time-Sensitive Security Protocols 31
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 30
On the undecidability of logics with nominals, recursion and counting 28
Timed protocols insecurity problem is NP-complete 28
Complexity analysis of a unifying algorithm for model checking interval temporal logic 28
Asynchronous Extensions of HyperLTL 28
An interoperable testing environment for ERTMS/ETCS control systems 27
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 27
Which fragments of the interval temporal logic HS are tractable in model checking? 26
Interval temporal logic model checking based on track bisimilarity and prefix sampling 26
On a temporal logic of prefixes and infixes 26
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis. 25
Checking Interval Properties of Computations 25
Event-Clock Nested Automata 25
Differential network analysis for the identification of condition-specific pathway activity and regulation. 24
Ordered multi-stack visibly pushdown automata 24
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 24
ReCover: A Curated Dataset for Regression Testing Research 23
Verification of Well-Formed Communicating Recursive State Machines 23
The taming (timing) of states 23
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 23
Module Checking of Pushdown Multi-agent Systems 23
Theories of omega-layered metric temporal structures: expressiveness and decidability 22
Logical definability of Y-tree and trellis systolic omega-languages 22
The Way to Go: Multi-Level Temporal Logics 22
The taming (timing) of states 22
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 22
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 22
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 22
Context-free timed formalisms: Robust automata and linear temporal logics 22
Timed Communicating Automata 21
Web and wireless geographic information systems 21
Interval vs. point temporal logic model checking: An expressiveness comparison 21
The lecture video recording in university: A case study 21
Undecidability of future timeline-based planning over dense temporal domains 21
Dynamical Hierachical Machines 20
Timed Communicating Automata 20
Systolic tree omega-languages: the operational and the logical view 20
Transformations of Timed Communicating Automata 20
A logical characterization of systolic languages 20
Games, Automata, Logics and Formal Verification (GandALF 2014) – Preface 20
Model Checking Timeline-based Systems over Dense Temporal Domains? 20
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 20
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 19
Timed protocol insecurity problem is NP-complete 19
A graph rewriting framework for Statecharts semantics 19
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 19
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 19
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 19
Timed context-free temporal logics 19
Complexity issues for timeline-based planning over dense time under future and minimal semantics 19
Specification and verification of protocols with time constraints 18
Definability and decidability of binary predicates for time granularity 18
Verification of well-formed Communicating Recursive State Machines 18
Pushdown Module Checking 18
Representing and reasoning about temporal granulariries 17
Extending Kamp theorem to linear orders with binary predicates to model time granularity 17
Interval temporal logic for visibly pushdown systems 17
Model checking interval temporal logics with regular expressions 17
Regression test prioritization leveraging source code similarity with tree kernels 16
Transformations of Timed Communicating Automata 16
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 16
Taming the complexity of timeline-based planning over dense temporal domains 16
Timed recursive state machines: Expressiveness and complexity 15
Taming Strategy Logic: Non-Recurrent Fragments 14
The way to go: Multi-level temporal logics. 14
A knowledge based system for geophysical data interpretation 14
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 14
Timeline-based planning over dense temporal domains 14
TPMC: A model checker for time–sensitive security protocols 13
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 13
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 13
Decidable theories of omega-layered metric temporal structures 12
Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei 11
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 11
Totale 2.783
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.055
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 11.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201911 0 0 0 0 0 0 0 0 0 2 2 7
2019/2020317 129 1 23 5 42 10 9 10 3 13 38 34
2020/2021456 3 33 45 43 34 44 61 16 44 24 42 67
2021/2022597 16 2 11 10 23 29 14 23 67 17 122 263
2022/2023710 120 62 15 60 75 93 14 81 124 13 38 15
2023/2024448 33 103 60 47 36 66 24 31 34 14 0 0
Totale 2.961