A Temporal Logic for Program Specification. - Manuel Enciso; Inman P. de Guzmán; Carlos Rossi (GULP-PRODE (2), 1994)

LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. - Inmaculada Perez de Guzmán; Carlos Rossi (Log. J. IGPL, 1995)

Temporal Reasoning over Linear Discrete Time. - Manuel Enciso; Inman P. de Guzmán; Carlos Rossi (JELIA, 1996)

A First Order Temporal Logic for Behavior Representation. - Carlos Rossi; Manuel Enciso; Ángel Mora 001 (IBERAMIA, 2004)

Una forma normal temporal independiente del método de deducción. - Manuel Enciso; Inmaculada Perez de Guzmán; Carlos Rossi (Inteligencia Artif., 2004)

Formalization of UML state machines using temporal logic. - Carlos Rossi; Manuel Enciso; Inmaculada Perez de Guzmán (Softw. Syst. Model., 2004)

A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. - Carlos Rossi; Antonio Guevara; Manuel Enciso; José Luis Caro; Ángel Mora 001; Pablo Cordero (ICSOFT (2), 2010)

BlueState - A Metamodel-based Execution Framework for UML State Machines. - Alfredo Ortigosa; Carlos Rossi (ICSOFT (2), 2011)

A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. - Manuel Enciso; Carlos Rossi; Antonio Guevara (ICSOFT, 2012)

Quality Improvement in Data Models with SLFD-based OCL Constraints. - Rosario Baena; Roberto Aragón; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001 (ICSOFT, 2013)

Context-aware Recommendation using Fuzzy Formal Concept Analysis. - José Luis Leiva; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001; Antonio Guevara (ICSOFT, 2013)

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. - José Luis Leiva; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001; Antonio Guevara (ICSOFT (Selected Papers), 2013)

Knowledge discovery in social networks by using a logic-based treatment of implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Knowl. Based Syst., 2015)

QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis. - Francisco Javier López-González; José Paredes-Pacheco; Karl Thurnhofer-Hemsi; Carlos Rossi; Manuel Enciso; Daniel Toro-Flores; Belén Murcia-Casas; Antonio L. Gutiérrez-Cardo; Núria Roé-Vellvé (Neuroinformatics, 2019)

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Int. J. Comput. Intell. Syst., 2020)