Publicaciones en colaboración con investigadoras/es de IK4-IKERLAN (31)

2023

  1. HPC Platform for Railway Safety-Critical Functionalities Based on Artificial Intelligence

    Applied Sciences (Switzerland), Vol. 13, Núm. 15

  2. Minimum Recall-Based Loss Function for Imbalanced Time Series Classification

    IEEE Transactions on Knowledge and Data Engineering, Vol. 35, Núm. 10, pp. 10024-10034

  3. Selective Imputation for Multivariate Time Series Datasets with Missing Values

    IEEE Transactions on Knowledge and Data Engineering, Vol. 35, Núm. 9, pp. 9490-9501

  4. Semi-Automatic Validation and Verification Framework for CV&AI-Enhanced Railway Signaling and Landmark Detector

    IEEE Transactions on Instrumentation and Measurement, Vol. 72

  5. SilionBurmuin: A Horizon Europe propelled Neurocomputing Initiative in the Basque Country

    Proceedings - 2023 49th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2023

  6. Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models

    Journal of Logical and Algebraic Methods in Programming, Vol. 130

2022

  1. A Multivariate Time Series Streaming Classifier for Predicting Hard Drive Failures [Application Notes]

    IEEE Computational Intelligence Magazine, Vol. 17, Núm. 1, pp. 102-114

2021

  1. 20 years of industrial experience at SPLC: A systematic mapping study

    ACM International Conference Proceeding Series

  2. A Review on Outlier/Anomaly Detection in Time Series Data

    ACM Computing Surveys, Vol. 54, Núm. 3

  3. Lossless compression of industrial time series with direct access

    Computers in Industry, Vol. 132

  4. Verified Model Checking for Conjunctive Positive Logic

    SN Computer Science, Vol. 2, Núm. 5

  5. Water leak detection using self-supervised time series classification

    Information Sciences, Vol. 574, pp. 528-541

2019

  1. A Combined Approach for Eliciting Relationships for Educational Ontologies Using General-Purpose Knowledge Bases

    IEEE Access, Vol. 7, pp. 48339-48355

  2. Accessible Ubiquitous Services for Supporting Daily Activities: A Case Study with Young Adults with Intellectual Disabilities

    International Journal of Human-Computer Interaction, Vol. 35, Núm. 17, pp. 1608-1629

  3. Change analysis of #if-def blocks with FeatureCloud

    ACM International Conference Proceeding Series

  4. Change analysis of #if-def blocks with FeatureCloud

    PervasiveHealth: Pervasive Computing Technologies for Healthcare

  5. Change analysis of #if-def blocks with FeatureCloud

    ACM International Conference Proceeding Series

  6. Supervised non-parametric discretization based on Kernel density estimation

    Pattern Recognition Letters, Vol. 128, pp. 496-504

  7. Towards certified model checking for PLTL using one-pass tableaux

    Leibniz International Proceedings in Informatics, LIPIcs

2017

  1. Testuliburuetatik domeinu-modulu eleaniztunak eraikitzen

    Ekaia: Euskal Herriko Unibertsitateko zientzi eta teknologi aldizkaria, Núm. 31, pp. 117-132