IRIS
PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 3.562
NA - Nord America 2.853
EU - Europa 2.679
SA - Sud America 498
AF - Africa 59
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 9.659
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.768
SG - Singapore 2.103
RU - Federazione Russa 1.273
IT - Italia 746
CN - Cina 707
BR - Brasile 423
HK - Hong Kong 299
VN - Vietnam 251
FI - Finlandia 134
UA - Ucraina 115
DE - Germania 104
SE - Svezia 80
IE - Irlanda 63
GB - Regno Unito 48
IN - India 40
CA - Canada 35
MX - Messico 31
KR - Corea 29
AR - Argentina 23
FR - Francia 21
NL - Olanda 21
PL - Polonia 21
TR - Turchia 20
ID - Indonesia 19
IQ - Iraq 16
BD - Bangladesh 14
CI - Costa d'Avorio 13
ZA - Sudafrica 13
ES - Italia 12
EC - Ecuador 11
JP - Giappone 9
VE - Venezuela 9
AT - Austria 8
PY - Paraguay 8
BE - Belgio 7
PK - Pakistan 7
TW - Taiwan 7
NG - Nigeria 6
PE - Perù 6
UZ - Uzbekistan 6
CL - Cile 5
EG - Egitto 5
LV - Lettonia 5
MA - Marocco 5
CO - Colombia 4
RS - Serbia 4
TN - Tunisia 4
UY - Uruguay 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
HN - Honduras 3
IR - Iran 3
JM - Giamaica 3
JO - Giordania 3
KE - Kenya 3
LT - Lituania 3
NZ - Nuova Zelanda 3
PA - Panama 3
SA - Arabia Saudita 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
BY - Bielorussia 2
BZ - Belize 2
CD - Congo 2
CY - Cipro 2
EU - Europa 2
GE - Georgia 2
HU - Ungheria 2
IL - Israele 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LB - Libano 2
ML - Mali 2
PH - Filippine 2
PT - Portogallo 2
RO - Romania 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BS - Bahamas 1
BT - Bhutan 1
CH - Svizzera 1
CR - Costa Rica 1
CU - Cuba 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
GD - Grenada 1
GF - Guiana Francese 1
GN - Guinea 1
GP - Guadalupe 1
GR - Grecia 1
GY - Guiana 1
KW - Kuwait 1
MY - Malesia 1
NC - Nuova Caledonia 1
NO - Norvegia 1
NP - Nepal 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 9.654
Salva come PNG Salva come JPEG
Città #
Singapore 1.013
Moscow 331
Santa Clara 301
Hong Kong 298
Chandler 287
Ashburn 234
Beijing 210
Naples 166
Hefei 136
San Jose 132
Jacksonville 112
Millbury 100
Los Angeles 85
Boston 83
Princeton 79
Ho Chi Minh City 72
Nanjing 64
Buffalo 61
Napoli 61
Dong Ket 60
Helsinki 45
Wilmington 44
Des Moines 41
São Paulo 41
The Dalles 37
Redondo Beach 35
Hanoi 34
Lawrence 34
New York 31
Seoul 29
Milan 28
Ottawa 18
Nanchang 17
Rio de Janeiro 16
Seattle 16
Haiphong 15
Rome 15
Shenyang 15
Tianjin 15
Brooklyn 14
Fairfield 14
Hebei 14
Houston 14
Warsaw 14
Dallas 13
Falkenstein 13
Denver 12
Jiaxing 12
Mexico City 12
Washington 12
Woodbridge 12
Chennai 11
Da Nang 11
London 11
Amsterdam 10
Casalnuovo Di Napoli 10
Phoenix 10
Ann Arbor 9
Chicago 9
Lappeenranta 9
Porto Alegre 9
Sorrento 9
Stockholm 9
Tokyo 9
Ankara 8
Boardman 8
Caserta 8
Frankfurt am Main 8
Munich 8
Norwalk 8
Redwood City 8
Salvador 8
San Francisco 8
Baghdad 7
Brasília 7
Brussels 7
Dublin 7
Hangzhou 7
None 7
Nuremberg 7
Orem 7
San Nicola la Strada 7
Shanghai 7
Toronto 7
Atlanta 6
Belo Horizonte 6
Curitiba 6
Guangzhou 6
Kronberg 6
Montreal 6
Salerno 6
Santo André 6
Tashkent 6
Villaricca 6
Cormeilles-en-Parisis 5
Detroit 5
El Segundo 5
Fortaleza 5
Guayaquil 5
Indiana 5
Totale 4.932
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 233
ReCover: A Curated Dataset for Regression Testing Research 215
From Dynamic State Machines to Promela 172
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012). 144
Modeling railway control systems in promela 144
Regression test prioritization leveraging source code similarity with tree kernels 138
Dynamic State Machines for Formalizing Railway Control System Specifications 129
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 128
Inspecting Code Churns to Prioritize Test Cases 125
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference 125
2-Visibly Pushdown automata 123
Change-Aware Regression Test Prioritization using Genetic Algorithms 122
Benchmarking management techniques for massive IIoT time series in a fog architecture 115
Verification of Well-Formed Communicating Recursive State Machines 108
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground 102
Interval temporal logic model checking based on track bisimilarity and prefix sampling 101
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 100
Pushdown Module Checking 100
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 98
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 98
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases 97
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 96
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 96
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions 96
Verification of well-formed Communicating Recursive State Machines 95
Event-Clock Nested Automata 92
TPMC: A Model Checker for Time-Sensitive Security Protocols 91
Differential network analysis for the identification of condition-specific pathway activity and regulation. 91
An interoperable testing environment for ERTMS/ETCS control systems 90
On the undecidability of logics with nominals, recursion and counting 89
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 89
Complexity analysis of a unifying algorithm for model checking interval temporal logic 89
Which fragments of the interval temporal logic HS are tractable in model checking? 88
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 87
The lecture video recording in university: A case study 87
Model Checking Timeline-based Systems over Dense Temporal Domains? 84
Full Characterisation of Extended CTL 83
Timed HLPSL for specification and verification of time sensitive protocols 83
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 83
Timed protocols insecurity problem is NP-complete 82
Interval temporal logic for visibly pushdown systems 82
Complexity issues for timeline-based planning over dense time under future and minimal semantics 82
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 81
Timed protocols insecurity problem is NP-complete 81
Model checking interval temporal logics with regular expressions 81
Timed HLPSL for specification and verification of time sensitive protocols 80
Transformations of Timed Communicating Automata 79
Analysis of Timed Recursive State Machines 79
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 79
Timed context-free temporal logics 79
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 78
Interval vs. point temporal logic model checking: An expressiveness comparison 78
Checking interval properties of computations 77
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 77
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 77
Taming the complexity of timeline-based planning over dense temporal domains 77
TPMC: A model checker for time–sensitive security protocols 76
Timeline-based planning over dense temporal domains 76
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 76
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 75
DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY 75
Systolic tree omega-languages: the operational and the logical view 75
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis. 75
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 75
Timed Communicating Automata 74
Pushdown Module Checking 74
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 73
A comparison of step-semantics of Statecharts, Theoretical Computer Science 72
Theories of omega-layered metric temporal structures: expressiveness and decidability 71
Complexity analysis of a unifying algorithm for model checking interval temporal logic 71
Transformations of Timed Communicating Automata 69
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 69
Undecidability of future timeline-based planning over dense temporal domains 69
Taming Strategy Logic: Non-Recurrent Fragments 68
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 67
Definability and decidability of binary predicates for time granularity 67
On a temporal logic of prefixes and infixes 67
Asynchronous Extensions of HyperLTL 66
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties 65
The taming (timing) of states 64
Timed protocol insecurity problem is NP-complete 63
Context-free timed formalisms: Robust automata and linear temporal logics 63
Interval Temporal Logic for Visibly Pushdown Systems 62
Timed Communicating Automata 62
Ordered multi-stack visibly pushdown automata 62
Module Checking of Pushdown Multi-agent Systems 62
A graph rewriting framework for Statecharts semantics 61
Timed recursive state machines: Expressiveness and complexity 61
Web and wireless geographic information systems 60
Decidability and complexity of timeline-based planning over dense temporal domains 59
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor 59
Transitions as interrupts: a new semantics for timed Statecharts 58
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 58
A Quantitative Extension of Interval Temporal Logic over Infinite Words 57
The taming (timing) of states 57
Parametric Interval Temporal Logic over Infinite Words 56
Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei 56
A logical characterization of systolic languages 56
Extending Kamp theorem with binary operators to model time granularity 56
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 56
Totale 8.568
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.910
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 32.910
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021254 0 0 0 0 0 0 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/2024622 33 103 60 47 36 66 24 31 34 25 102 61
2024/20253.146 156 183 7 22 145 257 404 206 169 235 1.118 244
2025/20263.545 585 390 585 551 1.082 208 144 0 0 0 0 0
Totale 9.826