Publicaciones

Publicaciones del año: 2023 – 2022 – 2021 – 2020 – 2019 – 2018 – 2017 – 2016 – 2015 – 2014 – Anteriores

2023

• Pascual Julián Iranzo, Fernando Sáenz-Pérez. 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íguez, David Rubio, Fernando Rubio. Complexity of adaptive testing in scenarios defined extensionally. In Frontiers of Computer Science, vol. 17. Pg. 173206 (2023)
• Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Strategies in Conditional Narrowing Modulo SMT Plus Axioms. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems – Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13160. Springer (2023)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. QMaude: Quantitative Specification and Verification in Rewriting Logic. In Formal Methods – 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Lecture Notes in Computer Science, vol. 14000. Springer (2023)
• Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. In Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems – Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13160. Springer (2023)
• Javier Galiana, Ismael Rodríguez, Fernando Rubio. How to stop undesired propagations by using bi-level genetic algorithms. In Applied Soft Computing, vol. 136. Pg. 110094 (2023)
• Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio. Verification of the ROS NavFn planner using executable specification languages. In Journal of Logical and Algebraic Methods in Programming, vol. 132. Pg. 100860 (2023)
• Javier Esparza, Rubén Rubio, Salomon Sickert. A Simple Rewrite System for the Normalization of Linear Temporal Logic. In arXiv Computing Research Repository (CoRR), vol. abs/2304.08872 (2023)
• Gustavo Santos-García, José Carlos R. Alcantud. Ranked soft sets. In Expert Systems – The Journal of Knowledge Engineering, vol. 40 (2023)
• Muhammad Akram, Umaira Amjad, José Carlos R. Alcantud, Gustavo Santos-García. Complex fermatean fuzzy N-soft sets: a new hybrid model with applications. In Journal of Ambient Intelligence and Humanized Computing, vol. 14. Pg. 8765-8798 (2023)
• Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo. The Maude strategy language. In Journal of Logical and Algebraic Methods in Programming, vol. 134. Pg. 100887 (2023)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Compositional Verification in Rewriting Logic. In arXiv Computing Research Repository (CoRR), vol. abs/2307.16537 (2023)
• Jorge Blázquez, Manuel Montenegro, Clara Segura. Verification of mutable linear data structures and iterator-based algorithms in Dafny. In Journal of Logical and Algebraic Methods in Programming, vol. 134. Pg. 100875 (2023)
• José Carlos R. Alcantud, Gustavo Santos-García. Transformation Techniques for Interval-Valued Intuitionistic Fuzzy Sets: Applications to Aggregation and Decision Making. In Fuzzy Logic and Technology, and Aggregation Operators – 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)

2022

• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Model checking strategy-controlled systems in rewriting logic. In Automated Software Engineering, vol. 29. Pg. 7 (2022)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Simulating and model checking membrane systems using strategies in Maude. In Journal of Logical and Algebraic Methods in Programming, vol. 124. Pg. 100727 (2022)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Metalevel transformation of strategies. In Journal of Logical and Algebraic Methods in Programming, vol. 124. Pg. 100728 (2022)
• Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez. Generalization and completeness of stochastic local search algorithms. In Swarm and Evolutionary Computation, vol. 68. Pg. 100982 (2022)
• Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). In Automated Reasoning – 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13385. Springer (2022)
• Jonathan Carrero, Ismael Rodríguez, Fernando Rubio. Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. In IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022. IEEE (2022)
• Aitor Godoy, Ismael Rodríguez, Fernando Rubio. On the hardness of finding good pacts. In IEEE Congress on Evolutionary Computation, CEC 2022, Padua, Italy, July 18-23, 2022. IEEE (2022)
• Jonathan Carrero, Ismael Rodríguez, Fernando Rubio. A tool to certify dynamic benchmarks. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022, Prague, Czech Republic, October 9-12, 2022. IEEE (2022)
• Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi. Hardware Trojan detection via rewriting logic. In Journal of Logical and Algebraic Methods in Programming, vol. 127. Pg. 100762 (2022)
• Adrián Riesco, Kazuhiro Ogata. An integrated tool set for verifying CafeOBJ specifications. In Journal of Systems and Software (JSS), vol. 189. Pg. 111302 (2022)
• Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco, Dang Duy Bui. Integration of SMGA and Maude to Facilitate Characteristic Conjecture. In The 28th International DMS Conference on Visualization and Visual Languages, KSIR Virtual Conference Center, USA, June 29-30, 2022. KSI Research Inc (2022)
• Rubén Rubio, Adrián Riesco. Theorem Proving for Maude Specifications Using Lean. In Formal Methods and Software Engineering – 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)
• Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio. Improving Database Learning with an Automatic Judge. In The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 – July 10, 2022. KSI Research Inc (2022)
• Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata. Parallel Maude-NPA for Cryptographic Protocol Analysis. In Rewriting Logic and Its Applications – 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)
• Adrián Riesco, Min Zhang (editors). Formal Methods and Software Engineering – 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13478. ISBN 978-3-031-17243-4. Springer (2022)
• Rubén Rubio. An Overview of the Maude Strategy Language and its Applications. In Rewriting Logic and Its Applications – 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)
• Rubén Rubio. Maude as a Library: An Efficient All-Purpose Programming Interface. In Rewriting Logic and Its Applications – 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science, vol. 13252. Springer (2022)
• José Carlos R. Alcantud, Gustavo Santos-García, Muhammad Akram. OWA aggregation operators and multi-agent decisions with N-soft sets. In Expert Systems with Applications, vol. 203. Pg. 117430 (2022)
• Muhammad Bilal Khan, Hatim Ghazi Zaini, Gustavo Santos-García, Pshtiwan Othman Mohammed, Mohamed S. Soliman. Riemann-Liouville Fractional Integral Inequalities for Generalized Harmonically Convex Fuzzy-Interval-Valued Functions. In International Journal of Computational Intelligence Systems, vol. 15. Pg. 28 (2022)
• Muhammad Bilal Khan, Muhammad Aslam Noor, Hatim Ghazi Zaini, Gustavo Santos-García, Mohamed S. Soliman. The New Versions of Hermite-Hadamard Inequalities for Pre-invex Fuzzy-Interval-Valued Mappings via Fuzzy Riemann Integrals. In International Journal of Computational Intelligence Systems, vol. 15. Pg. 66 (2022)
• Muhammad Bilal Khan, Hatim Ghazi Zaini, Savin Treanta, Gustavo Santos-García, Jorge Eduardo Macías-Díaz, Mohamed S. Soliman. Fractional Calculus for Convex Functions in Interval-Valued Settings and Inequalities. In Symmetry, vol. 14. Pg. 341 (2022)
• Muhammad Bilal Khan, Gustavo Santos-García, Savin Treanta, Mohamed S. Soliman. New Class Up and Down Pre-Invex Fuzzy Number Valued Mappings and Related Inequalities via Fuzzy Riemann Integrals. In Symmetry, vol. 14. Pg. 2322 (2022)
• Hoang Nguyen Phuoc Bao, Manuel Clavel. Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach. In arXiv Computing Research Repository (CoRR), vol. abs/2209.05561 (2022)
• Javier Esparza, Rubén Rubio, Salomon Sickert. A Simple Rewrite System for the Normalization of Linear Temporal Logic. In Principles of Systems Design – Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, vol. 13660. Springer (2022)
• Muhammad Bilal Khan, Gustavo Santos-García, Savin Treanta, Muhammad Aslam Noor, Mohamed S. Soliman. Perturbed Mixed Variational-like Inequalities and Auxiliary Principle Pertaining to a Fuzzy Environment. In Symmetry, vol. 14. Pg. 2503 (2022)
• Hieu Minh Truong, Manuel Clavel. Identifying temporary water bodies from drone images at real-time using deep-learning techniques. In 2022 International Conference on Advanced Computing and Analytics (ACOMPA), Ho Chi Minh City, Vietnam, November 21-23, 2022. IEEE (2022)

2021

• Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. A unified framework for declarative debugging and testing. In Information & Software Technology, vol. 129. Pg. 106427 (2021)
• Christiano Braga, Narciso Martí-Oliet. B Maude: A formal executable environment for Abstract Machine Notation Descriptions. In arXiv Computing Research Repository (CoRR), vol. abs/2108.07878 (2021)
• David de Frutos-Escrig. Distributed Population Protocols: Naturally!. 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)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. Proximity-Based Unification: An Efficient Implementation Method. In IEEE Transactions on Fuzzy Systems, vol. 29. Pg. 1238-1251 (2021)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. In Theory and Practice of Logic Programming (TPLP), vol. 21. Pg. 264-282 (2021)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. Implementing WordNet Measures of Lexical Semantic Similarity in a Fuzzy Logic Programming System. In arXiv Computing Research Repository (CoRR), vol. abs/2101.09619 (2021)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. Planning for an Efficient Implementation of Hypothetical Bousi Prolog. In arXiv Computing Research Repository (CoRR), vol. abs/2108.03602 (2021)
• Alba Muñoz, Fernando Rubio. Evaluating genetic algorithms through the approximability hierarchy. In Journal of Computational Science, vol. 53. Pg. 101388 (2021)
• Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas. On algebraic abstractions for concurrent separation logics. In Proceedings of the ACM on Programming Languages, vol. 5. Pg. 1-32 (2021)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Strategies, model checking and branching-time properties in Maude. In Journal of Logical and Algebraic Methods in Programming, vol. 123. Pg. 100700 (2021)
• David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. Investigating Reversibility of Steps in Petri Nets. In arXiv Computing Research Repository (CoRR), vol. abs/2110.10535 (2021)
• Muhammad Akram, Ayesha Khan, José Carlos R. Alcantud, Gustavo Santos-García. A hybrid decision-making framework under complex spherical fuzzy prioritized weighted aggregation operators. In Expert Systems – The Journal of Knowledge Engineering, vol. 38 (2021)
• Hoang Nguyen Phuoc Bao, Manuel Clavel. A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. In SN Computer Science, vol. 2. Pg. 370 (2021)
• David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. Investigating Reversibility of Steps in Petri Nets. In Fundamenta Informaticae, vol. 183. Pg. 67-96 (2021)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. Planning for an Efficient Implementation of Hypothetical Bousi Prolog. In Theory and Practice of Logic Programming (TPLP), vol. 21. Pg. 680-697 (2021)
• Jonathan Carrero, Ismael Rodríguez, Fernando Rubio. A contract among autonomous agents to deal with egalitarian social welfare. In 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021. IEEE (2021)
• Witold Kinsner, Haibin Zhu, George Baciu, Guiming Luo, Fernando Rubio, Jie Sui, Runhe Huang, Hironori Hiraishi, Jun Peng, Liang Chen. IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II). In 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021. IEEE (2021)
• Hoang Nguyen Phuoc Bao, Antonio García-Domínguez, Manuel Clavel. The TTC 2021 OCL2PSQL case. In TTC 2020/2021 – 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)
• Lam-Son Lê, Henry Nguyen, Thanh An Phan, Manuel Clavel, Tran Khanh Dang (editors). 15th International Conference on Advanced Computing and Applications, ACOMP 2021, Ho Chi Minh City, Vietnam, November 24-26, 2021. ISBN 978-1-6654-0639-0. IEEE (2021)

2020

• Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura. Extending Liquid Types to Arrays. In ACM Transactions on Computational Logic (TOCL), vol. 21. Pg. 13:1-13:41 (2020)
• Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García. Deriving overloaded success type schemes in Erlang. In Journal of Computer Languages, vol. 58. Pg. 100965 (2020)
• Adrián Riesco, Kazuhiro Ogata. CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. In Theoretical Aspects of Computing – ICTAC 2020 – 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12545. Springer (2020)
• Adrián Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-García, Emiliano Hernández Galilea, Carolyn L. Talcott. Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. In Practical Applications of Computational Biology & Bioinformatics, 14th International Conference (PACBB 2020), L’Aquila, Italy, 17-19 June, 2020. Advances in Intelligent Systems and Computing, vol. 1240. Springer (2020)
• Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. Programming and symbolic computation in Maude. In Journal of Logical and Algebraic Methods in Programming, vol. 110 (2020)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Compositional Specification in Rewriting Logic. In Theory and Practice of Logic Programming (TPLP), vol. 20. Pg. 44-98 (2020)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Strategies, Model Checking and Branching-Time Properties in Maude. In Rewriting Logic and Its Applications – 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12328. Springer (2020)
• Santiago Escobar, Narciso Martí-Oliet (editors). Rewriting Logic and Its Applications – 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12328. ISBN 978-3-030-63594-7. Springer (2020)
• David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala. Beyond. In Theoretical Computer Science, vol. 813. Pg. 270-304 (2020)
• Ricardo Peña. An Assertional Proof of Red-Black Trees Using Dafny. In Journal of Automated Reasoning, vol. 64. Pg. 767-791 (2020)
• Ricardo Peña, Jaime Sánchez-Hernández. White-Box Path Generation in Recursive Programs. In Trends in Functional Programming – 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12222. Springer (2020)
• Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández. HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. In Information and Computation, vol. 271. Pg. 104485 (2020)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. A System implementing Fuzzy Hypothetical Datalog. In 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020. IEEE (2020)
• Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio. Introducing complexity to formal testing. In Journal of Logical and Algebraic Methods in Programming, vol. 111. Pg. 100502 (2020)
• Jonathan Carrero, Ismael Rodríguez, Fernando Rubio. Measuring the benefits of lying in MARA under egalitarian social welfare. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020. IEEE (2020)
• Alberto de la Encina, Martín Manuel Garbayo Moreno, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio. A Cognitive-based Tool to Teach how to Teach. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020. IEEE (2020)
• Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas. On Algebraic Abstractions for Concurrent Separation Logics. In arXiv Computing Research Repository (CoRR), vol. abs/2010.12686 (2020)
• Hoang Nguyen Phuoc Bao, Manuel Clavel. Model-based Characterization of fine-grained Access Control Authorization for SQL Queries. In Journal of Object Technology, vol. 19. Pg. 3:1-13 (2020)
• Hoang Nguyen Phuoc Bao, Manuel Clavel. A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. In Future Data and Security Engineering – 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science, vol. 12466. Springer (2020)

2019

• Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, José Carlos R. Alcantud, Gustavo Santos-García, Carolyn L. Talcott. Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. In IEEE Access, vol. 7. Pg. 18183-18193 (2019)
• Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá. FlinkCheck: Property-Based Testing for Apache Flink. In IEEE Access, vol. 7. Pg. 150369-150382 (2019)
• Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. In Interactive Learning Environments, vol. 27. Pg. 15-32 (2019)
• Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. A core Erlang semantics for declarative debugging. In Journal of Logical and Algebraic Methods in Programming, vol. 107. Pg. 1-37 (2019)
• Adrián Riesco, Juan Rodríguez-Hortalá. Property-Based Testing for Spark Streaming. In Theory and Practice of Logic Programming (TPLP), vol. 19. Pg. 574-602 (2019)
• Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. In Stabilization, Safety, and Security of Distributed Systems – 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11914. Springer (2019)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Model Checking Strategy-Controlled Rewriting Systems (System Description). In 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany. LIPIcs, vol. 131. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Compositional specification in rewriting logic. In arXiv Computing Research Repository (CoRR), vol. abs/1908.11769 (2019)
• Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott. Programming and Symbolic Computation in Maude. In arXiv Computing Research Repository (CoRR), vol. abs/1910.08416 (2019)
• David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. Reversing Steps in Petri Nets. In Application and Theory of Petri Nets and Concurrency – 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11522. Springer (2019)
• David de Frutos-Escrig. Petri Nets Are (Not Only) Distributed Automata. In Carl Adam Petri: Ideas, Personality, Impact. Springer (2019)
• Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. Rule Formats for Nominal Process Calculi. In Logical Methods in Computer Science, vol. 15 (2019)
• Fernando Sáenz-Pérez. Applying Constraint Logic Programming to SQL Semantic Analysis. In Theory and Practice of Logic Programming (TPLP), vol. 19. Pg. 808-825 (2019)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. WordNet and Prolog: why not?. 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)
• Fernando Sáenz-Pérez. Applying Constraint Logic Programming to SQL Semantic Analysis. In arXiv Computing Research Repository (CoRR), vol. abs/1907.10914 (2019)
• Fernando Rubio, Ismael Rodríguez. Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. In Complexity, vol. 2019. Pg. 4034258:1-4034258:13 (2019)
• Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio. The Problems of Selecting Problems. In Advances in Computational Intelligence – 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)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Towards Applying River Formation Dynamics in Continuous Optimization Problems. In Advances in Computational Intelligence – 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)
• Alberto de la Encina, Natalia López, Fernando Rubio. Exporting Rain-Fall optimization concepts to Artificial Bee Colony. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)
• Iván Cataveral, Fernando Rubio. Dealing with Swarm Intelligence on GPUs. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)
• Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodríguez, Gaurav Trivedi. A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. In 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019. IEEE (2019)
• Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. Logical characterisations, rule formats and compositionality for input-output conformance simulation. In Journal of Logical and Algebraic Methods in Programming, vol. 106. Pg. 78-106 (2019)
• Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas. Specifying concurrent programs in separation logic: morphisms and simulations. In Proceedings of the ACM on Programming Languages, vol. 3. Pg. 161:1-161:30 (2019)
• Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir. When are prime formulae characteristic?. In Theoretical Computer Science, vol. 777. Pg. 3-31 (2019)
• Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas. Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations. In arXiv Computing Research Repository (CoRR), vol. abs/1904.07136 (2019)
• Christiano Braga. π: towards a simple formal semantic framework for compiler construction. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019. ACM (2019)
• José Carlos R. Alcantud, Gustavo Santos-García, Xindong Peng, Jianming Zhan. Dual Extended Hesitant Fuzzy Sets. In Symmetry, vol. 11. Pg. 714 (2019)
• Hoang Nguyen Phuoc Bao, Manuel Clavel. OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. In Future Data and Security Engineering – 6th International Conference, FDSE 2019, Nha Trang City, Vietnam, November 27-29, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11814. Springer (2019)
• Manuel Clavel, Hoang Nguyen Phuoc Bao. Mapping OCL into SQL: Challenges and Opportunities Ahead. 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)

2018

• Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García. Polymorphic success types for Erlang. 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)
• Enrique Martin-Martin, Adrián Riesco, Manuel Rodriguez. A Language-Independent Technique for Assessing Tweet Success: An Experience Report. In IEEE Access, vol. 6. Pg. 62384-62395 (2018)
• Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. Declarative debugging of concurrent Erlang programs. In Journal of Logical and Algebraic Methods in Programming, vol. 101. Pg. 22-41 (2018)
• Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco. Slicing from formal semantics: Chisel – a tool for generic program slicing. In International Journal on Software Tools for Technology Transfer (STTT), vol. 20. Pg. 739-769 (2018)
• Adrián Riesco, Kazuhiro Ogata. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. In ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 27. Pg. 6:1-6:32 (2018)
• Daniel Gâinâ, Ionut Tutu, Adrián Riesco. Specification and Verification of Invariant Properties of Transition Systems. In 25th Asia-Pacific Software Engineering Conference, APSEC 2018, Nara, Japan, December 4-7, 2018. IEEE (2018)
• Adrián Riesco. Model Checking Parameterized by the Semantics in Maude. In Functional and Logic Programming – 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818. Springer (2018)
• Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco. Context-Updates Analysis and Refinement in Chisel. In Model Checking Software – 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10869. Springer (2018)
• Adrián Riesco. MUnit: A Unit Framework for Maude. In Rewriting Logic and Its Applications – 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)
• Adrián Riesco, Juan Rodríguez-Hortalá. Property-based testing for Spark Streaming. In arXiv Computing Research Repository (CoRR), vol. abs/1812.11838 (2018)
• Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. In Journal of Automated Reasoning, vol. 60. Pg. 421-463 (2018)
• Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Parameterized Strategies Specification in Maude. In Recent Trends in Algebraic Development Techniques – 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)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Parameterized Programming for Compositional System Specification. In Rewriting Logic and Its Applications – 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)
• Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. In Rewriting Logic and Its Applications – 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)
• David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski. An Efficient Characterization of Petri Net Solvable Binary Words. In Application and Theory of Petri Nets and Concurrency – 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10877. Springer (2018)
• Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. Rule Formats for Nominal Process Calculi. In arXiv Computing Research Repository (CoRR), vol. abs/1807.02081 (2018)
• James Lipton, Susana Nieva. Kripke semantics for higher-order type theory applied to constraint logic programming languages. In Theoretical Computer Science, vol. 712. Pg. 1-37 (2018)
• Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez. Enhancing set constraint solvers with bound consistency. In Expert Systems with Applications, vol. 92. Pg. 485-494 (2018)
• Fernando Sáenz-Pérez. Relational calculi in a deductive system. In Expert Systems with Applications, vol. 97. Pg. 106-116 (2018)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. A Fuzzy Datalog Deductive Database System. In IEEE Transactions on Fuzzy Systems, vol. 26. Pg. 2634-2648 (2018)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. An Efficient Proximity-based Unification Algorithm. In 2018 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2018, Rio de Janeiro, Brazil, July 8-13, 2018. IEEE (2018)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Guest editorial. In Journal of Systems and Information Technology, vol. 20. Pg. 402-403 (2018)
• Mercedes Hidalgo-Herrero, Alberto de la Encina, Fernando Rubio. Selecting Algorithms by Using ATD. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018. IEEE (2018)
• Andre Metelo, Christiano Braga, Diego N. Brandão. Towards the Modular Specification and Validation of Cyber-Physical Systems – A Case-Study on Reservoir Modeling with Hybrid Automata. In Computational Science and Its Applications – ICCSA 2018 – 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I. Lecture Notes in Computer Science, vol. 10960. Springer (2018)
• Andre Metelo, Christiano Braga, Diego N. Brandão. Towards the Modular Specification and Validation of Cyber-Physical Systems. In arXiv Computing Research Repository (CoRR), vol. abs/1803.03173 (2018)
• Christiano Braga. Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata. In arXiv Computing Research Repository (CoRR), vol. abs/1805.04650 (2018)
• José Carlos R. Alcantud, Gustavo Santos-García. Decision Making Under Incompleteness Based on Soft Set Theory. In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations – 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II. Communications in Computer and Information Science, vol. 854. Springer (2018)

2017

• Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura. Liquid Types for Array Invariant Synthesis. In Automated Technology for Verification and Analysis – 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10482. Springer (2017)
• Rafael Caballero, Adrián Riesco, Josep Silva. A Survey of Algorithmic Debugging. In ACM Computing Surveys, vol. 50. Pg. 60:1-60:35 (2017)
• Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi. A Maude environment for CafeOBJ. In Formal Aspects of Computing, vol. 29. Pg. 309-334 (2017)
• Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae. Slicing from Formal Semantics: Chisel. In Fundamental Approaches to Software Engineering – 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)
• Adrián Riesco, Kazuhiro Ogata. A Formal Proof Generator from Semi-formal Proof Documents. In Theoretical Aspects of Computing – ICTAC 2017 – 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10580. Springer (2017)
• Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott. Reverse Inference in Symbolic Systems Biology. In 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2017, Porto, Portugal, 21-23 June, 2017. Advances in Intelligent Systems and Computing, vol. 616. Springer (2017)
• Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco. Context-Updates Analysis and Refinement in Chisel. In arXiv Computing Research Repository (CoRR), vol. abs/1709.06897 (2017)
• Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Conditional narrowing modulo SMT and axioms. In Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 – 11, 2017. ACM (2017)
• Luca Aceto, David de Frutos-Escrig. Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). In Acta Informatica, vol. 54. Pg. 1-2 (2017)
• Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir. Trace Simulation Semantics is not Finitely Based over BCCSP. In Acta Cybernetica, vol. 23. Pg. 81-90 (2017)
• David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. Games for Bisimulations and Abstraction. In Logical Methods in Computer Science, vol. 13 (2017)
• Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. In 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPIcs, vol. 90. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
• Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén. Rule Formats for Nominal Process Calculi. In 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. LIPIcs, vol. 85. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
• Pascual Julián Iranzo, Fernando Sáenz-Pérez. FuzzyDES or how DES Met Bousi-Prolog. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017. IEEE (2017)
• Ismael Rodríguez, Pablo Rabanal, Fernando Rubio. How to make a best-seller: Optimal product design problems. In Applied Soft Computing, vol. 55. Pg. 178-196 (2017)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Applications of river formation dynamics. In Journal of Computational Science, vol. 22. Pg. 26-35 (2017)
• Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez. A Parallel Swarm Library Based on Functional Programming. In Advances in Computational Intelligence – 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)
• Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz. Data-aware automatic derivation of choreography-conforming systems of services. In Computer Standards & Interfaces, vol. 53. Pg. 59-79 (2017)
• Fernando Rosa-Velardo. Ordinal recursive complexity of Unordered Data Nets. In Information and Computation, vol. 254. Pg. 41-58 (2017)
• Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir. A unified rule format for bounded nondeterminism in SOS with terms as labels. In Journal of Logical and Algebraic Methods in Programming, vol. 92. Pg. 64-86 (2017)
• Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. Logical Characterisations and Compositionality of Input-Output Conformance Simulation. In SOFSEM 2017: Theory and Practice of Computer Science – 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)
• Christiano Braga. Preface to Special issue with extended selected papers from FACS 2015. In Science of Computer Programming, vol. 146. Pg. 1 (2017)
• Christiano Braga, Edward Hermann Haeusler. Normative Multi-Agent Systems and Kelsenian Jurisprudence. In arXiv Computing Research Repository (CoRR), vol. abs/1709.02018 (2017)
• José Carlos R. Alcantud, Gustavo Santos-García. A New Criterion for Soft Set Based Decision Making Problems under Incomplete Information. In International Journal of Computational Intelligence Systems, vol. 10. Pg. 394-404 (2017)
• José Carlos R. Alcantud, Gustavo Santos-García. Expanded hesitant fuzzy sets and group decision making. In 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017. IEEE (2017)
• Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas, Merrill Knapp, Gustavo Santos-García y Carolyn Talcott. Epidermal growth factor signaling towards proliferation: Modeling and logic inference using forward and backward search. BioMed Research International, 2017:11, 2017.

2016

• Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir. Rule formats for bounded nondeterminism in nominal structural operational semantics. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, Pg. 30-34 (2016)
• Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. A logical characterisation for input output conformance simulation iocos. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, Pg. 87-89 (2016)
• Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá. Polymorphic Types in Erlang Function Specifications. In Functional and Logic Programming – 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9613. Springer (2016)
• Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi. CafeInMaude: A CafeOBJ Interpreter in Maude. In Fundamental Approaches to Software Engineering – 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)
• Adrián Riesco, Juan Rodríguez-Hortalá. Temporal Random Testing for Spark Streaming. In Integrated Formal Methods – 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9681. Springer (2016)
• Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas. Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. In 10th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2016, Sevilla, Spain, 1-3 June 2016. Advances in Intelligent Systems and Computing, vol. 477. Springer (2016)
• Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero. Debugging Meets Testing in Erlang. In Tests and Proofs – 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9762. Springer (2016)
• Christiano Braga, Narciso Martí-Oliet. Preface to SCP special issue with extended selected papers from SBMF 2014. In Science of Computer Programming, vol. 126. Pg. 1-2 (2016)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Synchronous Products of Rewrite Systems. In Automated Technology for Verification and Analysis – 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9938 (2016)
• Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. In Automated Reasoning – 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9706. Springer (2016)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Egalitarian State-Transition Systems. In Rewriting Logic and Its Applications – 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)
• David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. Branching Bisimulation Games. In Formal Techniques for Distributed Objects, Components, and Systems – 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)
• David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse. Games for Bisimulations and Abstraction. In arXiv Computing Research Repository (CoRR), vol. abs/1611.00401 (2016)
• Ricardo Peña. An Introduction to Liquid Haskell. In Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS, vol. 237 (2016)
• Fernando Sáenz-Pérez. Intuitionistic Logic Programming for SQL. In Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science, vol. 10184. Springer (2016)
• Fernando Sáenz-Pérez. Intuitionistic Logic Programming for SQL (Extended Abstract). In arXiv Computing Research Repository (CoRR), vol. abs/1608.03535 (2016)
• Ismael Rodríguez, Fernando Rubio, Pablo Rabanal. Automatic media planning: Optimal advertisement placement problems. In IEEE Congress on Evolutionary Computation, CEC 2016, Vancouver, BC, Canada, July 24-29, 2016. IEEE (2016)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Assessing Metaheuristics by Means of Random Benchmarks. In International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA. Procedia Computer Science, vol. 80. Elsevier (2016)
• Laura Costa Sarkis, Viviane Torres da Silva, Christiano Braga. Detecting indirect conflicts between access control policies. In Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. ACM (2016)
• Hugo Farias, Christiano Braga, Paulo Blauth Menezes. Massive Open Online Courses and Monoids. In Formal Methods: Foundations and Applications – 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science, vol. 10090 (2016)
• Christiano Braga, Peter Csaba Ölveczky (editors). Formal Aspects of Component Software – 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, vol. 9539. ISBN 978-3-319-28933-5. Springer (2016)
• José Carlos R. Alcantud, Gustavo Santos-García. Incomplete Soft Sets: New Solutions for Decision Making Problems. In Decision Economics, In Commemoration of the Birth Centennial of Herbert A. Simon 1916-2016 (Nobel Prize in Economics 1978) – Distributed Computing and Artificial Intelligence, 13th International Conference. Advances in Intelligent Systems and Computing, vol. 475. Springer (2016)
• José Carlos R. Alcantud, Gustavo Santos-García. A soft set approach for multiple attributes decision making problems under incomplete information. En J. C. C. Lucas Jódar y L. Acedo, editores, Modelling for Engineering, & Human Behaviour 2016, Pg. 7-11. Instituto Universitario de Matemática Multidisciplinar Universitat Politècnica de València (2016).
• Carolina Dania, Manuel Clavel. OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. 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)
• Christiano Braga, David Deharbe, Anamaria Martins Moreira y Narciso Martí-Oliet. A rewriting logic semantics for the generalized substitution language. En S. A. da Costa Cavalheiro et al., editor, ETMF 2016, 1^a Escola de Informática Teórica e Métodos Formais, Pg. 93-103. Anais Escola de Informática Teórica e Métodos Formais, Natal, Sociedade Brasileira de Computação (2016)

2015

• Manuel Montenegro, Ricardo Peña, Clara Segura. Shape analysis in a functional language by using regular languages. In Science of Computer Programming, vol. 111. Pg. 51-78 (2015)
• Manuel Montenegro, Ricardo Peña, Clara Segura. Space consumption analysis by abstract interpretation: Inference of recursive functions. In Science of Computer Programming, vol. 111. Pg. 426-457 (2015)
• Manuel Montenegro, Ricardo Peña, Clara Segura. Space consumption analysis by abstract interpretation: Reductivity properties. In Science of Computer Programming, vol. 111. Pg. 458-482 (2015)
• Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof. Checking Java Assertions Using Automated Test-Case Generation. In Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)
• Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández. A Generic Intermediate Representation for Verification Condition Generation. In Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)
• Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. A zoom-declarative debugger for sequential Erlang programs. In Science of Computer Programming, vol. 110. Pg. 104-118 (2015)
• Isabel Pita, Adrián Riesco. Specifying and Analyzing the Kademlia Protocol in Maude. In Theoretical Aspects of Computing – ICTAC 2015 – 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9399. Springer (2015)
• Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae. Memory Policy Analysis for Semantics Specifications in Maude. In Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9527. Springer (2015)
• Francisco Durán, Narciso Martí-Oliet. Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). In Science of Computer Programming, vol. 99. Pg. 1-2 (2015)
• Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott. José Meseguer: Scientist and Friend Extraordinaire. In Logic, Rewriting, and Concurrency – Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)
• Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. In Logic, Rewriting, and Concurrency – Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)
• Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott. Two Decades of Maude. In Logic, Rewriting, and Concurrency – Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. Springer (2015)
• Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott (editors). Logic, Rewriting, and Concurrency – Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 9200. ISBN 978-3-319-23164-8. Springer (2015)
• Christiano Braga, Narciso Martí-Oliet (editors). Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8941. ISBN 978-3-319-15074-1. Springer (2015)
• David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. In Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS, vol. 200 (2015)
• Luca Aceto, David de Frutos-Escrig (editors). 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs, vol. 42. ISBN 978-3-939897-91-0. Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
• Hans-Wolfgang Loidl, Ricardo Peña. Editorial of Special Issue Trends in Functional Programming 2011/12. In Computer Languages, Systems & Structures, vol. 44. Pg. 141-142 (2015)
• Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. A liberal type system for functional logic programs. In Mathematical Structures in Computer Science (MSCS), vol. 25. Pg. 942-977 (2015)
• Francisco J. Álvarez-Montero, Fernando Sáenz-Pérez, Antonio Vaquero-Sánchez. Using Datalog to provide just-in-time feedback during the construction of concept maps. In Expert Systems with Applications, vol. 42. Pg. 1362-1375 (2015)
• Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez. Debugging of wrong and missing answers for datalog programs with constraint handling rules. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM (2015)
• Fernando Sáenz-Pérez. Restricted Predicates for Hypothetical Datalog. In Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS, vol. 200 (2015)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. In Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. ACM (2015)
• Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. A Formal Method for Parallel Genetic Algorithms. In Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014. Procedia Computer Science, vol. 51. Elsevier (2015)
• Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo. Analysis of Asynchronous Programs with Event-Based Synchronization. In Programming Languages and Systems – 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)
• Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir. When Are Prime Formulae Characteristic?. In Mathematical Foundations of Computer Science 2015 – 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Lecture Notes in Computer Science, vol. 9234. Springer (2015)
• Baldoino Fonseca dos Santos Neto, Márcio Ribeiro, Viviane Torres da Silva, Christiano Braga, Carlos José Pereira de Lucena, Evandro de Barros Costa. AutoRefactoring: A platform to build refactoring agents. In Expert Systems with Applications, vol. 42. Pg. 1652-1664 (2015)
• Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade. A rewriting logic semantics for NCL. In Science of Computer Programming, vol. 107-108. Pg. 64-92 (2015)
• Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda. Spatio-temporal Validation of Multimedia Documents. In Proceedings of the 2015 ACM Symposium on Document Engineering, DocEng 2015, Lausanne, Switzerland, September 8-11, 2015. ACM (2015)
• Viviane Torres da Silva, Christiano Braga, Jean de Oliveira Zahn. Indirect Normative Conflict – Conflict that Depends on the Application Domain. In ICEIS 2015 – Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30 April, 2015. SciTePress (2015)
• Christiano Braga, Bruno Lopes. Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. In Formal Methods: Foundations and Applications – 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9526. Springer (2015)
• José Carlos R. Alcantud, Gustavo Santos-García, Emiliano Hernández Galilea. Glaucoma Diagnosis: A Soft Set Based Decision Making Procedure. In Advances in Artificial Intelligence – 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)
• Gustavo Santos-García, Carolyn L. Talcott, Javier De Las Rivas. Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic. In Hybrid Systems Biology – Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9271. Springer (2015)
• Miguel Angel García de Dios, Carolina Dania, Manuel Clavel. Formal Reasoning about Fine-Grained Access Control Policies. In 11th Asia-Pacific Conference on Conceptual Modelling, APCCM 2015, Sydney, Australia, January 2015. CRPIT, vol. 165. Australian Computer Society (2015)
• Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel. Analyzing First-Order Role Based Access Control. In IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. IEEE Computer Society (2015)
• Carolina Dania, Manuel Clavel. Model-Based Formal Reasoning about Data-Management Applications. In Fundamental Approaches to Software Engineering – 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)

2014

• Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen. ResAna: a resource analysis toolset for (real-time) JAVA. In Concurrency and Computation: Practice and Experience, vol. 26. Pg. 2432-2455 (2014)
• Manuel Montenegro, Ricardo Peña, Clara Segura. A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. In Information and Computation, vol. 235. Pg. 3-35 (2014)
• Adrián Riesco, Juan Rodríguez-Hortalá. Singular and plural functions for functional logic programming. In Theory and Practice of Logic Programming (TPLP), vol. 14. Pg. 65-116 (2014)
• Adrián Riesco. Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. In Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8475. Springer (2014)
• Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco. Towards a Formal Semantics-Based Technique for Interprocedural Slicing. In Integrated Formal Methods – 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science, vol. 8739. Springer (2014)
• Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit. EDD: A Declarative Debugger for Sequential Erlang Programs. In Tools and Algorithms for the Construction and Analysis of Systems – 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)
• Adrián Riesco. An Integration of CafeOBJ into Full Maude. In Rewriting Logic and Its Applications – 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)
• Adrián Riesco, Juan Rodríguez-Hortalá. Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. In Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS, vol. 173 (2014)
• Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Model Checking TLR* Guarantee Formulas on Infinite Systems. In Specification, Algebra, and Software – Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science, vol. 8373. Springer (2014)
• Narciso Martí-Oliet, Francisco Durán, Alberto Verdejo. Equational Abstractions in Rewriting Logic and Maude. In Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8941. Springer (2014)
• Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Conditional Narrowing Modulo in Rewriting Logic and Maude. In Rewriting Logic and Its Applications – 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)
• Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. Axiomatizing weak simulation semantics over BCCSP. In Theoretical Computer Science, vol. 537. Pg. 42-71 (2014)
• David Romero-Hernández, David de Frutos-Escrig. Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. In Formal Techniques for Distributed Objects, Components, and Systems – 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)
• Ugo Dal Lago, Ricardo Peña (editors). Foundational and Practical Aspects of Resource Analysis – Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science, vol. 8552. ISBN 978-3-319-12465-0. Springer (2014)
• Gopal Gupta, Ricardo Peña (editors). Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science, vol. 8901. ISBN 978-3-319-14124-4. Springer (2014)
• Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Safe typing of functional logic programs with opaque patterns and local bindings. In Information and Computation, vol. 235. Pg. 36-69 (2014)
• Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Rewriting and narrowing for constructor systems with call-time choice semantics. In Theory and Practice of Logic Programming (TPLP), vol. 14. Pg. 165-213 (2014)
• Hua-Huai Chern, María-Inés Fernández-Camacho, Hsien-Kuei Hwang, Conrado Martínez. Psi-series method for equality of random trees and quadratic convolution recurrences. In Random Structures and Algorithms, vol. 44. Pg. 67-108 (2014)
• Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén. The Role of Indirections in Lazy Natural Semantics. In Perspectives of System Informatics – 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)
• Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández. An extended constraint deductive database: Theory and implementation. In Journal of Logical and Algebraic Methods in Programming, vol. 83. Pg. 20-52 (2014)
• Fernando Sáenz-Pérez. Improving the Deductive System DES with Persistence by Using SQL DBMS’s. In Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS, vol. 173 (2014)
• Pablo Rabanal, Ismael Rodríguez, Fernando Rubio. Parallelizing Particle Swarm Optimization in a Functional Programming Environment. In Algorithms, vol. 7. Pg. 554-581 (2014)
• Alberto de la Encina, Ismael Rodríguez, Fernando Rubio. pHood: Tool Description, Analysis Techniques, and Case Studies. In New Generation Computing, vol. 32. Pg. 59-91 (2014)
• Ismael Rodríguez, Luis Llana, Pablo Rabanal. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. In IEEE Transactions on Software Engineering (TSE), vol. 40. Pg. 862-894 (2014)
• María Martos-Salgado, Fernando Rosa-Velardo. Safety and Soundness for Priced Resource-Constrained Workflow Nets. In Fundamenta Informaticae, vol. 131. Pg. 55-80 (2014)
• María Martos-Salgado, Fernando Rosa-Velardo. Dynamic Networks of Timed Petri Nets. In Application and Theory of Petri Nets and Concurrency – 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8489. Springer (2014)
• María Martos-Salgado, Fernando Rosa-Velardo. Expressiveness of Dynamic Networks of Timed Petri Nets. In Language and Automata Theory and Applications – 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8370. Springer (2014)
• Christiano Braga, Cassio Santos, Viviane Torres da Silva. Consistency of model transformation contracts. In Science of Computer Programming, vol. 92. Pg. 86-104 (2014)
• Christiano Braga, José Luiz Fiadeiro. Brazilian Symposium on Programming Languages (SBLP 2011). In Science of Computer Programming, vol. 93. Pg. 1-2 (2014)
• Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott. Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway. In International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2014, Granada, Spain, April 7-9, 2014. Copicentro Editorial (2014)
• José Luis López-Pérez, Roberto Therón, Esther del Olmo, Beatriz Santos-Buitrago, José Francisco Adserias, Carlos Estévez, Carlos García Cuadrado, David Eguiluz López, Gustavo Santos-García. NAPROC-13: A Carbon NMR Web Database for the Structural Elucidation of Natural Products and Food Phytochemicals. In 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain. Advances in Intelligent Systems and Computing, vol. 294. Springer (2014)
• Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott. A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. In 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain. Advances in Intelligent Systems and Computing, vol. 294. Springer (2014)
• David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania. A Model-Driven Methodology for Developing Secure Data-Management Applications. In IEEE Transactions on Software Engineering (TSE), vol. 40. Pg. 324-337 (2014)
• Carolina Dania, Manuel Clavel. Modeling Social Networking Privacy. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. IEEE Computer Society (2014)
• Miguel Angel García de Dios, Carolina Dania, David A. Basin, Manuel Clavel. Model-Driven Development of a Secure eHealth Application. In Engineering Secure Future Internet Services and Systems – Current Research. Lecture Notes in Computer Science, vol. 8431. Springer (2014)