Learning algorithms for spiking neural networks: should one use learning algorithms from ANN/DL or neurological plausible learning? - A thought-provoking impulse. XLIII Jornadas de Automática: libro de actas: 7, 8 y 9 de septiembre de 2022, Logroño (La Rioja), 201--207, Servizo de Publicacións da UDC, September 2022. [PUMA: Learning neural algorithms spiking Xack learning plausible networks neurological]
Every atom-atom map can be explained by electron pushing diagrams. arXiv, 2023. [PUMA: Networks 05C92, Biological sciences, (q-bio.MN), (math.CO), FOS: 92E10 Molecular Mathematics, Combinatorics yaff] URL
TraceVis: Towards Visualization for Deep Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, 27–46, Springer-Verlag, Berlin, Heidelberg, 2020. [PUMA: Networks Visualization Model Statistical Checking Neural] URL
Clustering systems of phylogenetic networks. Theory in Biosciences, (142)4:301–358, Springer Science and Business Media LLC, August 2023. [PUMA: systems Clustering phylogenetic Zno networks] URL
ChatIDS: Explainable Cybersecurity Using Generative AI. 2023. [PUMA: Intrusion Networks ChatGPT Detection Yaff]