Fernando Prez Morente
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2011–2012
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CSEDU | TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. | Rafael del Vado Vrseda, Fernando Prez Morente, Eduardo Berbis Gonzlez |
| 2012 | ICLP | A Concurrent Operational Semantics for Constraint Functional Logic Programming. | Rafael del Vado Vrseda, Fernando Prez Morente, Marcos Miguel Garca Toledo |
| 2011 | CSEDU | An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. | Rafael del Vado Vrseda, Fernando Prez Morente, Sergio Esquembri Martnez |
| 2011 | ITiCSE | An innovative teaching tool based on semantic tableaux for verification and debugging of programs. | Rafael del Vado Vrseda, Fernando Prez Morente |
| 2011 | PPDP | A modular semantics for higher-order declarative programming with constraints. | Rafael del Vado Vrseda, Fernando Prez Morente |