dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Pablo Cordero Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012)
2011
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Non-deterministic Algebraic Structures for Soft Computing. IWANN (2) 2011: 437-444
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Cordero, Julius B. Lucks, Rhiju Das: The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments CoRR abs/1110.0235: (2011)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: A coalgebraic approach to non-determinism: Applications to multilattices. Inf. Sci. 180(22): 4323-4335 (2010)
2009
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: On Congruences and Homomorphisms on Some Non-deterministic Algebras. IJCCI 2009: 59-67
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Fuzzy Logic, Soft Computing, and Applications. IWANN (1) 2009: 236-244
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Congruence relations on some hyperstructures. Ann. Math. Artif. Intell. 56(3-4): 361-370 (2009)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Fuzzy congruence relations on nd-groupoids. Int. J. Comput. Math. 86(10&11): 1684-1695 (2009)
2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA 2006: 602-611
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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)
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero: Generalizations of lattices via non-deterministic operators. Discrete Mathematics 295(1-3): 107-141 (2005)
2004
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán: A New Algebraic Tool for Automatic Theorem Provers. Ann. Math. Artif. Intell. 42(4): 369-398 (2004)
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngel 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInman 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207

Coauthor Index

1Gabriel Aguilera [8] [11] [12] [27]
2Rosario Baena [25]
3Alfredo Burrieza [12]
4Inma P. Cabrera [14] [15] [17] [18] [19] [23]
5José Luis Caro [20]
6Rhiju Das [22]
7Manuel Enciso (Manuel Enciso García-Oliveros) [1] [2] [3] [4] [5] [6] [8] [9] [11] [13] [16] [20] [21] [24] [25] [26] [27]
8I. Fortes [27]
9J. Guerrero [9]
10Antonio Guevara [20]
11Gloria Gutiérrez [7] [10] [14] [15] [18] [19]
12Inmaculada Perez de Guzmán (Inman P. de Guzmán) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [21] [24] [26]
13Julius B. Lucks [22]
14Javier Martínez [7] [10] [14] [15] [18] [19]
15A. Mora [27]
16Angel Mora (Angel Mora Bonilla) [5] [6] [8] [9] [11] [13] [16] [20] [21] [24] [25] [26]
17Emilio Muñoz-Velasco [12]
18Manuel Ojeda-Aciego [14] [15] [17] [18] [19] [23]
19José Manuel Rodríguez-Jiménez [24] [26]
20Carlos Rossi [20]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page