Investigación

Publicaciones del cuerpo académico

? El formato de citación corresponde a la última edición de APA (American Psychological Association).
La información se actualiza semanalmente dentro de cada facultad, instituto y departamento. Se muestra en orden cronológico descendente por fecha de difusión de la noticia y alfabético por autor.
En “Ver más publicaciones” se puede ampliar la búsqueda mediante el uso filtros.

Artículos arbitrados publicados en publicaciones arbitradas

  • Solsona, J. E., Tasistro, Á., & Yovine, S. (2023). On the specification and verification of the PCR parallel programming pattern in TLA+. CLEI Eletronic Journal (CLEIej), 26(1), 16 p.
    https://doi.org/10.19153/cleiej.26.1.6
  • Yovine, S., Mayr, F., Sosa, S., & Visca, R. (2021). An assessment of the application of private aggregation of ensemble models to sensible data. Machine Learning and Knowledge Extraction, 3(4), 788-801.
    https://doi.org/10.3390/make3040039
  • Mayr, F., Yovine, S., & Visca, R. (2021). Property checking with interpretable error characterization for recurrent neural networks. Machine Learning and Knowledge Extraction, 3(1), 205-227.
    https://doi.org/10.3390/make3010010
  • Yovine, S., & Gonzalo, W. (2018). Static taint analysis applied to detecting bad programming practices in Android. Electronic Journal of SADIO, 17(1), 35-53.
    Recuperado de http://www.sadio.org.ar/wp-content/uploads/2018/03/3_EJS_2018_ASSE_Yovine.pdf

Artículos arbitrados presentados en conferencias arbitradas o publicados en actas

  • Mayr, F., Yovine, S., Carrasco, M., Pan, F., & Vilensky, F. (2023). A congruence-based approach to active automata learning from neural language models. En Proceedings of Machine Learning Research (pp. 250-264). Rabat, Marruecos.
    Recuperado de https://proceedings.mlr.press/v217/mayr23a.html
  • Mayr, F., Yovine, S., Carrasco, M., Garat, A., Iturbide, M., & da Silva, J. (2023). Results of neural-checker toolbox in taysir 2023 competition. En Proceedings of Machine Learning Research (pp. 295-298). Rabat, Marruecos.
    Recuperado de https://proceedings.mlr.press/v217/mayr23b.html
  • Mayr, F., Yovine, S., Pan, F., Basset, N., & Dang, T. (julio, 2022). Towards efficient active learning of PDFA. Artículo presentado en 49th EATCS International Colloquium on Automata, Languages and Programming (ICALP). Paris, Francia.
  • Mayr, F., Visca, R. V., & Yovine, S. (2020). On-the-fly black-box probably approximately correct checking of recurrent neural networks. En Lecture Notes in Computer Science (pp. 343-363). Dublin, Irlanda.
    https://doi.org/10.1007/978-3-030-57321-8_19
  • Mayr, F., & Yovine, S. (2018). Regular inference on artificial neural networks. En Machine Learning and Knowledge Extraction (pp. 350-369). Hamburg, Alemania.
    https://doi.org/10.1007/978-3-319-99740-7_25
Recursos académicos