García, María; López, Natalia; Rodríguez, Ismael A full process algebraic representation of ant colony optimization. (English) Zbl 07804494 Inf. Sci. 658, Article ID 120025, 23 p. (2024). MSC: 68-XX 90-XX PDFBibTeX XMLCite \textit{M. García} et al., Inf. Sci. 658, Article ID 120025, 23 p. (2024; Zbl 07804494) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael SPAMR: Extending PAMR with stochastic time. (English) Zbl 1149.68319 Wolter, Katinka (ed.), Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75210-3/pbk). Lecture Notes in Computer Science 4748, 63-79 (2007). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 4748, 63--79 (2007; Zbl 1149.68319) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael Assessing the expressivity of formal specification languages. (English) Zbl 1236.68184 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 220-234 (2006). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 4019, 220--234 (2006; Zbl 1236.68184) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael Specification, testing and implementation relations for symbolic-probabilistic systems. (English) Zbl 1088.68021 Theor. Comput. Sci. 353, No. 1-3, 228-248 (2006). MSC: 68M15 68Q45 PDFBibTeX XMLCite \textit{N. López} et al., Theor. Comput. Sci. 353, No. 1--3, 228--248 (2006; Zbl 1088.68021) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael Testing of symbolic-probabilistic systems. (English) Zbl 1081.68575 Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 49-63 (2005). MSC: 68N30 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 3395, 49--63 (2005; Zbl 1081.68575) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael Formal specification of symbolic-probabilistic systems. (English) Zbl 1111.68511 Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1–2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 114-127 (2004). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 3236, 114--127 (2004; Zbl 1111.68511) Full Text: DOI
López, Natalia; Núñez, Manuel; Rodríguez, Ismael; Rubio, Fernando Including malicious agents into a collaborative learning environment. (English) Zbl 1045.68797 Cerri, Stefano A. (ed.) et al., Intelligent tutoring systems. 6th international conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2–7, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43750-9). Lect. Notes Comput. Sci. 2363, 51-60 (2002). MSC: 68U99 68T99 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 2363, 51--60 (2002; Zbl 1045.68797) Full Text: Link
López, Natalia; Núñez, Manuel; Rodríguez, Ismael; Rubio, Fernando A formal framework for e-barter based on microeconomic theory and process algebras. (English) Zbl 1046.68823 Unger, Herwig (ed.) et al., Innovative Internet computing systems. 2nd international workshop, IICS 2002, Kühlungsborn, Germany, June 20–22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43790-8). Lect. Notes Comput. Sci. 2346, 217-228 (2002). MSC: 68U99 68M10 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 2346, 217--228 (2002; Zbl 1046.68823) Full Text: Link
López, Natalia; Núñez, Manuel; Rodríguez, Ismael; Rubio, Fernando WHAT: Web-based Haskell adaptive tutor. (English) Zbl 1020.68777 Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 71-80 (2002). MSC: 68U99 68T99 68N18 68N15 97U40 PDFBibTeX XMLCite \textit{N. López} et al., Lect. Notes Comput. Sci. 2443, 71--80 (2002; Zbl 1020.68777) Full Text: Link