Gabriel Aguilera

12 papers B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques.
Fuzzy Sets Syst.
Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
2012 J jnl
Closure via functional dependence simplification.
Int. J. Comput. Math.
Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
2009 J jnl
Performance comparison of MRC and IC under transmit diversity.
IEEE Trans. Wirel. Commun.
Andrea J. Goldsmith, Juan P. Peña-Martin, Gabriel Aguilera, Juan M. Romero-Jerez
2006 J jnl
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif.
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2006 — conf
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2006 — conf
Performance of MIMO MRC Systems with Co-Channel Interference.
ICC
Juan M. Romero-Jerez, Juan P. Peña-Martin, Gabriel Aguilera, Andrea J. Goldsmith
2004 — conf
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2001 J jnl
Reductions for non-clausal theorem proving.
Theor. Comput. Sci.
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1998 J jnl
Reducing signed propositional formulas.
Soft Comput.
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
1995 J jnl
Increasing the efficiency of automated theorem proving.
J. Appl. Non Class. Logics
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994 B conf
TAS-D
JELIA
Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego
1994 — conf
TAS-D++ vs tablas semanticas.
GULP-PRODE (2)
Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego