Manuel Enciso

Manuel Enciso García-Oliveros

	2012
25		A. Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012)
	2011
24		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: Specification and inference of fuzzy attributes. FOCI 2011: 107-114
23		Manuel Enciso García-Oliveros, Angel Mora Bonilla, Pablo Cordero, Rosario Baena: A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. ICSOFT (1) 2011: 313-316
22		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez: An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. IWANN (2) 2011: 412-420
21		Angel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero: Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88(9): 1860-1868 (2011)
	2010
20		Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora, Pablo Cordero: A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. ICSOFT (2) 2010: 195-200
	2009
19		Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán: A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. IWANN (1) 2009: 261-269
	2008
18		Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso: Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discrete Applied Mathematics 156(6): 911-923 (2008)
	2006
17		Angel Mora, Manuel Enciso: A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) 2006: 302-305
16		Angel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán: A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 31-40 (2006)
	2004
15		Carlos Rossi, Manuel Enciso, Angel Mora: A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418
14		Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero: A/D Case: A New Heart for FD3. ICEIS (1) 2004: 482-490
13		Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán: A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. SBIA 2004: 31-40
12		Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi: Una forma normal temporal independiente del método de deducción. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 8(23): 27-45 (2004)
11		Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán: Formalization of UML state machines using temporal logic. Software and System Modeling 3(1): 31-54 (2004)
	2003
10		Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán: An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. CAEPIA 2003: 136-146
	2002
9		Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
8		Manuel Enciso, Angel Mora: FD3: A Functional Dependencies Data Dictionary. ICEIS 2002: 807-810
7		Pablo Cordero, Manuel Enciso, Inman P. de Guzmán: Bases for closed sets of implicants and implicates in temporal logic. Acta Inf. 38(9): 599-619 (2002)
6		Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán: From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports on Mathematical Logic 36: 3-53 (2002)
	2000
5		Inman P. de Guzmán, Manuel Enciso, Pablo Cordero: A temporal negative normal form which preserves implicants and implicates. Journal of Applied Non-Classical Logics 10(3-4): (2000)
	1999
4		Inman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207
	1996
3		Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego: Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566
2		Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319
	1994
1		Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323

Coauthor Index

1	Gabriel Aguilera	[13] [16] [25]
2	Rosario Baena	[23]
3	José Luis Caro	[20]
4	Pablo Cordero	[4] [5] [6] [7] [9] [10] [13] [14] [16] [18] [19] [20] [21] [22] [23] [24] [25]
5	I. Fortes	[25]
6	J. Guerrero	[14]
7	Antonio Guevara	[20]
8	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [18] [19] [21] [22] [24]
9	J. F. Moncada	[3]
10	A. Mora	[25]
11	Angel Mora (Angel Mora Bonilla)	[8] [9] [10] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
12	Manuel Ojeda-Aciego	[3]
13	José Manuel Rodríguez-Jiménez	[22] [24]
14	Carlos Rossi	[1] [2] [11] [12] [15] [20]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page