{"id":15,"date":"2018-04-06T14:47:20","date_gmt":"2018-04-06T14:47:20","guid":{"rendered":"http:\/\/dalila.sip.ucm.es\/fadoss\/?page_id=15"},"modified":"2023-12-09T11:54:15","modified_gmt":"2023-12-09T11:54:15","slug":"publicaciones","status":"publish","type":"page","link":"https:\/\/maude.ucm.es\/fadoss\/publicaciones\/","title":{"rendered":"Publicaciones"},"content":{"rendered":"<p style=\"text-align: center;\"><strong>Publicaciones del a\u00f1o<\/strong>: <a href=\"#2023\">2023<\/a> &#8211; <a href=\"#2022\">2022<\/a> &#8211; <a href=\"#2021\">2021<\/a> &#8211; <a href=\"#2020\">2020<\/a> &#8211; <a href=\"#2019\">2019<\/a> &#8211; <a href=\"#2018\">2018<\/a> &#8211; <a href=\"#2017\">2017<\/a> &#8211; <a href=\"#2016\">2016<\/a> &#8211; <a href=\"#2015\">2015<\/a> &#8211; <a href=\"#2014\">2014<\/a> &#8211; <a href=\"\/fadoss\/seleccion-de-publicaciones\/\">Anteriores<\/a><\/p>\n<h3 id=\"2023\">2023<\/h3>\n<ul>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2022.118858\"><em>Bousi Prolog: Design and implementation of a proximity-based fuzzy logic programming language<\/em><\/a>. In Expert Systems with Applications, vol. 213. Pg. 118858 (2023)<\/li>\n<li>Ismael Rodr\u00edguez, David Rubio, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1007\/s11704-022-1673-9\"><em>Complexity of adaptive testing in scenarios defined extensionally<\/em><\/a>. In Frontiers of Computer Science, vol. 17. Pg. 173206 (2023)<\/li>\n<li>Luis Aguirre, Narciso Mart\u00ed-Oliet, Miguel Palomino, Isabel Pita. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-31476-6_1\"><em>Strategies in Conditional Narrowing Modulo SMT Plus Axioms<\/em><\/a>. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems &#8211; Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13160. Springer (2023)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-27481-7_15\"><em>QMaude: Quantitative Specification and Verification in Rewriting Logic<\/em><\/a>. In Formal Methods &#8211; 25th International Symposium, FM 2023, L\u00fcbeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14000. Springer (2023)<\/li>\n<li>Ricardo Pe\u00f1a, Jaime S\u00e1nchez-Hern\u00e1ndez, Miguel Garrido, Javier Sagredo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-31476-6_10\"><em>SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications<\/em><\/a>. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems &#8211; Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13160. Springer (2023)<\/li>\n<li>Javier Galiana, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.asoc.2023.110094\"><em>How to stop undesired propagations by using bi-level genetic algorithms<\/em><\/a>. In Applied Soft Computing, vol. 136. Pg. 110094 (2023)<\/li>\n<li>Enrique Martin-Martin, Manuel Montenegro, Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1, Rub\u00e9n Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2023.100860\"><em>Verification of the ROS NavFn planner using executable specification languages<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 132. Pg. 100860 (2023)<\/li>\n<li>Javier Esparza, Rub\u00e9n Rubio, Salomon Sickert. <a href=\"https:\/\/doi.org\/10.48550\/arXiv.2304.08872\"><em>A Simple Rewrite System for the Normalization of Linear Temporal Logic<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2304.08872 (2023)<\/li>\n<li>Gustavo Santos-Garc\u00eda, Jos\u00e9 Carlos R. Alcantud. <a href=\"https:\/\/doi.org\/10.1111\/exsy.13231\"><em>Ranked soft sets<\/em><\/a>. In Expert Systems &#8211; The Journal of Knowledge Engineering, vol. 40 (2023)<\/li>\n<li>Muhammad Akram, Umaira Amjad, Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1007\/s12652-021-03629-4\"><em>Complex fermatean fuzzy N-soft sets: a new hybrid model with applications<\/em><\/a>. In Journal of Ambient Intelligence and Humanized Computing, vol. 14. Pg. 8765-8798 (2023)<\/li>\n<li>Steven Eker, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2023.100887\"><em>The Maude strategy language<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 134. Pg. 100887 (2023)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.48550\/arXiv.2307.16537\"><em>Compositional Verification in Rewriting Logic<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2307.16537 (2023)<\/li>\n<li>Jorge Bl\u00e1zquez, Manuel Montenegro, Clara Segura. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2023.100875\"><em>Verification of mutable linear data structures and iterator-based algorithms in Dafny<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 134. Pg. 100875 (2023)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-39965-7_29\"><em>Transformation Techniques for Interval-Valued Intuitionistic Fuzzy Sets: Applications to Aggregation and Decision Making<\/em><\/a>. In Fuzzy Logic and Technology, and Aggregation Operators &#8211; 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14069. Springer (2023)<\/li>\n<\/ul>\n<h3 id=\"2022\">2022<\/h3>\n<ul>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1007\/s10515-021-00307-9\"><em>Model checking strategy-controlled systems in rewriting logic<\/em><\/a>. In Automated Software Engineering, vol. 29. Pg. 7 (2022)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2021.100727\"><em>Simulating and model checking membrane systems using strategies in Maude<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 124. Pg. 100727 (2022)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2021.100728\"><em>Metalevel transformation of strategies<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 124. Pg. 100728 (2022)<\/li>\n<li>Daniel Loscos, Narciso Mart\u00ed-Oliet, Ismael Rodr\u00edguez. <a href=\"https:\/\/doi.org\/10.1016\/j.swevo.2021.100982\"><em>Generalization and completeness of stochastic local search algorithms<\/em><\/a>. In Swarm and Evolutionary Computation, vol. 68. Pg. 100982 (2022)<\/li>\n<li>Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-10769-6_31\"><em>Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)<\/em><\/a>. In Automated Reasoning &#8211; 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13385. Springer (2022)<\/li>\n<li>Jonathan Carrero, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/CEC55065.2022.9870315\"><em>Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities<\/em><\/a>. In IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022. IEEE (2022)<\/li>\n<li>Aitor Godoy, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/CEC55065.2022.9870393\"><em>On the hardness of finding good pacts<\/em><\/a>. In IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022. IEEE (2022)<\/li>\n<li>Jonathan Carrero, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC53654.2022.9945328\"><em>A tool to certify dynamic benchmarks<\/em><\/a>. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022, Prague, Czech Republic, October 9-12, 2022. IEEE (2022)<\/li>\n<li>Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adri\u00e1n Riesco, Uemura Yasuyoshi. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2022.100762\"><em>Hardware Trojan detection via rewriting logic<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 127. Pg. 100762 (2022)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1016\/j.jss.2022.111302\"><em>An integrated tool set for verifying CafeOBJ specifications<\/em><\/a>. In Journal of Systems and Software (JSS), vol. 189. Pg. 111302 (2022)<\/li>\n<li>Duong Dinh Tran, Kazuhiro Ogata, Adri\u00e1n Riesco, Dang Duy Bui. <a href=\"https:\/\/doi.org\/10.18293\/DMSVIVA22-006\"><em>Integration of SMGA and Maude to Facilitate Characteristic Conjecture<\/em><\/a>. In The 28th International DMS Conference on Visualization and Visual Languages, KSIR Virtual Conference Center, USA, June 29-30, 2022. KSI Research Inc (2022)<\/li>\n<li>Rub\u00e9n Rubio, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-17244-1_16\"><em>Theorem Proving for Maude Specifications Using Lean<\/em><\/a>. In Formal Methods and Software Engineering &#8211; 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13478. Springer (2022)<\/li>\n<li>Enrique Martin-Martin, Manuel Montenegro, Adri\u00e1n Riesco, Rub\u00e9n Rubio. <a href=\"https:\/\/doi.org\/10.18293\/SEKE2022-025\"><em>Improving Database Learning with an Automatic Judge<\/em><\/a>. In The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 &#8211; July 10, 2022. KSI Research Inc (2022)<\/li>\n<li>Canh Minh Do, Adri\u00e1n Riesco, Santiago Escobar, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-12441-9_13\"><em>Parallel Maude-NPA for Cryptographic Protocol Analysis<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)<\/li>\n<li>Adri\u00e1n Riesco, Min Zhang (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-17244-1\"><em>Formal Methods and Software Engineering &#8211; 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings<\/em><\/a>. Lecture Notes in Computer Science, vol. 13478. ISBN 978-3-031-17243-4. Springer (2022)<\/li>\n<li>Rub\u00e9n Rubio. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-12441-9_4\"><em>An Overview of the Maude Strategy Language and its Applications<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)<\/li>\n<li>Rub\u00e9n Rubio. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-12441-9_14\"><em>Maude as a Library: An Efficient All-Purpose Programming Interface<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda, Muhammad Akram. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2022.117430\"><em>OWA aggregation operators and multi-agent decisions with N-soft sets<\/em><\/a>. In Expert Systems with Applications, vol. 203. Pg. 117430 (2022)<\/li>\n<li>Muhammad Bilal Khan, Hatim Ghazi Zaini, Gustavo Santos-Garc\u00eda, Pshtiwan Othman Mohammed, Mohamed S. Soliman. <a href=\"https:\/\/doi.org\/10.1007\/s44196-022-00081-w\"><em>Riemann-Liouville Fractional Integral Inequalities for Generalized Harmonically Convex Fuzzy-Interval-Valued Functions<\/em><\/a>. In International Journal of Computational Intelligence Systems, vol. 15. Pg. 28 (2022)<\/li>\n<li>Muhammad Bilal Khan, Muhammad Aslam Noor, Hatim Ghazi Zaini, Gustavo Santos-Garc\u00eda, Mohamed S. Soliman. <a href=\"https:\/\/doi.org\/10.1007\/s44196-022-00127-z\"><em>The New Versions of Hermite-Hadamard Inequalities for Pre-invex Fuzzy-Interval-Valued Mappings via Fuzzy Riemann Integrals<\/em><\/a>. In International Journal of Computational Intelligence Systems, vol. 15. Pg. 66 (2022)<\/li>\n<li>Muhammad Bilal Khan, Hatim Ghazi Zaini, Savin Treanta, Gustavo Santos-Garc\u00eda, Jorge Eduardo Mac\u00edas-D\u00edaz, Mohamed S. Soliman. <a href=\"https:\/\/doi.org\/10.3390\/sym14020341\"><em>Fractional Calculus for Convex Functions in Interval-Valued Settings and Inequalities<\/em><\/a>. In Symmetry, vol. 14. Pg. 341 (2022)<\/li>\n<li>Muhammad Bilal Khan, Gustavo Santos-Garc\u00eda, Savin Treanta, Mohamed S. Soliman. <a href=\"https:\/\/doi.org\/10.3390\/sym14112322\"><em>New Class Up and Down Pre-Invex Fuzzy Number Valued Mappings and Related Inequalities via Fuzzy Riemann Integrals<\/em><\/a>. In Symmetry, vol. 14. Pg. 2322 (2022)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.48550\/arXiv.2209.05561\"><em>Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2209.05561 (2022)<\/li>\n<li>Javier Esparza, Rub\u00e9n Rubio, Salomon Sickert. <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-22337-2_10\"><em>A Simple Rewrite System for the Normalization of Linear Temporal Logic<\/em><\/a>. In Principles of Systems Design &#8211; Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13660. Springer (2022)<\/li>\n<li>Muhammad Bilal Khan, Gustavo Santos-Garc\u00eda, Savin Treanta, Muhammad Aslam Noor, Mohamed S. Soliman. <a href=\"https:\/\/doi.org\/10.3390\/sym14122503\"><em>Perturbed Mixed Variational-like Inequalities and Auxiliary Principle Pertaining to a Fuzzy Environment<\/em><\/a>. In Symmetry, vol. 14. Pg. 2503 (2022)<\/li>\n<li>Hieu Minh Truong, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1109\/ACOMPA57018.2022.00009\"><em>Identifying temporary water bodies from drone images at real-time using deep-learning techniques<\/em><\/a>. In 2022 International Conference on Advanced Computing and Analytics (ACOMPA), Ho Chi Minh City, Vietnam, November 21-23, 2022. IEEE (2022)<\/li>\n<\/ul>\n<h3 id=\"2021\">2021<\/h3>\n<ul>\n<li>Rafael Caballero, Enrique Martin-Martin, Adri\u00e1n Riesco, Salvador Tamarit. <a href=\"https:\/\/doi.org\/10.1016\/j.infsof.2020.106427\"><em>A unified framework for declarative debugging and testing<\/em><\/a>. In Information &amp; Software Technology, vol. 129. Pg. 106427 (2021)<\/li>\n<li>Christiano Braga, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/arxiv.org\/abs\/2108.07878\"><em>B Maude: A formal executable environment for Abstract Machine Notation Descriptions<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2108.07878 (2021)<\/li>\n<li>David de Frutos-Escrig. <a href=\"http:\/\/ceur-ws.org\/Vol-2907\/paper12.pdf\"><em>Distributed Population Protocols: Naturally!<\/em><\/a>. In Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). CEUR Workshop Proceedings, vol. 2907. CEUR-WS.org (2021)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1109\/TFUZZ.2020.2973129\"><em>Proximity-Based Unification: An Efficient Implementation Method<\/em><\/a>. In IEEE Transactions on Fuzzy Systems, vol. 29. Pg. 1238-1251 (2021)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1017\/S1471068421000028\"><em>Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 21. Pg. 264-282 (2021)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/arxiv.org\/abs\/2101.09619\"><em>Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2101.09619 (2021)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/arxiv.org\/abs\/2108.03602\"><em>Planning for an Efficient Implementation of Hypothetical Bousi Prolog<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2108.03602 (2021)<\/li>\n<li>Alba Mu\u00f1oz, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.jocs.2021.101388\"><em>Evaluating genetic algorithms through the approximability hierarchy<\/em><\/a>. In Journal of Computational Science, vol. 53. Pg. 101388 (2021)<\/li>\n<li>Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germ\u00e1n Andr\u00e9s Delbianco, Ignacio F\u00e1bregas. <a href=\"https:\/\/doi.org\/10.1145\/3434286\"><em>On algebraic abstractions for concurrent separation logics<\/em><\/a>. In Proceedings of the ACM on Programming Languages, vol. 5. Pg. 1-32 (2021)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2021.100700\"><em>Strategies, model checking and branching-time properties in Maude<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 123. Pg. 100700 (2021)<\/li>\n<li>David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. <a href=\"https:\/\/arxiv.org\/abs\/2110.10535\"><em>Investigating Reversibility of Steps in Petri Nets<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2110.10535 (2021)<\/li>\n<li>Muhammad Akram, Ayesha Khan, Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1111\/exsy.12712\"><em>A hybrid decision-making framework under complex spherical fuzzy prioritized weighted aggregation operators<\/em><\/a>. In Expert Systems &#8211; The Journal of Knowledge Engineering, vol. 38 (2021)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1007\/s42979-021-00712-7\"><em>A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries<\/em><\/a>. In SN Computer Science, vol. 2. Pg. 370 (2021)<\/li>\n<li>David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. <a href=\"https:\/\/doi.org\/10.3233\/FI-2021-2082\"><em>Investigating Reversibility of Steps in Petri Nets<\/em><\/a>. In Fundamenta Informaticae, vol. 183. Pg. 67-96 (2021)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1017\/S1471068421000405\"><em>Planning for an Efficient Implementation of Hypothetical Bousi Prolog<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 21. Pg. 680-697 (2021)<\/li>\n<li>Jonathan Carrero, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/ICCICC53683.2021.9811317\"><em>A contract among autonomous agents to deal with egalitarian social welfare<\/em><\/a>. In 20th IEEE International Conference on Cognitive Informatics &amp; Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021. IEEE (2021)<\/li>\n<li>Witold Kinsner, Haibin Zhu, George Baciu, Guiming Luo, Fernando Rubio, Jie Sui, Runhe Huang, Hironori Hiraishi, Jun Peng, Liang Chen. <a href=\"https:\/\/doi.org\/10.1109\/ICCICC53683.2021.9811336\"><em>IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II)<\/em><\/a>. In 20th IEEE International Conference on Cognitive Informatics &amp; Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021. IEEE (2021)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Antonio Garc\u00eda-Dom\u00ednguez, Manuel Clavel. <a href=\"http:\/\/ceur-ws.org\/Vol-3089\/ttc21_paper11_ocl2sql_Nguyen_case.pdf\"><em>The TTC 2021 OCL2PSQL case<\/em><\/a>. In TTC 2020\/2021 &#8211; Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021. CEUR Workshop Proceedings, vol. 3089. CEUR-WS.org (2021)<\/li>\n<li>Lam-Son L\u00ea, Henry Nguyen, Thanh An Phan, Manuel Clavel, Tran Khanh Dang (editors). <a href=\"https:\/\/doi.org\/10.1109\/ACOMP53746.2021\"><em>15th International Conference on Advanced Computing and Applications, ACOMP 2021, Ho Chi Minh City, Vietnam, November 24-26, 2021<\/em><\/a>. ISBN 978-1-6654-0639-0. IEEE (2021)<\/li>\n<\/ul>\n<h3 id=\"2020\">2020<\/h3>\n<ul>\n<li>Manuel Montenegro, Susana Nieva, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1145\/3362740\"><em>Extending Liquid Types to Arrays<\/em><\/a>. In ACM Transactions on Computational Logic (TOCL), vol. 21. Pg. 13:1-13:41 (2020)<\/li>\n<li>Francisco Javier L\u00f3pez-Fraguas, Manuel Montenegro, Gorka Su\u00e1rez-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1016\/j.cola.2020.100965\"><em>Deriving overloaded success type schemes in Erlang<\/em><\/a>. In Journal of Computer Languages, vol. 58. Pg. 100965 (2020)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-64276-1_4\"><em>CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications<\/em><\/a>. In Theoretical Aspects of Computing &#8211; ICTAC 2020 &#8211; 17th International Colloquium, Macau, China, November 30 &#8211; December 4, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12545. Springer (2020)<\/li>\n<li>Adri\u00e1n Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-Garc\u00eda, Emiliano Hern\u00e1ndez Galilea, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-54568-0_9\"><em>Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model<\/em><\/a>. In Practical Applications of Computational Biology &amp; Bioinformatics, 14th International Conference (PACBB 2020), L&#8217;Aquila, Italy, 17-19 June, 2020. Advances in Intelligent Systems and Computing, vol. 1240. Springer (2020)<\/li>\n<li>Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2019.100497\"><em>Programming and symbolic computation in Maude<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 110 (2020)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1017\/S1471068419000425\"><em>Compositional Specification in Rewriting Logic<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 20. Pg. 44-98 (2020)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-63595-4_9\"><em>Strategies, Model Checking and Branching-Time Properties in Maude<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12328. Springer (2020)<\/li>\n<li>Santiago Escobar, Narciso Mart\u00ed-Oliet (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-63595-4\"><em>Rewriting Logic and Its Applications &#8211; 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers<\/em><\/a>. Lecture Notes in Computer Science, vol. 12328. ISBN 978-3-030-63594-7. Springer (2020)<\/li>\n<li>David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala. <a href=\"https:\/\/doi.org\/10.1016\/j.tcs.2019.12.029\"><em>Beyond<\/em><\/a>. In Theoretical Computer Science, vol. 813. Pg. 270-304 (2020)<\/li>\n<li>Ricardo Pe\u00f1a. <a href=\"https:\/\/doi.org\/10.1007\/s10817-019-09534-y\"><em>An Assertional Proof of Red-Black Trees Using Dafny<\/em><\/a>. In Journal of Automated Reasoning, vol. 64. Pg. 767-791 (2020)<\/li>\n<li>Ricardo Pe\u00f1a, Jaime S\u00e1nchez-Hern\u00e1ndez. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-57761-2_6\"><em>White-Box Path Generation in Recursive Programs<\/em><\/a>. In Trends in Functional Programming &#8211; 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12222. Springer (2020)<\/li>\n<li>Susana Nieva, Fernando S\u00e1enz-P\u00e9rez, Jaime S\u00e1nchez-Hern\u00e1ndez. <a href=\"https:\/\/doi.org\/10.1016\/j.ic.2019.104485\"><em>HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems<\/em><\/a>. In Information and Computation, vol. 271. Pg. 104485 (2020)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1109\/FUZZ48607.2020.9177715\"><em>A System implementing Fuzzy Hypothetical Datalog<\/em><\/a>. In 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020. IEEE (2020)<\/li>\n<li>Ismael Rodr\u00edguez, Fernando Rosa-Velardo, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2019.100502\"><em>Introducing complexity to formal testing<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 111. Pg. 100502 (2020)<\/li>\n<li>Jonathan Carrero, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC42975.2020.9282975\"><em>Measuring the benefits of lying in MARA under egalitarian social welfare<\/em><\/a>. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020. IEEE (2020)<\/li>\n<li>Alberto de la Encina, Mart\u00edn Manuel Garbayo Moreno, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC42975.2020.9282919\"><em>A Cognitive-based Tool to Teach how to Teach<\/em><\/a>. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020. IEEE (2020)<\/li>\n<li>Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germ\u00e1n Andr\u00e9s Delbianco, Ignacio F\u00e1bregas. <a href=\"https:\/\/arxiv.org\/abs\/2010.12686\"><em>On Algebraic Abstractions for Concurrent Separation Logics<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/2010.12686 (2020)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.5381\/jot.2020.19.3.a15\"><em>Model-based Characterization of fine-grained Access Control Authorization for SQL Queries<\/em><\/a>. In Journal of Object Technology, vol. 19. Pg. 3:1-13 (2020)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-63924-2_4\"><em>A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries<\/em><\/a>. In Future Data and Security Engineering &#8211; 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12466. Springer (2020)<\/li>\n<\/ul>\n<h3 id=\"2019\">2019<\/h3>\n<ul>\n<li>Beatriz Santos-Buitrago, Adri\u00e1n Riesco, Merrill Knapp, Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1109\/ACCESS.2019.2896947\"><em>Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information<\/em><\/a>. In IEEE Access, vol. 7. Pg. 18183-18193 (2019)<\/li>\n<li>Cristina Valentina Espinosa, Enrique Martin-Martin, Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1109\/ACCESS.2019.2947361\"><em>FlinkCheck: Property-Based Testing for Apache Flink<\/em><\/a>. In IEEE Access, vol. 7. Pg. 150369-150382 (2019)<\/li>\n<li>Jose Luis Brita-Paja, Carlos Gregorio-Rodr\u00edguez, Luis Llana, Crist\u00f3bal Pareja, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1080\/10494820.2018.1451345\"><em>Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study<\/em><\/a>. In Interactive Learning Environments, vol. 27. Pg. 15-32 (2019)<\/li>\n<li>Rafael Caballero, Enrique Martin-Martin, Adri\u00e1n Riesco, Salvador Tamarit. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2019.05.002\"><em>A core Erlang semantics for declarative debugging<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 107. Pg. 1-37 (2019)<\/li>\n<li>Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1017\/S1471068419000012\"><em>Property-Based Testing for Spark Streaming<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 19. Pg. 574-602 (2019)<\/li>\n<li>Ha Thi Thu Doan, Adri\u00e1n Riesco, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-34992-9_10\"><em>An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms<\/em><\/a>. In Stabilization, Safety, and Security of Distributed Systems &#8211; 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11914. Springer (2019)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2019.34\"><em>Model Checking Strategy-Controlled Rewriting Systems (System Description)<\/em><\/a>. In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. LIPIcs, vol. 131. Schloss Dagstuhl &#8211; Leibniz-Zentrum f\u00fcr Informatik (2019)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"http:\/\/arxiv.org\/abs\/1908.11769\"><em>Compositional specification in rewriting logic<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1908.11769 (2019)<\/li>\n<li>Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Rub\u00e9n Rubio, Carolyn L. Talcott. <a href=\"http:\/\/arxiv.org\/abs\/1910.08416\"><em>Programming and Symbolic Computation in Maude<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1910.08416 (2019)<\/li>\n<li>David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-21571-2_11\"><em>Reversing Steps in Petri Nets<\/em><\/a>. In Application and Theory of Petri Nets and Concurrency &#8211; 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11522. Springer (2019)<\/li>\n<li>David de Frutos-Escrig. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_8\"><em>Petri Nets Are (Not Only) Distributed Automata<\/em><\/a>. In Carl Adam Petri: Ideas, Personality, Impact. Springer (2019)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, \u00c1lvaro Garc\u00eda-P\u00e9rez, Anna Ing\u00f3lfsd\u00f3ttir, Yolanda Ortega-Mall\u00e9n. <a href=\"https:\/\/doi.org\/10.23638\/LMCS-15(4:2)2019\"><em>Rule Formats for Nominal Process Calculi<\/em><\/a>. In Logical Methods in Computer Science, vol. 15 (2019)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1017\/S1471068419000206\"><em>Applying Constraint Logic Programming to SQL Semantic Analysis<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 19. Pg. 808-825 (2019)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.2991\/eusflat-19.2019.113\"><em>WordNet and Prolog: why not?<\/em><\/a>. In Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019. Atlantis Studies in Uncertainty Modelling, vol. 1. Atlantis Press (2019)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"http:\/\/arxiv.org\/abs\/1907.10914\"><em>Applying Constraint Logic Programming to SQL Semantic Analysis<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1907.10914 (2019)<\/li>\n<li>Fernando Rubio, Ismael Rodr\u00edguez. <a href=\"https:\/\/doi.org\/10.1155\/2019\/4034258\"><em>Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems<\/em><\/a>. In Complexity, vol. 2019. Pg. 4034258:1-4034258:13 (2019)<\/li>\n<li>Alberto de la Encina, Natalia L\u00f3pez, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-20518-8_63\"><em>The Problems of Selecting Problems<\/em><\/a>. In Advances in Computational Intelligence &#8211; 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II. Lecture Notes in Computer Science, vol. 11507. Springer (2019)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-20518-8_68\"><em>Towards Applying River Formation Dynamics in Continuous Optimization Problems<\/em><\/a>. In Advances in Computational Intelligence &#8211; 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II. Lecture Notes in Computer Science, vol. 11507. Springer (2019)<\/li>\n<li>Alberto de la Encina, Natalia L\u00f3pez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC.2019.8913988\"><em>Exporting Rain-Fall optimization concepts to Artificial Bee Colony<\/em><\/a>. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)<\/li>\n<li>Iv\u00e1n Cataveral, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC.2019.8913934\"><em>Dealing with Swarm Intelligence on GPUs<\/em><\/a>. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)<\/li>\n<li>Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodr\u00edguez, Gaurav Trivedi. <a href=\"https:\/\/doi.org\/10.1109\/SMC.2019.8914447\"><em>A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems<\/em><\/a>. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, Carlos Gregorio-Rodr\u00edguez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2019.04.005\"><em>Logical characterisations, rule formats and compositionality for input-output conformance simulation<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 106. Pg. 78-106 (2019)<\/li>\n<li>Aleksandar Nanevski, Anindya Banerjee, Germ\u00e1n Andr\u00e9s Delbianco, Ignacio F\u00e1bregas. <a href=\"https:\/\/doi.org\/10.1145\/3360587\"><em>Specifying concurrent programs in separation logic: morphisms and simulations<\/em><\/a>. In Proceedings of the ACM on Programming Languages, vol. 3. Pg. 161:1-161:30 (2019)<\/li>\n<li>Luca Aceto, Dario Della Monica, Ignacio F\u00e1bregas, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1016\/j.tcs.2018.12.004\"><em>When are prime formulae characteristic?<\/em><\/a>. In Theoretical Computer Science, vol. 777. Pg. 3-31 (2019)<\/li>\n<li>Aleksandar Nanevski, Anindya Banerjee, Germ\u00e1n Andr\u00e9s Delbianco, Ignacio F\u00e1bregas. <a href=\"http:\/\/arxiv.org\/abs\/1904.07136\"><em>Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1904.07136 (2019)<\/li>\n<li>Christiano Braga. <a href=\"https:\/\/doi.org\/10.1145\/3297280.3299740\"><em>\u03c0: towards a simple formal semantic framework for compiler construction<\/em><\/a>. In Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019. ACM (2019)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda, Xindong Peng, Jianming Zhan. <a href=\"https:\/\/doi.org\/10.3390\/sym11050714\"><em>Dual Extended Hesitant Fuzzy Sets<\/em><\/a>. In Symmetry, vol. 11. Pg. 714 (2019)<\/li>\n<li>Hoang Nguyen Phuoc Bao, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-35653-8_13\"><em>OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering<\/em><\/a>. In Future Data and Security Engineering &#8211; 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11814. Springer (2019)<\/li>\n<li>Manuel Clavel, Hoang Nguyen Phuoc Bao. <a href=\"http:\/\/ceur-ws.org\/Vol-2513\/paper1.pdf\"><em>Mapping OCL into SQL: Challenges and Opportunities Ahead<\/em><\/a>. In 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE\/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019. CEUR Workshop Proceedings, vol. 2513. CEUR-WS.org (2019)<\/li>\n<\/ul>\n<h3 id=\"2018\">2018<\/h3>\n<ul>\n<li>Francisco Javier L\u00f3pez-Fraguas, Manuel Montenegro, Gorka Su\u00e1rez-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.29007\/w2m2\"><em>Polymorphic success types for Erlang<\/em><\/a>. In LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. EPiC Series in Computing, vol. 57. EasyChair (2018)<\/li>\n<li>Enrique Martin-Martin, Adri\u00e1n Riesco, Manuel Rodriguez. <a href=\"https:\/\/doi.org\/10.1109\/ACCESS.2018.2876564\"><em>A Language-Independent Technique for Assessing Tweet Success: An Experience Report<\/em><\/a>. In IEEE Access, vol. 6. Pg. 62384-62395 (2018)<\/li>\n<li>Rafael Caballero, Enrique Martin-Martin, Adri\u00e1n Riesco, Salvador Tamarit. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2018.07.005\"><em>Declarative debugging of concurrent Erlang programs<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 101. Pg. 22-41 (2018)<\/li>\n<li>Irina Mariuca Asavoae, Mihail Asavoae, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/s10009-018-0500-y\"><em>Slicing from formal semantics: Chisel &#8211; a tool for generic program slicing<\/em><\/a>. In International Journal on Software Tools for Technology Transfer (STTT), vol. 20. Pg. 739-769 (2018)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1145\/3208951\"><em>Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores<\/em><\/a>. In ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 27. Pg. 6:1-6:32 (2018)<\/li>\n<li>Daniel G\u00e2in\u00e2, Ionut Tutu, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1109\/APSEC.2018.00024\"><em>Specification and Verification of Invariant Properties of Transition Systems<\/em><\/a>. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. IEEE (2018)<\/li>\n<li>Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-90686-7_13\"><em>Model Checking Parameterized by the Semantics in Maude<\/em><\/a>. In Functional and Logic Programming &#8211; 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818. Springer (2018)<\/li>\n<li>Irina Mariuca Asavoae, Mihail Asavoae, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-94111-0_19\"><em>Context-Updates Analysis and Refinement in Chisel<\/em><\/a>. In Model Checking Software &#8211; 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10869. Springer (2018)<\/li>\n<li>Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_3\"><em>MUnit: A Unit Framework for Maude<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11152. Springer (2018)<\/li>\n<li>Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"http:\/\/arxiv.org\/abs\/1812.11838\"><em>Property-based testing for Spark Streaming<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1812.11838 (2018)<\/li>\n<li>Luis Aguirre, Narciso Mart\u00ed-Oliet, Miguel Palomino, Isabel Pita. <a href=\"https:\/\/doi.org\/10.1007\/s10817-017-9417-5\"><em>Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude<\/em><\/a>. In Journal of Automated Reasoning, vol. 60. Pg. 421-463 (2018)<\/li>\n<li>Rub\u00e9n Rubio, Narciso Mart\u00ed-Oliet, Isabel Pita, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-030-23220-7_2\"><em>Parameterized Strategies Specification in Maude<\/em><\/a>. In Recent Trends in Algebraic Development Techniques &#8211; 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science, vol. 11563. Springer (2018)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_4\"><em>Parameterized Programming for Compositional System Specification<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11152. Springer (2018)<\/li>\n<li>Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_6\"><em>Associative Unification and Symbolic Reasoning Modulo Associativity in Maude<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11152. Springer (2018)<\/li>\n<li>David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-91268-4_11\"><em>An Efficient Characterization of Petri Net Solvable Binary Words<\/em><\/a>. In Application and Theory of Petri Nets and Concurrency &#8211; 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10877. Springer (2018)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, \u00c1lvaro Garc\u00eda-P\u00e9rez, Anna Ing\u00f3lfsd\u00f3ttir, Yolanda Ortega-Mall\u00e9n. <a href=\"http:\/\/arxiv.org\/abs\/1807.02081\"><em>Rule Formats for Nominal Process Calculi<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1807.02081 (2018)<\/li>\n<li>James Lipton, Susana Nieva. <a href=\"https:\/\/doi.org\/10.1016\/j.tcs.2017.11.005\"><em>Kripke semantics for higher-order type theory applied to constraint logic programming languages<\/em><\/a>. In Theoretical Computer Science, vol. 712. Pg. 1-37 (2018)<\/li>\n<li>Jes\u00fas Correas Fern\u00e1ndez, Sonia Est\u00e9vez Mart\u00edn, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2017.09.056\"><em>Enhancing set constraint solvers with bound consistency<\/em><\/a>. In Expert Systems with Applications, vol. 92. Pg. 485-494 (2018)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2017.12.007\"><em>Relational calculi in a deductive system<\/em><\/a>. In Expert Systems with Applications, vol. 97. Pg. 106-116 (2018)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1109\/TFUZZ.2018.2806923\"><em>A Fuzzy Datalog Deductive Database System<\/em><\/a>. In IEEE Transactions on Fuzzy Systems, vol. 26. Pg. 2634-2648 (2018)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491593\"><em>An Efficient Proximity-based Unification Algorithm<\/em><\/a>. In 2018 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2018, Rio de Janeiro, Brazil, July 8-13, 2018. IEEE (2018)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1108\/JSIT-11-2018-121\"><em>Guest editorial<\/em><\/a>. In Journal of Systems and Information Technology, vol. 20. Pg. 402-403 (2018)<\/li>\n<li>Mercedes Hidalgo-Herrero, Alberto de la Encina, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1109\/SMC.2018.00011\"><em>Selecting Algorithms by Using ATD<\/em><\/a>. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018. IEEE (2018)<\/li>\n<li>Andre Metelo, Christiano Braga, Diego N. Brand\u00e3o. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-95162-1_6\"><em>Towards the Modular Specification and Validation of Cyber-Physical Systems &#8211; A Case-Study on Reservoir Modeling with Hybrid Automata<\/em><\/a>. In Computational Science and Its Applications &#8211; ICCSA 2018 &#8211; 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I. Lecture Notes in Computer Science, vol. 10960. Springer (2018)<\/li>\n<li>Andre Metelo, Christiano Braga, Diego N. Brand\u00e3o. <a href=\"http:\/\/arxiv.org\/abs\/1803.03173\"><em>Towards the Modular Specification and Validation of Cyber-Physical Systems<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1803.03173 (2018)<\/li>\n<li>Christiano Braga. <a href=\"http:\/\/arxiv.org\/abs\/1805.04650\"><em>Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1805.04650 (2018)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-91476-3_48\"><em>Decision Making Under Incompleteness Based on Soft Set Theory<\/em><\/a>. In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations &#8211; 17th International Conference, IPMU 2018, C\u00e1diz, Spain, June 11-15, 2018, Proceedings, Part II. Communications in Computer and Information Science, vol. 854. Springer (2018)<\/li>\n<\/ul>\n<h3 id=\"2017\">2017<\/h3>\n<ul>\n<li>Manuel Montenegro, Susana Nieva, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_20\"><em>Liquid Types for Array Invariant Synthesis<\/em><\/a>. In Automated Technology for Verification and Analysis &#8211; 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10482. Springer (2017)<\/li>\n<li>Rafael Caballero, Adri\u00e1n Riesco, Josep Silva. <a href=\"https:\/\/doi.org\/10.1145\/3106740\"><em>A Survey of Algorithmic Debugging<\/em><\/a>. In ACM Computing Surveys, vol. 50. Pg. 60:1-60:35 (2017)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata, Kokichi Futatsugi. <a href=\"https:\/\/doi.org\/10.1007\/s00165-016-0398-7\"><em>A Maude environment for CafeOBJ<\/em><\/a>. In Formal Aspects of Computing, vol. 29. Pg. 309-334 (2017)<\/li>\n<li>Adri\u00e1n Riesco, Irina Mariuca Asavoae, Mihail Asavoae. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_21\"><em>Slicing from Formal Semantics: Chisel<\/em><\/a>. In Fundamental Approaches to Software Engineering &#8211; 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10202. Springer (2017)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-67729-3_1\"><em>A Formal Proof Generator from Semi-formal Proof Documents<\/em><\/a>. In Theoretical Aspects of Computing &#8211; ICTAC 2017 &#8211; 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10580. Springer (2017)<\/li>\n<li>Beatriz Santos-Buitrago, Adri\u00e1n Riesco, Merrill Knapp, Gustavo Santos-Garc\u00eda, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-60816-7_13\"><em>Reverse Inference in Symbolic Systems Biology<\/em><\/a>. In 11th International Conference on Practical Applications of Computational Biology &amp; Bioinformatics, PACBB 2017, Porto, Portugal, 21-23 June, 2017. Advances in Intelligent Systems and Computing, vol. 616. Springer (2017)<\/li>\n<li>Irina Mariuca Asavoae, Mihail Asavoae, Adri\u00e1n Riesco. <a href=\"http:\/\/arxiv.org\/abs\/1709.06897\"><em>Context-Updates Analysis and Refinement in Chisel<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1709.06897 (2017)<\/li>\n<li>Luis Aguirre, Narciso Mart\u00ed-Oliet, Miguel Palomino, Isabel Pita. <a href=\"https:\/\/doi.org\/10.1145\/3131851.3131856\"><em>Conditional narrowing modulo SMT and axioms<\/em><\/a>. In Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 &#8211; 11, 2017. ACM (2017)<\/li>\n<li>Luca Aceto, David de Frutos-Escrig. <a href=\"https:\/\/doi.org\/10.1007\/s00236-017-0292-7\"><em>Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)<\/em><\/a>. In Acta Informatica, vol. 54. Pg. 1-2 (2017)<\/li>\n<li>Luca Aceto, David de Frutos-Escrig, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.14232\/actacyb.23.1.2017.6\"><em>Trace Simulation Semantics is not Finitely Based over BCCSP<\/em><\/a>. In Acta Cybernetica, vol. 23. Pg. 81-90 (2017)<\/li>\n<li>David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. <a href=\"https:\/\/doi.org\/10.23638\/LMCS-13(4:15)2017\"><em>Games for Bisimulations and Abstraction<\/em><\/a>. In Logical Methods in Computer Science, vol. 13 (2017)<\/li>\n<li>Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco. <a href=\"https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2017.11\"><em>Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking<\/em><\/a>. In 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPIcs, vol. 90. Schloss Dagstuhl &#8211; Leibniz-Zentrum f\u00fcr Informatik (2017)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, \u00c1lvaro Garc\u00eda-P\u00e9rez, Anna Ing\u00f3lfsd\u00f3ttir, Yolanda Ortega-Mall\u00e9n. <a href=\"https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2017.10\"><em>Rule Formats for Nominal Process Calculi<\/em><\/a>. In 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. LIPIcs, vol. 85. Schloss Dagstuhl &#8211; Leibniz-Zentrum f\u00fcr Informatik (2017)<\/li>\n<li>Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2017.8015580\"><em>FuzzyDES or how DES Met Bousi-Prolog<\/em><\/a>. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017. IEEE (2017)<\/li>\n<li>Ismael Rodr\u00edguez, Pablo Rabanal, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.asoc.2017.01.036\"><em>How to make a best-seller: Optimal product design problems<\/em><\/a>. In Applied Soft Computing, vol. 55. Pg. 178-196 (2017)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.jocs.2017.08.002\"><em>Applications of river formation dynamics<\/em><\/a>. In Journal of Computational Science, vol. 22. Pg. 26-35 (2017)<\/li>\n<li>Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodr\u00edguez. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-59153-7_1\"><em>A Parallel Swarm Library Based on Functional Programming<\/em><\/a>. In Advances in Computational Intelligence &#8211; 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I. Lecture Notes in Computer Science, vol. 10305. Springer (2017)<\/li>\n<li>Pablo Rabanal, Jos\u00e9 Antonio Mateo, Ismael Rodr\u00edguez, Gregorio D\u00edaz. <a href=\"https:\/\/doi.org\/10.1016\/j.csi.2017.03.001\"><em>Data-aware automatic derivation of choreography-conforming systems of services<\/em><\/a>. In Computer Standards &amp; Interfaces, vol. 53. Pg. 59-79 (2017)<\/li>\n<li>Fernando Rosa-Velardo. <a href=\"https:\/\/doi.org\/10.1016\/j.ic.2017.02.002\"><em>Ordinal recursive complexity of Unordered Data Nets<\/em><\/a>. In Information and Computation, vol. 254. Pg. 41-58 (2017)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, \u00c1lvaro Garc\u00eda-P\u00e9rez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2017.03.002\"><em>A unified rule format for bounded nondeterminism in SOS with terms as labels<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 92. Pg. 64-86 (2017)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, Carlos Gregorio-Rodr\u00edguez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-51963-0_4\"><em>Logical Characterisations and Compositionality of Input-Output Conformance Simulation<\/em><\/a>. In SOFSEM 2017: Theory and Practice of Computer Science &#8211; 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10139. Springer (2017)<\/li>\n<li>Christiano Braga. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2017.06.003\"><em>Preface to Special issue with extended selected papers from FACS 2015<\/em><\/a>. In Science of Computer Programming, vol. 146. Pg. 1 (2017)<\/li>\n<li>Christiano Braga, Edward Hermann Haeusler. <a href=\"http:\/\/arxiv.org\/abs\/1709.02018\"><em>Normative Multi-Agent Systems and Kelsenian Jurisprudence<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1709.02018 (2017)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.2991\/ijcis.2017.10.1.27\"><em>A New Criterion for Soft Set Based Decision Making Problems under Incomplete Information<\/em><\/a>. In International Journal of Computational Intelligence Systems, vol. 10. Pg. 394-404 (2017)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2017.8015758\"><em>Expanded hesitant fuzzy sets and group decision making<\/em><\/a>. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017. IEEE (2017)<\/li>\n<li>Adri\u00e1n Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas, Merrill Knapp, Gustavo Santos-Garc\u00eda y Carolyn Talcott.<em> <a href=\"https:\/\/www.hindawi.com\/journals\/bmri\/2017\/1809513\/\"><em>Epidermal growth factor signaling towards proliferation: Modeling and logic inference using forward and backward search<\/em><\/a>. BioMed Research International, 2017:11, 2017.<\/em><\/li>\n<\/ul>\n<h3 id=\"2016\">2016<\/h3>\n<ul>\n<li>Luca Aceto, Ignacio F\u00e1bregas, \u00c1lvaro Garc\u00eda-P\u00e9rez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-319-27810-0_16\"><em>Rule formats for bounded nondeterminism in nominal structural operational semantics<\/em><\/a>. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, Pg. 30-34 (2016)<\/li>\n<li>Luca Aceto, Ignacio F\u00e1bregas, Carlos Gregorio-Rodr\u00edguez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"http:\/\/icetcs.ru.is\/nwpt2015\/SLIDES\/Ignacio.pdf\"><em>A logical characterisation for input output conformance simulation iocos<\/em><\/a>. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, Pg. 87-89 (2016)<\/li>\n<li>Francisco Javier L\u00f3pez-Fraguas, Manuel Montenegro, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_12\"><em>Polymorphic Types in Erlang Function Specifications<\/em><\/a>. In Functional and Logic Programming &#8211; 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9613. Springer (2016)<\/li>\n<li>Adri\u00e1n Riesco, Kazuhiro Ogata, Kokichi Futatsugi. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_22\"><em>CafeInMaude: A CafeOBJ Interpreter in Maude<\/em><\/a>. In Fundamental Approaches to Software Engineering &#8211; 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9633. Springer (2016)<\/li>\n<li>Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_25\"><em>Temporal Random Testing for Spark Streaming<\/em><\/a>. In Integrated Formal Methods &#8211; 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9681. Springer (2016)<\/li>\n<li>Gustavo Santos-Garc\u00eda, Carolyn L. Talcott, Adri\u00e1n Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-40126-3_18\"><em>Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach<\/em><\/a>. In 10th International Conference on Practical Applications of Computational Biology &amp; Bioinformatics, PACBB 2016, Sevilla, Spain, 1-3 June 2016. Advances in Intelligent Systems and Computing, vol. 477. Springer (2016)<\/li>\n<li>Salvador Tamarit, Adri\u00e1n Riesco, Enrique Martin-Martin, Rafael Caballero. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-41135-4_10\"><em>Debugging Meets Testing in Erlang<\/em><\/a>. In Tests and Proofs &#8211; 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9762. Springer (2016)<\/li>\n<li>Christiano Braga, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2016.05.006\"><em>Preface to SCP special issue with extended selected papers from SBMF 2014<\/em><\/a>. In Science of Computer Programming, vol. 126. Pg. 1-2 (2016)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-46520-3_10\"><em>Synchronous Products of Rewrite Systems<\/em><\/a>. In Automated Technology for Verification and Analysis &#8211; 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9938 (2016)<\/li>\n<li>Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-40229-1_13\"><em>Built-in Variant Generation and Unification, and Their Applications in Maude 2.7<\/em><\/a>. In Automated Reasoning &#8211; 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 &#8211; July 2, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9706. Springer (2016)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-44802-2_6\"><em>Egalitarian State-Transition Systems<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9942. Springer (2016)<\/li>\n<li>David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-39570-8_10\"><em>Branching Bisimulation Games<\/em><\/a>. In Formal Techniques for Distributed Objects, Components, and Systems &#8211; 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9688. Springer (2016)<\/li>\n<li>David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. <a href=\"http:\/\/arxiv.org\/abs\/1611.00401\"><em>Games for Bisimulations and Abstraction<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1611.00401 (2016)<\/li>\n<li>Ricardo Pe\u00f1a. <a href=\"https:\/\/doi.org\/10.4204\/EPTCS.237.5\"><em>An Introduction to Liquid Haskell<\/em><\/a>. In Proceedings XVI Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS, vol. 237 (2016)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-63139-4_17\"><em>Intuitionistic Logic Programming for SQL<\/em><\/a>. In Logic-Based Program Synthesis and Transformation &#8211; 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, vol. 10184. Springer (2016)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"http:\/\/arxiv.org\/abs\/1608.03535\"><em>Intuitionistic Logic Programming for SQL (Extended Abstract)<\/em><\/a>. In arXiv Computing Research Repository (CoRR), vol. abs\/1608.03535 (2016)<\/li>\n<li>Ismael Rodr\u00edguez, Fernando Rubio, Pablo Rabanal. <a href=\"https:\/\/doi.org\/10.1109\/CEC.2016.7748345\"><em>Automatic media planning: Optimal advertisement placement problems<\/em><\/a>. In IEEE Congress on Evolutionary Computation, CEC 2016, Vancouver, BC, Canada, July 24-29, 2016. IEEE (2016)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.procs.2016.05.321\"><em>Assessing Metaheuristics by Means of Random Benchmarks<\/em><\/a>. In International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA. Procedia Computer Science, vol. 80. Elsevier (2016)<\/li>\n<li>Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga. <a href=\"https:\/\/doi.org\/10.1145\/2851613.2851979\"><em>Detecting indirect conflicts between access control policies<\/em><\/a>. In Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. ACM (2016)<\/li>\n<li>Hugo Farias, Christiano Braga, Paulo Blauth Menezes. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-49815-7_11\"><em>Massive Open Online Courses and Monoids<\/em><\/a>. In Formal Methods: Foundations and Applications &#8211; 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science, vol. 10090 (2016)<\/li>\n<li>Christiano Braga, Peter Csaba \u00d6lveczky (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-28934-2\"><em>Formal Aspects of Component Software &#8211; 12th International Conference, FACS 2015, Niter\u00f3i, Brazil, October 14-16, 2015, Revised Selected Papers<\/em><\/a>. Lecture Notes in Computer Science, vol. 9539. ISBN 978-3-319-28933-5. Springer (2016)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-40111-9_2\"><em>Incomplete Soft Sets: New Solutions for Decision Making Problems<\/em><\/a>. In Decision Economics, In Commemoration of the Birth Centennial of Herbert A. Simon 1916-2016 (Nobel Prize in Economics 1978) &#8211; Distributed Computing and Artificial Intelligence, 13th International Conference. Advances in Intelligent Systems and Computing, vol. 475. Springer (2016)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/pdfs.semanticscholar.org\/b25b\/571c6f4a0ffe1e1050f5f4eab9ac0f28dc36.pdf\"><em>A soft set approach for multiple attributes decision making problems under incomplete information<\/em><\/a>. En J. C. C. Lucas J\u00f3dar y L. Acedo, editores, Modelling for Engineering, &amp; Human Behaviour 2016, Pg. 7-11. Instituto Universitario de Matem\u00e1tica Multidisciplinar Universitat Polit\u00e8cnica de Val\u00e8ncia (2016).<\/li>\n<li>Carolina Dania, Manuel Clavel. <a href=\"http:\/\/dl.acm.org\/citation.cfm?id=2976774\"><em>OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints<\/em><\/a>. In Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. ACM (2016)<\/li>\n<li>Christiano Braga, David Deharbe, Anamaria Martins Moreira y Narciso Mart\u00ed-Oliet. <em>A rewriting logic semantics for the generalized substitution language<\/em>. En S. A. da Costa Cavalheiro et al., editor, ETMF 2016, 1<sup>a<\/sup> Escola de Inform\u00e1tica Te\u00f3rica e M\u00e9todos Formais, Pg. 93-103. Anais Escola de Inform\u00e1tica Te\u00f3rica e M\u00e9todos Formais, Natal, Sociedade Brasileira de Computa\u00e7\u00e3o (2016)<\/li>\n<\/ul>\n<h3 id=\"2015\">2015<\/h3>\n<ul>\n<li>Manuel Montenegro, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2014.12.006\"><em>Shape analysis in a functional language by using regular languages<\/em><\/a>. In Science of Computer Programming, vol. 111. Pg. 51-78 (2015)<\/li>\n<li>Manuel Montenegro, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2014.04.006\"><em>Space consumption analysis by abstract interpretation: Inference of recursive functions<\/em><\/a>. In Science of Computer Programming, vol. 111. Pg. 426-457 (2015)<\/li>\n<li>Manuel Montenegro, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2014.04.014\"><em>Space consumption analysis by abstract interpretation: Reductivity properties<\/em><\/a>. In Science of Computer Programming, vol. 111. Pg. 458-482 (2015)<\/li>\n<li>Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_13\"><em>Checking Java Assertions Using Automated Test-Case Generation<\/em><\/a>. In Logic-Based Program Synthesis and Transformation &#8211; 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)<\/li>\n<li>Manuel Montenegro, Ricardo Pe\u00f1a, Jaime S\u00e1nchez-Hern\u00e1ndez. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_14\"><em>A Generic Intermediate Representation for Verification Condition Generation<\/em><\/a>. In Logic-Based Program Synthesis and Transformation &#8211; 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)<\/li>\n<li>Rafael Caballero, Enrique Martin-Martin, Adri\u00e1n Riesco, Salvador Tamarit. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2015.06.011\"><em>A zoom-declarative debugger for sequential Erlang programs<\/em><\/a>. In Science of Computer Programming, vol. 110. Pg. 104-118 (2015)<\/li>\n<li>Isabel Pita, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-25150-9_30\"><em>Specifying and Analyzing the Kademlia Protocol in Maude<\/em><\/a>. In Theoretical Aspects of Computing &#8211; ICTAC 2015 &#8211; 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9399. Springer (2015)<\/li>\n<li>Adri\u00e1n Riesco, Irina Mariuca Asavoae, Mihail Asavoae. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-27436-2_18\"><em>Memory Policy Analysis for Semantics Specifications in Maude<\/em><\/a>. In Logic-Based Program Synthesis and Transformation &#8211; 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)<\/li>\n<li>Francisco Dur\u00e1n, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2014.08.002\"><em>Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)<\/em><\/a>. In Science of Computer Programming, vol. 99. Pg. 1-2 (2015)<\/li>\n<li>Narciso Mart\u00ed-Oliet, Peter Csaba \u00d6lveczky, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-23165-5_1\"><em>Jos\u00e9 Meseguer: Scientist and Friend Extraordinaire<\/em><\/a>. In Logic, Rewriting, and Concurrency &#8211; Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)<\/li>\n<li>Luis Aguirre, Narciso Mart\u00ed-Oliet, Miguel Palomino, Isabel Pita. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-23165-5_2\"><em>Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude<\/em><\/a>. In Logic, Rewriting, and Concurrency &#8211; Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)<\/li>\n<li>Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-23165-5_11\"><em>Two Decades of Maude<\/em><\/a>. In Logic, Rewriting, and Concurrency &#8211; Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)<\/li>\n<li>Narciso Mart\u00ed-Oliet, Peter Csaba \u00d6lveczky, Carolyn L. Talcott (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-23165-5\"><em>Logic, Rewriting, and Concurrency &#8211; Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday<\/em><\/a>. Lecture Notes in Computer Science, vol. 9200. ISBN 978-3-319-23164-8. Springer (2015)<\/li>\n<li>Christiano Braga, Narciso Mart\u00ed-Oliet (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-15075-8\"><em>Formal Methods: Foundations and Applications &#8211; 17th Brazilian Symposium, SBMF 2014, Macei\u00f3, AL, Brazil, September 29-October 1, 2014. Proceedings<\/em><\/a>. Lecture Notes in Computer Science, vol. 8941. ISBN 978-3-319-15074-1. Springer (2015)<\/li>\n<li>David Romero-Hern\u00e1ndez, David de Frutos-Escrig, Dario Della Monica. <a href=\"https:\/\/doi.org\/10.4204\/EPTCS.200.4\"><em>Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story<\/em><\/a>. In Proceedings XV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS, vol. 200 (2015)<\/li>\n<li>Luca Aceto, David de Frutos-Escrig (editors). <a href=\"http:\/\/www.dagstuhl.de\/dagpub\/978-3-939897-91-0\"><em>26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015<\/em><\/a>. LIPIcs, vol. 42. ISBN 978-3-939897-91-0. Schloss Dagstuhl &#8211; Leibniz-Zentrum f\u00fcr Informatik (2015)<\/li>\n<li>Hans-Wolfgang Loidl, Ricardo Pe\u00f1a. <a href=\"https:\/\/doi.org\/10.1016\/j.cl.2015.09.001\"><em>Editorial of Special Issue Trends in Functional Programming 2011\/12<\/em><\/a>. In Computer Languages, Systems &amp; Structures, vol. 44. Pg. 141-142 (2015)<\/li>\n<li>Francisco Javier L\u00f3pez-Fraguas, Enrique Martin-Martin, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1017\/S0960129513000091\"><em>A liberal type system for functional logic programs<\/em><\/a>. In Mathematical Structures in Computer Science (MSCS), vol. 25. Pg. 942-977 (2015)<\/li>\n<li>Francisco J. \u00c1lvarez-Montero, Fernando S\u00e1enz-P\u00e9rez, Antonio Vaquero-S\u00e1nchez. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2014.08.055\"><em>Using Datalog to provide just-in-time feedback during the construction of concept maps<\/em><\/a>. In Expert Systems with Applications, vol. 42. Pg. 1362-1375 (2015)<\/li>\n<li>Rafael Caballero, Yolanda Garc\u00eda-Ruiz, Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.1145\/2790449.2790522\"><em>Debugging of wrong and missing answers for datalog programs with constraint handling rules<\/em><\/a>. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM (2015)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.4204\/EPTCS.200.5\"><em>Restricted Predicates for Hypothetical Datalog<\/em><\/a>. In Proceedings XV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS, vol. 200 (2015)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1145\/2739482.2764672\"><em>On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods<\/em><\/a>. In Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. ACM (2015)<\/li>\n<li>Natalia L\u00f3pez, Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1016\/j.procs.2015.05.389\"><em>A Formal Method for Parallel Genetic Algorithms<\/em><\/a>. In Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjav\u00edk, Iceland, 1-3 June, 2015, 2014. Procedia Computer Science, vol. 51. Elsevier (2015)<\/li>\n<li>Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-46669-8_22\"><em>Analysis of Asynchronous Programs with Event-Based Synchronization<\/em><\/a>. In Programming Languages and Systems &#8211; 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science, vol. 9032. Springer (2015)<\/li>\n<li>Luca Aceto, Dario Della Monica, Ignacio F\u00e1bregas, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-48057-1_6\"><em>When Are Prime Formulae Characteristic?<\/em><\/a>. In Mathematical Foundations of Computer Science 2015 &#8211; 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science, vol. 9234. Springer (2015)<\/li>\n<li>Baldoino Fonseca dos Santos Neto, M\u00e1rcio Ribeiro, Viviane Torres da Silva, Christiano Braga, Carlos Jos\u00e9 Pereira de Lucena, Evandro de Barros Costa. <a href=\"https:\/\/doi.org\/10.1016\/j.eswa.2014.09.022\"><em>AutoRefactoring: A platform to build refactoring agents<\/em><\/a>. In Expert Systems with Applications, vol. 42. Pg. 1652-1664 (2015)<\/li>\n<li>Joel Andr\u00e9 Ferreira dos Santos, Christiano Braga, D\u00e9bora C. Muchaluat-Saade. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2015.04.006\"><em>A rewriting logic semantics for NCL<\/em><\/a>. In Science of Computer Programming, vol. 107-108. Pg. 64-92 (2015)<\/li>\n<li>Joel Andr\u00e9 Ferreira dos Santos, Christiano Braga, D\u00e9bora C. Muchaluat-Saade, C\u00e9cile Roisin, Nabil Laya\u00efda. <a href=\"https:\/\/doi.org\/10.1145\/2682571.2797060\"><em>Spatio-temporal Validation of Multimedia Documents<\/em><\/a>. In Proceedings of the 2015 ACM Symposium on Document Engineering, DocEng 2015, Lausanne, Switzerland, September 8-11, 2015. ACM (2015)<\/li>\n<li>Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn. <a href=\"https:\/\/doi.org\/10.5220\/0005350304520461\"><em>Indirect Normative Conflict &#8211; Conflict that Depends on the Application Domain<\/em><\/a>. In ICEIS 2015 &#8211; Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30 April, 2015. SciTePress (2015)<\/li>\n<li>Christiano Braga, Bruno Lopes. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-29473-5_5\"><em>Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case<\/em><\/a>. In Formal Methods: Foundations and Applications &#8211; 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9526. Springer (2015)<\/li>\n<li>Jos\u00e9 Carlos R. Alcantud, Gustavo Santos-Garc\u00eda, Emiliano Hern\u00e1ndez Galilea. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-24598-0_5\"><em>Glaucoma Diagnosis: A Soft Set Based Decision Making Procedure<\/em><\/a>. In Advances in Artificial Intelligence &#8211; 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-12, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9422. Springer (2015)<\/li>\n<li>Gustavo Santos-Garc\u00eda, Carolyn L. Talcott, Javier De Las Rivas. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-26916-0_13\"><em>Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand\/Receptor Systems Modeled by Pathway Logic<\/em><\/a>. In Hybrid Systems Biology &#8211; Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9271. Springer (2015)<\/li>\n<li>Miguel Angel Garc\u00eda de Dios, Carolina Dania, Manuel Clavel. <a href=\"http:\/\/crpit.scem.westernsydney.edu.au\/abstracts\/CRPITV165deDios.html\"><em>Formal Reasoning about Fine-Grained Access Control Policies<\/em><\/a>. In 11th Asia-Pacific Conference on Conceptual Modelling, APCCM 2015, Sydney, Australia, January 2015. CRPIT, vol. 165. Australian Computer Society (2015)<\/li>\n<li>Carlos Cotrini Jim\u00e9nez, Thilo Weghorn, David A. Basin, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1109\/CSF.2015.8\"><em>Analyzing First-Order Role Based Access Control<\/em><\/a>. In IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. IEEE Computer Society (2015)<\/li>\n<li>Carolina Dania, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_15\"><em>Model-Based Formal Reasoning about Data-Management Applications<\/em><\/a>. In Fundamental Approaches to Software Engineering &#8211; 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science, vol. 9033. Springer (2015)<\/li>\n<\/ul>\n<h3 id=\"2014\">2014<\/h3>\n<ul>\n<li>Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen. <a href=\"https:\/\/doi.org\/10.1002\/cpe.3154\"><em>ResAna: a resource analysis toolset for (real-time) JAVA<\/em><\/a>. In Concurrency and Computation: Practice and Experience, vol. 26. Pg. 2432-2455 (2014)<\/li>\n<li>Manuel Montenegro, Ricardo Pe\u00f1a, Clara Segura. <a href=\"https:\/\/doi.org\/10.1016\/j.ic.2014.01.003\"><em>A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation<\/em><\/a>. In Information and Computation, vol. 235. Pg. 3-35 (2014)<\/li>\n<li>Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1017\/S147106841200004X\"><em>Singular and plural functions for functional logic programming<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 14. Pg. 65-116 (2014)<\/li>\n<li>Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_4\"><em>Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging<\/em><\/a>. In Functional and Logic Programming &#8211; 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8475. Springer (2014)<\/li>\n<li>Irina Mariuca Asavoae, Mihail Asavoae, Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-10181-1_18\"><em>Towards a Formal Semantics-Based Technique for Interprocedural Slicing<\/em><\/a>. In Integrated Formal Methods &#8211; 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science, vol. 8739. Springer (2014)<\/li>\n<li>Rafael Caballero, Enrique Martin-Martin, Adri\u00e1n Riesco, Salvador Tamarit. <a href=\"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_49\"><em>EDD: A Declarative Debugger for Sequential Erlang Programs<\/em><\/a>. In Tools and Algorithms for the Construction and Analysis of Systems &#8211; 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8413. Springer (2014)<\/li>\n<li>Adri\u00e1n Riesco. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-12904-4_13\"><em>An Integration of CafeOBJ into Full Maude<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science, vol. 8663. Springer (2014)<\/li>\n<li>Adri\u00e1n Riesco, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.4204\/EPTCS.173.7\"><em>Lifting Term Rewriting Derivations in Constructor Systems by Using Generators<\/em><\/a>. In Proceedings XIV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS, vol. 173 (2014)<\/li>\n<li>\u00d3scar Mart\u00edn, Alberto Verdejo, Narciso Mart\u00ed-Oliet. <a href=\"https:\/\/doi.org\/10.1007\/978-3-642-54624-2_7\"><em>Model Checking TLR* Guarantee Formulas on Infinite Systems<\/em><\/a>. In Specification, Algebra, and Software &#8211; Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science, vol. 8373. Springer (2014)<\/li>\n<li>Narciso Mart\u00ed-Oliet, Francisco Dur\u00e1n, Alberto Verdejo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-15075-8_2\"><em>Equational Abstractions in Rewriting Logic and Maude<\/em><\/a>. In Formal Methods: Foundations and Applications &#8211; 17th Brazilian Symposium, SBMF 2014, Macei\u00f3, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8941. Springer (2014)<\/li>\n<li>Luis Aguirre, Narciso Mart\u00ed-Oliet, Miguel Palomino, Isabel Pita. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-12904-4_4\"><em>Conditional Narrowing Modulo in Rewriting Logic and Maude<\/em><\/a>. In Rewriting Logic and Its Applications &#8211; 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science, vol. 8663. Springer (2014)<\/li>\n<li>Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodr\u00edguez, Anna Ing\u00f3lfsd\u00f3ttir. <a href=\"https:\/\/doi.org\/10.1016\/j.tcs.2013.03.013\"><em>Axiomatizing weak simulation semantics over BCCSP<\/em><\/a>. In Theoretical Computer Science, vol. 537. Pg. 42-71 (2014)<\/li>\n<li>David Romero-Hern\u00e1ndez, David de Frutos-Escrig. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-43613-4_16\"><em>Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances<\/em><\/a>. In Formal Techniques for Distributed Objects, Components, and Systems &#8211; 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8461. Springer (2014)<\/li>\n<li>Ugo Dal Lago, Ricardo Pe\u00f1a (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-12466-7\"><em>Foundational and Practical Aspects of Resource Analysis &#8211; Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers<\/em><\/a>. Lecture Notes in Computer Science, vol. 8552. ISBN 978-3-319-12465-0. Springer (2014)<\/li>\n<li>Gopal Gupta, Ricardo Pe\u00f1a (editors). <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-14125-1\"><em>Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers<\/em><\/a>. Lecture Notes in Computer Science, vol. 8901. ISBN 978-3-319-14124-4. Springer (2014)<\/li>\n<li>Francisco Javier L\u00f3pez-Fraguas, Enrique Martin-Martin, Juan Rodr\u00edguez-Hortal\u00e1. <a href=\"https:\/\/doi.org\/10.1016\/j.ic.2014.01.004\"><em>Safe typing of functional logic programs with opaque patterns and local bindings<\/em><\/a>. In Information and Computation, vol. 235. Pg. 36-69 (2014)<\/li>\n<li>Francisco Javier L\u00f3pez-Fraguas, Enrique Martin-Martin, Juan Rodr\u00edguez-Hortal\u00e1, Jaime S\u00e1nchez-Hern\u00e1ndez. <a href=\"https:\/\/doi.org\/10.1017\/S1471068412000373\"><em>Rewriting and narrowing for constructor systems with call-time choice semantics<\/em><\/a>. In Theory and Practice of Logic Programming (TPLP), vol. 14. Pg. 165-213 (2014)<\/li>\n<li>Hua-Huai Chern, Mar\u00eda-In\u00e9s Fern\u00e1ndez-Camacho, Hsien-Kuei Hwang, Conrado Mart\u00ednez. <a href=\"https:\/\/doi.org\/10.1002\/rsa.20428\"><em>Psi-series method for equality of random trees and quadratic convolution recurrences<\/em><\/a>. In Random Structures and Algorithms, vol. 44. Pg. 67-108 (2014)<\/li>\n<li>Lidia S\u00e1nchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mall\u00e9n. <a href=\"https:\/\/doi.org\/10.1007\/978-3-662-46823-4_24\"><em>The Role of Indirections in Lazy Natural Semantics<\/em><\/a>. In Perspectives of System Informatics &#8211; 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Lecture Notes in Computer Science, vol. 8974. Springer (2014)<\/li>\n<li>Gabriel Aranda-L\u00f3pez, Susana Nieva, Fernando S\u00e1enz-P\u00e9rez, Jaime S\u00e1nchez-Hern\u00e1ndez. <a href=\"https:\/\/doi.org\/10.1016\/j.jlap.2013.07.002\"><em>An extended constraint deductive database: Theory and implementation<\/em><\/a>. In Journal of Logical and Algebraic Methods in Programming, vol. 83. Pg. 20-52 (2014)<\/li>\n<li>Fernando S\u00e1enz-P\u00e9rez. <a href=\"https:\/\/doi.org\/10.4204\/EPTCS.173.8\"><em>Improving the Deductive System DES with Persistence by Using SQL DBMS&#8217;s<\/em><\/a>. In Proceedings XIV Jornadas sobre Programaci\u00f3n y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS, vol. 173 (2014)<\/li>\n<li>Pablo Rabanal, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.3390\/a7040554\"><em>Parallelizing Particle Swarm Optimization in a Functional Programming Environment<\/em><\/a>. In Algorithms, vol. 7. Pg. 554-581 (2014)<\/li>\n<li>Alberto de la Encina, Ismael Rodr\u00edguez, Fernando Rubio. <a href=\"https:\/\/doi.org\/10.1007\/s00354-014-0103-4\"><em>pHood: Tool Description, Analysis Techniques, and Case Studies<\/em><\/a>. In New Generation Computing, vol. 32. Pg. 59-91 (2014)<\/li>\n<li>Ismael Rodr\u00edguez, Luis Llana, Pablo Rabanal. <a href=\"https:\/\/doi.org\/10.1109\/TSE.2014.2331690\"><em>A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions<\/em><\/a>. In IEEE Transactions on Software Engineering (TSE), vol. 40. Pg. 862-894 (2014)<\/li>\n<li>Mar\u00eda Martos-Salgado, Fernando Rosa-Velardo. <a href=\"https:\/\/doi.org\/10.3233\/FI-2014-1004\"><em>Safety and Soundness for Priced Resource-Constrained Workflow Nets<\/em><\/a>. In Fundamenta Informaticae, vol. 131. Pg. 55-80 (2014)<\/li>\n<li>Mar\u00eda Martos-Salgado, Fernando Rosa-Velardo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_16\"><em>Dynamic Networks of Timed Petri Nets<\/em><\/a>. In Application and Theory of Petri Nets and Concurrency &#8211; 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8489. Springer (2014)<\/li>\n<li>Mar\u00eda Martos-Salgado, Fernando Rosa-Velardo. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-04921-2_42\"><em>Expressiveness of Dynamic Networks of Timed Petri Nets<\/em><\/a>. In Language and Automata Theory and Applications &#8211; 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8370. Springer (2014)<\/li>\n<li>Christiano Braga, Cassio Santos, Viviane Torres da Silva. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2013.08.013\"><em>Consistency of model transformation contracts<\/em><\/a>. In Science of Computer Programming, vol. 92. Pg. 86-104 (2014)<\/li>\n<li>Christiano Braga, Jos\u00e9 Luiz Fiadeiro. <a href=\"https:\/\/doi.org\/10.1016\/j.scico.2014.01.001\"><em>Brazilian Symposium on Programming Languages (SBLP 2011)<\/em><\/a>. In Science of Computer Programming, vol. 93. Pg. 1-2 (2014)<\/li>\n<li>Gustavo Santos-Garc\u00eda, Javier De Las Rivas, Carolyn L. Talcott. <a href=\"http:\/\/iwbbio.ugr.es\/2014\/papers\/IWBBIO_2014_paper_96.pdf\"><em>Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway<\/em><\/a>. In International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2014, Granada, Spain, April 7-9, 2014. Copicentro Editorial (2014)<\/li>\n<li>Jos\u00e9 Luis L\u00f3pez-P\u00e9rez, Roberto Ther\u00f3n, Esther del Olmo, Beatriz Santos-Buitrago, Jos\u00e9 Francisco Adserias, Carlos Est\u00e9vez, Carlos Garc\u00eda Cuadrado, David Eguiluz L\u00f3pez, Gustavo Santos-Garc\u00eda. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-07581-5_2\"><em>NAPROC-13: A Carbon NMR Web Database for the Structural Elucidation of Natural Products and Food Phytochemicals<\/em><\/a>. In 8th International Conference on Practical Applications of Computational Biology &amp; Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain. Advances in Intelligent Systems and Computing, vol. 294. Springer (2014)<\/li>\n<li>Gustavo Santos-Garc\u00eda, Javier De Las Rivas, Carolyn L. Talcott. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-07581-5_25\"><em>A Logic Computational Framework to Query Dynamics on Complex Biological Pathways<\/em><\/a>. In 8th International Conference on Practical Applications of Computational Biology &amp; Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain. Advances in Intelligent Systems and Computing, vol. 294. Springer (2014)<\/li>\n<li>David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel Garc\u00eda de Dios, Carolina Dania. <a href=\"https:\/\/doi.org\/10.1109\/TSE.2013.2297116\"><em>A Model-Driven Methodology for Developing Secure Data-Management Applications<\/em><\/a>. In IEEE Transactions on Software Engineering (TSE), vol. 40. Pg. 324-337 (2014)<\/li>\n<li>Carolina Dania, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1109\/TASE.2014.21\"><em>Modeling Social Networking Privacy<\/em><\/a>. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. IEEE Computer Society (2014)<\/li>\n<li>Miguel Angel Garc\u00eda de Dios, Carolina Dania, David A. Basin, Manuel Clavel. <a href=\"https:\/\/doi.org\/10.1007\/978-3-319-07452-8_4\"><em>Model-Driven Development of a Secure eHealth Application<\/em><\/a>. In Engineering Secure Future Internet Services and Systems &#8211; Current Research. Lecture Notes in Computer Science, vol. 8431. Springer (2014)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Publicaciones del a\u00f1o: 2023 &#8211; 2022 &#8211; 2021 &#8211; 2020 &#8211; 2019 &#8211; 2018 &#8211; 2017 &#8211; 2016 &#8211; 2015 &#8211; 2014 &#8211; Anteriores 2023 Pascual Juli\u00e1n Iranzo, Fernando S\u00e1enz-P\u00e9rez. Bousi Prolog: Design and implementation of a proximity-based fuzzy logic programming language. In Expert Systems with Applications, vol. 213. Pg. 118858 (2023) Ismael Rodr\u00edguez, David &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/maude.ucm.es\/fadoss\/publicaciones\/\" class=\"more-link\">Continuar leyendo<span class=\"screen-reader-text\"> \u00abPublicaciones\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-15","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/15","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/comments?post=15"}],"version-history":[{"count":22,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/15\/revisions"}],"predecessor-version":[{"id":206,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/15\/revisions\/206"}],"wp:attachment":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/media?parent=15"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}