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.
-
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.
-
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.
-
Yovine, S., & Gonzalo, W. (2018). Static taint analysis applied to detecting bad programming practices in Android. Electronic Journal of SADIO, 17(1), 35-53.
Artículos arbitrados presentados en conferencias arbitradas o publicados en actas
-
Carrasco, M., Mayr, F., Yovine, S., Kidd, J., Iturbide, M., da Silva, J., & Garat, A. (julio, 2024). Analyzing constrained LLM Through PDFA-learning. Artículo presentado en 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP). Workshop Learning and Automata" (LearnAut 2024) . Tallinn, Estonia.
-
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.
-
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.
-
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., & 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.
-
Mayr, F., & Yovine, S. (2018). Regular inference on artificial neural networks. En Machine Learning and Knowledge Extraction (pp. 350-369). Hamburg, Alemania.