Carlos Rossi

15 papers B 1C 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.
Int. J. Comput. Intell. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2019 J jnl
QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis.
Neuroinformatics
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é
2015 J jnl
Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl. Based Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2013 C conf
Context-aware Recommendation using Fuzzy Formal Concept Analysis.
ICSOFT
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 — conf
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.
ICSOFT (Selected Papers)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 C conf
Quality Improvement in Data Models with
ICSOFT
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora
2012 C conf
A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation.
ICSOFT
Manuel Enciso, Carlos Rossi, Antonio Guevara
2011 — conf
BlueState - A Metamodel-based Execution Framework for UML State Machines.
ICSOFT (2)
Alfredo Ortigosa, Carlos Rossi
2010 — conf
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.
ICSOFT (2)
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero
2004 — conf
A First Order Temporal Logic for Behavior Representation.
IBERAMIA
Carlos Rossi, Manuel Enciso, Ángel Mora
2004 J jnl
Formalization of UML state machines using temporal logic.
Softw. Syst. Model.
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
2004 J jnl
Una forma normal temporal independiente del método de deducción.
Inteligencia Artif.
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
1996 B conf
Temporal Reasoning over Linear Discrete Time.
JELIA
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
1995 J jnl
LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches.
Log. J. IGPL
Inmaculada Perez de Guzmán, Carlos Rossi
1994 — conf
A Temporal Logic for Program Specification.
GULP-PRODE (2)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi