Publications in collaboration with researchers from Instituto Tecnológico de Toluca (3)

2022

  1. Water quality assurance in aquaculture ponds using Machine Learning and IoT techniques

    2022 IEEE Mexican International Conference on Computer Science, ENC 2022 - Proceedings

2020

  1. CrEStO: A Tool for Synthesizing Stateful Priorities

    Proceedings - 16th European Dependable Computing Conference, EDCC 2020