Gabriel Aguilera Venegas
Gabriel Aguilera Venegas
Dpto. Matemática Aplicada, Universidad de Málaga
Dirección de correo verificada de ctima.uma.es
Título
Citado por
Citado por
Año
Closure via functional dependence simplification
A Mora, P Cordero, M Enciso, I Fortes, G Aguilera
International Journal of Computer Mathematics 89 (4), 510-526, 2012
452012
Performance of MIMO MRC systems with co-channel interference
JM Romero-Jerez, JP Peña-Martín, G Aguilera, AJ Goldsmith
2006 IEEE International Conference on Communications 3, 1343-1349, 2006
332006
Automated generation of contrapuntal musical compositions using probabilistic logic in derive
G Aguilera, JL Galán, R Madrid, AM Martínez, Y Padilla, P Rodríguez
Mathematics and Computers in Simulation 80 (6), 1200-1211, 2010
312010
Reductions for non-clausal theorem proving
G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde
Theoretical Computer Science 266 (1-2), 81-112, 2001
292001
An accelerated-time simulation for traffic flow in a smart city
JL Galán-García, G Aguilera-Venegas, P Rodríguez-Cielos
Journal of Computational and Applied Mathematics 270, 557-563, 2014
252014
An accelerated-time simulation for traffic flow in a smart city
JL Galán-García, G Aguilera-Venegas, P Rodríguez-Cielos
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 270, 557-563, 2014
252014
Increasing the efficiency of automated theorem proving
G Aguilera, IP de Guzmán, M Ojeda
Journal of Applied Non-Classical Logics 5 (1), 9-29, 1995
251995
Performance comparison of MRC and IC under transmit diversity
JP Peña-Martin, JM Romero-Jerez, G Aguilera, AJ Goldsmith
IEEE Transactions on Wireless Communications 8 (5), 2484-2493, 2009
232009
A new Probabilistic Extension of Dijkstra’s Algorithm to simulate more realistic traffic flow in a smart city
JL Galán-García, G Aguilera-Venegas, MÁ Galán-García, ...
Applied mathematics and Computation 267, 780-789, 2015
202015
A new closure algorithm based in logic: SLFD-Closure versus classical closures
A Mora, G Aguilera, M Enciso, P Cordero, IP de Guzmán
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2006
192006
A non-explosive treatment of functional dependencies using rewriting logic
G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán
Brazilian Symposium on Artificial Intelligence, 31-40, 2004
152004
An accelerated-time simulation for traffic flow in a smart city
G Aguilera, JL Galán, JC Campos, P Rodríguez
FEMTEC 2013, 26, 2013
142013
A reduction-based theorem prover for 3-valued logic
G Aguilera Venegas, I Pérez de Guzmán Molina, M Ojeda Aciego
Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997
141997
An accelerated-time simulation of baggage traffic in an airport terminal
G Aguilera-Venegas, JL Galán-García, E Mérida-Casermeiro, ...
Mathematics and Computers in Simulation 104, 58-66, 2014
112014
Reasoning about fuzzy functional dependencies
P Cordero, M Enciso, A Mora, IP de Guzmán
XIV Spanish Conference on Fuzzy Logic and Technology, 121-126, 2008
102008
Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS.
G Aguilera-Venegas, JL Galán-García, MÁ Galán-García, ...
International Journal for Technology in Mathematics Education 22 (2), 2015
92015
An accelerated-time simulation of car traffic on a motorway using a CAS
G Aguilera, JL Galán, JM García, E Mérida, P Rodríguez
Mathematics and Computers in Simulation 104, 21-30, 2014
92014
An accelerated-time simulation of car traffic on a motorway using a CAS
JLG Gabriel Aguilera, JM García, E Mérida, P Rodríguez
Mathematics and Computers in Simulation 104, 21-30, 2014
92014
Improving CAS capabilities: New rules for computing improper integrals
JL Galán-García, G Aguilera-Venegas, MÁ Galán-García, ...
Applied Mathematics and Computation 316, 525-540, 2018
82018
A portable knowledge-based system for car breakdown evaluation
E Roanes-Lozano, JL Galán-García, G Aguilera-Venegas
Applied Mathematics and Computation 267, 758-770, 2015
82015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20