Pedro J. Martn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1996–2009
Best venue rank
Multiconference
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICCS | A Tool for Automatic Code Generation from Schemas. | Antonio Gavilanes, Pedro J. Martn, Roberto Torres |
| 2009 | ICCS | CUDA Solutions for the SSSP Problem. | Pedro J. Martn, Roberto Torres, Antonio Gavilanes |
| 2008 | ITiCSE | A tool for teaching interactions between design patterns. | Ezequiel Denegri, Guillermo Frontera, Antonio Gavilanes, Pedro J. Martn |
| 2007 | COMPSAC | CGR: a Tool for Programming Using Schemes. | J. Garca, Antonio Gavilanes, Ana Gil Luezas, Pedro J. Martn |
| 2000 | JELIA | Simultaneous Rigid Sorted Unification. | Pedro J. Martn, Antonio Gavilanes |
| 2000 | TABLEAUX | Monotonic Preorders for Free Variable Tableaux. | Pedro J. Martn, Antonio Gavilanes |
| 1998 | TABLEAUX | Free Variable Tableaux for a Logic with Term Declarations. | Pedro J. Martn, Antonio Gavilanes, Javier Leach |
| 1996 | AISC | Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. | Antonio Gavilanes, Javier Leach, Pedro J. Martn, Susana Nieva |