Marcela Quispe-Cruz

According to our database, Marcela Quispe-Cruz authored at least 6 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Extending the Sustainability-Quality Model for supporting the design of Persuasive Software Systems.

Marcela Quispe-Cruz, Nelly Condori-Fernández

Proceedings of the 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June, 2022

2015

On Strong Normalization in Proof-Graphs for Propositional Logic.

Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

Alguns resultados en Teoria de Prova Baseado em Grafos.

Marcela Quispe-Cruz

PhD thesis, 2014

Intuitionistic N-Graphs.

Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva

Log. J. IGPL, 2014

2013

Proof-graphs for Minimal Implicational Logic.

Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

2007

Requisitos No Funcionales: Evaluando el Impacto de Decisiones.

Marcela Quispe-Cruz, Nelly Condori-Fernández

Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007