Marcela Quispe-Cruz

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 2

Top Topics

Propositional Logic

Software Systems

Sequent Calculi

Top Venues

Pontifical Catholic University of Rio de Janeiro, Brazil (PHD)

Education History

Pontifical Catholic University of Rio de Janeiro, Brazil

PHD

Publications

Marcela Quispe-Cruz, Nelly Condori-Fernández
Extending the Sustainability-Quality Model for supporting the design of Persuasive Software Systems. CIBSE (2022)
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
On Strong Normalization in Proof-Graphs for Propositional Logic. LSFA (2015)
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
Intuitionistic N-Graphs. Log. J. IGPL 22 (2) (2014)
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
Proof-graphs for Minimal Implicational Logic. DCM (2013)
Marcela Quispe-Cruz, Nelly Condori-Fernández
Requisitos No Funcionales: Evaluando el Impacto de Decisiones. JIISIC (2007)