PERON, ADRIANO
 Distribuzione geografica
Continente #
EU - Europa 212
AS - Asia 151
NA - Nord America 144
SA - Sud America 1
Totale 508
Nazione #
US - Stati Uniti d'America 143
CN - Cina 123
IT - Italia 109
FR - Francia 51
FI - Finlandia 24
DE - Germania 20
SG - Singapore 12
IN - India 6
NL - Olanda 5
LK - Sri Lanka 3
HK - Hong Kong 2
JP - Giappone 2
BR - Brasile 1
CA - Canada 1
EE - Estonia 1
GB - Regno Unito 1
GR - Grecia 1
IR - Iran 1
PK - Pakistan 1
TR - Turchia 1
Totale 508
Città #
Beijing 85
Columbus 68
Trieste 43
Helsinki 19
Ashburn 16
Boardman 15
New York 7
Council Bluffs 5
Delhi 5
Singapore 5
Chicago 4
Lappeenranta 4
Munich 4
Naples 4
Nuremberg 4
Paris 4
Seattle 4
Washington 4
Amsterdam 3
Apolda 3
Panadura 3
Shanghai 3
Udine 3
Hamm 2
Jiangmen 2
Los Angeles 2
Neuilly-sur-Seine 2
Reana del Rojale 2
Rome 2
Sant'Arcangelo 2
Shenzhen 2
Weehawken 2
Athens 1
Bristol 1
Bronzolo 1
Cedar Knolls 1
Chennai 1
Corvallis 1
Dongguan 1
Florence 1
Frankfurt am Main 1
Grenoble 1
Hangzhou 1
Hong Kong 1
Marseille 1
Milan 1
Monteforte Irpino 1
Multan 1
Münster 1
Osaka 1
Pisa 1
Ponta Grossa 1
Salerno 1
Tallinn 1
Tokyo 1
Toronto 1
Totale 357
Nome #
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems, file 0d6bd7ee-2d7a-4593-9de0-f1ebd20f59f8 31
Taming Strategy Logic: Non-Recurrent Fragments, file 6dddf635-8341-4b5e-9222-b541107e9b54 26
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases, file 2915fa9f-5a56-468c-b80b-249aa97dc04f 23
The lecture video recording in university: A case study, file cf9f5614-89e0-4590-ae35-ffc1b01e28a2 23
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers, file 6a5773ad-ff0a-4475-8a3d-056df9c92f18 21
Timeline-based planning over dense temporal domains, file c4aacbee-8425-4a85-a8c0-7f08a3405a81 21
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete, file 400879cd-eddb-4197-946e-3150a75d7a1d 20
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION, file 4eaee2f6-28fb-4bf2-b99c-984904c86577 18
Context-free timed formalisms: Robust automata and linear temporal logics, file ca8279a8-e7ad-4adc-87bb-6fa6732cac06 18
Benchmarking management techniques for massive IIoT time series in a fog architecture, file 9635339f-4b5f-4938-abf9-7128098080d8 17
Taming the complexity of timeline-based planning over dense temporal domains, file be040e72-4629-499f-ae3f-1d801e670e02 17
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties, file f4c1fbe2-281b-4802-be01-5cc808eaa699 17
Model Checking Timeline-based Systems over Dense Temporal Domains?, file 285866b4-da21-4ea2-aa9c-30acd8c6bdd1 16
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference, file 963b101a-3836-43f6-825c-f6bf355b0515 16
Interval temporal logic for visibly pushdown systems, file 2f57435b-2756-4ddf-8e44-f2d44397ab81 15
On a temporal logic of prefixes and infixes, file f4a89257-b659-4289-a33b-eb8713727738 15
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file 9dcd1ac2-1669-4ae5-ac0e-9c74c8973549 14
Taming Strategy Logic: Non-Recurrent Fragments, file 3e0e6fb7-0b81-4db9-bdb5-168d0c0fa3de 13
A Quantitative Extension of Interval Temporal Logic over Infinite Words, file b586deea-0758-4977-ae1b-b96b1fbcce15 12
Undecidability of future timeline-based planning over dense temporal domains, file 28fa2188-d79e-4348-86d5-55bc6b1b76f2 10
Asynchronous Extensions of HyperLTL, file b32799ab-5e4c-45c7-a6e5-df8c0627ecf3 10
Model checking interval temporal logics with regular expressions, file def52404-3e43-4dd9-966a-b5d671da76be 10
Pspace-completeness of the temporal logic of sub-intervals and suffixes, file 09618f39-3b02-4843-875f-4e2b9ff20d6c 9
Parametric Interval Temporal Logic over Infinite Words, file 9ed57068-abd4-4cd1-b727-3e6969bf1189 9
Interval vs. point temporal logic model checking: An expressiveness comparison, file 1eed2882-961f-411b-b0a8-38e3865b71c0 8
Context-free timed formalisms: Robust automata and linear temporal logics, file aee8cd5a-2b7a-4483-badc-735d7bdbf06f 7
Complexity issues for timeline-based planning over dense time under future and minimal semantics, file b921cb61-d525-4403-8cc3-038b057143e9 7
PSPACE-completeness of the temporal logic of sub-intervals and suffixes, file 0ae93ce5-4578-439f-9200-9e3d52c0fd8d 6
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file 80a9b752-d337-4296-8df7-21f025e2b60b 6
Timeline-based planning over dense temporal domains, file 4f2d48b0-f99b-40e5-8e89-d9618801faf3 5
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers, file 9fac783f-b11b-42de-a086-d05e00610aca 5
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference, file afad6bb5-385d-4d76-aae7-1954bc45439e 5
Interval Temporal Logic for Visibly Pushdown Systems, file ec89b239-50c4-4d07-a5ea-32e23c45c4d4 5
Asynchronous Extensions of HyperLTL, file f93a0629-d0f7-49ec-affc-d37cb40c3cd7 5
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases, file 2585ddac-5009-46d2-a700-1c4d116147e3 4
Quantifying over Trees in Monadic Second-Order Logic, file 4557c47d-6e50-4455-b2fa-31b71b3b1257 4
Model checking interval temporal logics with regular expressions, file 6b757146-08b3-43a4-85a7-3af39278f4e8 4
Which fragments of the interval temporal logic HS are tractable in model checking?, file b8c4a9e2-41bc-41a5-9a68-0657bc7c0a3b 4
Benchmarking management techniques for massive IIoT time series in a fog architecture, file c10feba4-b999-45f0-9480-7eb437bf11a7 4
Inspecting Code Churns to Prioritize Test Cases, file c1b3f534-0399-4ddd-80b6-8e0ed056e3ae 4
Interval vs. point temporal logic model checking: An expressiveness comparison, file c32a1a1c-3032-410c-85c2-75ad5cff3412 4
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file c91a2cb8-4d6c-4d37-ac45-e92b7431a842 4
Complexity issues for timeline-based planning over dense time under future and minimal semantics, file c9710de3-bfc1-4d17-868f-3a063ca5f136 4
Which fragments of the interval temporal logic HS are tractable in model checking?, file 00326f88-fb2a-4e45-8fe6-004ef64dea51 3
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE, file 2e351dfe-a541-40db-91a2-9094da0030f0 3
Inspecting Code Churns to Prioritize Test Cases, file ead7bae1-1412-4e1c-b625-1d0e57331e1a 3
Quantifying over Trees in Monadic Second-Order Logic, file 56901ad7-911e-4880-84fc-1354bc5645a8 1
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS?, file 8109f2a3-60d4-415f-b53e-83247a601053 1
Module Checking of Pushdown Multi-agent Systems, file f7988f29-a024-4958-b66a-5ac42e50551d 1
Totale 508
Categoria #
all - tutte 1.881
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 1.881


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/2023105 0 0 0 3 0 0 2 36 37 1 21 5
2023/2024403 8 7 12 13 6 28 62 82 24 52 95 14
Totale 508