Antonio Gavilanes

	2012
16		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
15		Roberto Torres, Pedro J. Martín, Antonio Gavilanes: Traversing a BVH Cut to Exploit Ray Coherence. GRAPP 2011: 140-150
	2009
14		Pedro J. Martín, Roberto Torres, Antonio Gavilanes: CUDA Solutions for the SSSP Problem. ICCS (1) 2009: 904-913
13		Antonio Gavilanes, Pedro J. Martín, Roberto Torres: A Tool for Automatic Code Generation from Schemas. ICCS (2) 2009: 63-73
	2008
12		Álvaro del Monte, Roberto Torres, Pedro J. Martín, Antonio Gavilanes: A Fully GPU-Implemented Rigid Body Simulator. GRAPP 2008: 342-349
11		Ezequiel Denegri, Guillermo Frontera, Antonio Gavilanes, Pedro J. Martín: A tool for teaching interactions between design patterns. ITiCSE 2008: 371
	2007
10		J. García, Antonio Gavilanes, A. Gil, Pedro J. Martín: CGR: a Tool for Programming Using Schemes. COMPSAC (2) 2007: 347-354
	2002
9		Pedro J. Martín, Antonio Gavilanes: Simultaneous Rigid Sorted Unification for Tableaux. Studia Logica 72(1): 31-59 (2002)
	2001
8		Pedro J. Martín, Antonio Gavilanes: Free-variable Tableaux for Monotonic PreordersI. Logic Journal of the IGPL 9(6): 813-844 (2001)
	2000
7		Pedro J. Martín, Antonio Gavilanes: Simultaneous Rigid Sorted Unification. JELIA 2000: 193-208
6		Pedro J. Martín, Antonio Gavilanes: Monotonic Preorders for Free Variable Tableaux. TABLEAUX 2000: 309-323
5		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
4		Pedro J. Martín, Antonio Gavilanes, Javier Leach: Free Variable Tableaux for a Logic with Term Declarations. TABLEAUX 1998: 202-216
	1996
3		Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva: Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC 1996: 365-379
2		Antonio Gavilanes, Javier Leach, Susana Nieva: Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST 1996: 102-116
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] [5]
2	Luis F. Ayuso	[16]
3	Ezequiel Denegri	[11]
4	Guillermo Frontera	[11]
5	J. García	[10]
6	A. Gil	[10]
7	Pedro J. Martín	[1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
8	Álvaro del Monte	[12]
9	Susana Nieva	[2] [3]
10	Roberto Torres	[12] [13] [14] [15] [16]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page