IRIS
PERON, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 409
NA - Nord America 50
AS - Asia 43
SA - Sud America 3
AF - Africa 1
Totale 506
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 301
IT - Italia 86
US - Stati Uniti d'America 49
VN - Vietnam 37
DE - Germania 9
IN - India 4
BR - Brasile 3
FR - Francia 3
IE - Irlanda 3
AT - Austria 2
CN - Cina 2
FI - Finlandia 2
CH - Svizzera 1
ES - Italia 1
HN - Honduras 1
NG - Nigeria 1
NL - Olanda 1
Totale 506
Salva come PNG Salva come JPEG
Città #
Saint Petersburg 300
Dong Ket 37
Ashburn 23
Anacapri 22
Naples 11
Napoli 11
Giugliano In Campania 6
Nocera Superiore 5
San Vitaliano 3
São Paulo 3
Caserta 2
Helsinki 2
Houston 2
Mountain View 2
Rome 2
Udine 2
Afragola 1
Amsterdam 1
Binningen 1
Boardman 1
Casalnuovo di Napoli 1
Chicago 1
Como 1
Council Bluffs 1
Ercolano 1
Gela 1
Gesualdo 1
Gurgaon 1
Lagos 1
Latina 1
Limoges 1
Martignacco 1
Mogliano Veneto 1
Nashville 1
New York 1
Nürnberg 1
Paris 1
Portici 1
Redmond 1
Rovereto 1
San Jose 1
Seattle 1
Sorrento 1
Telese 1
Trumbull 1
Vidor 1
Villaricca 1
Washington 1
Totale 465
Salva come PNG Salva come JPEG
Nome #
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption, file e268a72e-c058-4c8f-e053-1705fe0a812c 305
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference, file e268a733-1847-4c8f-e053-1705fe0a812c 26
The lecture video recording in university: A case study, file e268a731-793e-4c8f-e053-1705fe0a812c 16
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete, file e268a72f-eebf-4c8f-e053-1705fe0a812c 14
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file e268a730-a7ac-4c8f-e053-1705fe0a812c 14
Web and wireless geographic information systems, file e268a72c-d4a9-4c8f-e053-1705fe0a812c 13
On the complexity of model checking for syntactically maximal fragments of the interval temporal logic hs with regular expressions, file e268a730-40f7-4c8f-e053-1705fe0a812c 12
Interval temporal logic model checking based on track bisimilarity and prefix sampling, file e268a730-436a-4c8f-e053-1705fe0a812c 10
On a temporal logic of prefixes and infixes, file e268a732-1169-4c8f-e053-1705fe0a812c 10
Complexity of timeline-based planning over dense temporal domains: Exploring the middle ground, file e268a72f-e9e7-4c8f-e053-1705fe0a812c 8
Taming Strategy Logic: Non-Recurrent Fragments, file bc79f4a4-4036-4017-824b-7d2ae0f32c73 7
Timed context-free temporal logics, file e268a72f-e9e6-4c8f-e053-1705fe0a812c 7
Module Checking of Pushdown Multi-agent Systems, file e268a732-5d07-4c8f-e053-1705fe0a812c 7
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison, file e268a72e-703f-4c8f-e053-1705fe0a812c 6
Interval vs. point temporal logic model checking: An expressiveness comparison, file e268a72f-fae2-4c8f-e053-1705fe0a812c 6
Interval temporal logic for visibly pushdown systems, file e268a732-ccdb-4c8f-e053-1705fe0a812c 6
Model Checking Timeline-based Systems over Dense Temporal Domains?, file e268a732-a2b0-4c8f-e053-1705fe0a812c 5
Taming the complexity of timeline-based planning over dense temporal domains, file e268a732-e4f2-4c8f-e053-1705fe0a812c 5
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete, file e268a733-8556-4c8f-e053-1705fe0a812c 4
Complexity analysis of a unifying algorithm for model checking interval temporal logic, file e268a732-2b44-4c8f-e053-1705fe0a812c 3
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION, file e268a733-7881-4c8f-e053-1705fe0a812c 3
Parametric Interval Temporal Logic over Infinite Words, file 292b1206-c309-449c-9607-fb3b86f274e6 2
PSPACE-completeness of the temporal logic of sub-intervals and suffixes, file 354636aa-c23b-498f-b2aa-f71454add360 2
Interval Temporal Logic for Visibly Pushdown Systems, file 6537572b-1023-4561-a07f-8c11a72f60e1 2
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete, file e268a72e-6a5b-4c8f-e053-1705fe0a812c 2
Undecidability of future timeline-based planning over dense temporal domains, file e268a732-07e8-4c8f-e053-1705fe0a812c 2
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties, file ffbfe50e-7742-4a97-97a3-d9d31f41c37d 2
Which fragments of the interval temporal logic HS are tractable in model checking?, file e268a72f-e917-4c8f-e053-1705fe0a812c 1
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy, file e268a72f-e9e0-4c8f-e053-1705fe0a812c 1
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives, file e268a72f-ea30-4c8f-e053-1705fe0a812c 1
Model checking interval temporal logics with regular expressions, file e268a732-3a5e-4c8f-e053-1705fe0a812c 1
Timeline-based planning over dense temporal domains, file e268a732-476a-4c8f-e053-1705fe0a812c 1
Context-free timed formalisms: Robust automata and linear temporal logics, file e268a732-6b23-4c8f-e053-1705fe0a812c 1
Complexity issues for timeline-based planning over dense time under future and minimal semantics, file e268a733-1f0d-4c8f-e053-1705fe0a812c 1
Asynchronous Extensions of HyperLTL, file e268a733-4080-4c8f-e053-1705fe0a812c 1
Pspace-completeness of the temporal logic of sub-intervals and suffixes, file e268a733-b704-4c8f-e053-1705fe0a812c 1
Totale 508
Salva come PNG Salva come JPEG
Categoria #
all - tutte 1.340
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.340
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20194 0 0 0 0 0 0 0 0 0 3 1 0
2019/20209 0 0 0 0 4 2 1 0 0 2 0 0
2020/202132 3 0 1 1 0 0 0 3 1 1 2 20
2021/202247 18 1 1 1 3 1 1 0 4 8 8 1
2022/202325 2 1 0 1 0 0 2 1 2 4 9 3
2023/202484 1 2 14 9 0 6 11 8 30 3 0 0
Totale 508