Pedro J. Martín

	2012
15		Roberto Torres, Pedro J. Martín, Antonio Gavilanes, Luis F. Ayuso: Improving Ray Traversal by using Several Specialized Kd-trees. GRAPP/IVAPP 2012: 215-226
	2011
14		Roberto Torres, Pedro J. Martín, Antonio Gavilanes: Traversing a BVH Cut to Exploit Ray Coherence. GRAPP 2011: 140-150
	2009
13		Pedro J. Martín, Roberto Torres, Antonio Gavilanes: CUDA Solutions for the SSSP Problem. ICCS (1) 2009: 904-913
12		Antonio Gavilanes, Pedro J. Martín, Roberto Torres: A Tool for Automatic Code Generation from Schemas. ICCS (2) 2009: 63-73
	2008
11		Álvaro del Monte, Roberto Torres, Pedro J. Martín, Antonio Gavilanes: A Fully GPU-Implemented Rigid Body Simulator. GRAPP 2008: 342-349
10		Ezequiel Denegri, Guillermo Frontera, Antonio Gavilanes, Pedro J. Martín: A tool for teaching interactions between design patterns. ITiCSE 2008: 371
	2007
9		J. García, Antonio Gavilanes, A. Gil, Pedro J. Martín: CGR: a Tool for Programming Using Schemes. COMPSAC (2) 2007: 347-354
	2002
8		Pedro J. Martín, Antonio Gavilanes: Simultaneous Rigid Sorted Unification for Tableaux. Studia Logica 72(1): 31-59 (2002)
	2001
7		Pedro J. Martín, Antonio Gavilanes: Free-variable Tableaux for Monotonic PreordersI. Logic Journal of the IGPL 9(6): 813-844 (2001)
	2000
6		Pedro J. Martín, Antonio Gavilanes: Simultaneous Rigid Sorted Unification. JELIA 2000: 193-208
5		Pedro J. Martín, Antonio Gavilanes: Monotonic Preorders for Free Variable Tableaux. TABLEAUX 2000: 309-323
4		Pedro J. Martín, Antonio Gavilanes, Javier Leach: Tableau Methods for a Logic with Term Declarations. J. Symb. Comput. 29(2): 343-372 (2000)
	1998
3		Pedro J. Martín, Antonio Gavilanes, Javier Leach: Free Variable Tableaux for a Logic with Term Declarations. TABLEAUX 1998: 202-216
	1996
2		Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva: Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC 1996: 365-379
1		Pedro J. Martín, Antonio Gavilanes: Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. APPIA-GULP-PRODE 1996: 139-154

Coauthor Index

1	Javier Leach Albert (Javier Leach)	[2] [3] [4]
2	Luis F. Ayuso	[15]
3	Ezequiel Denegri	[10]
4	Guillermo Frontera	[10]
5	J. García	[9]
6	Antonio Gavilanes	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
7	A. Gil	[9]
8	Álvaro del Monte	[11]
9	Susana Nieva	[2]
10	Roberto Torres	[11] [12] [13] [14] [15]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page