The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Enciso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
    A Temporal Logic for Program Specification. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:309-323 [Conf]
  2. Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
    Executing Intensional Logic with the TAS Tool. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:561-566 [Conf]
  3. Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
    An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. [Citation Graph (0, 0)][DBLP]
    CAEPIA, 2003, pp:136-146 [Conf]
  4. Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
    Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:193-207 [Conf]
  5. Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
    SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2002, pp:141-150 [Conf]
  6. Carlos Rossi, Manuel Enciso, Angel Mora
    A First Order Temporal Logic for Behavior Representation. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:408-418 [Conf]
  7. Manuel Enciso, Angel Mora
    FD3: A Functional Dependencies Data Dictionary. [Citation Graph (0, 0)][DBLP]
    ICEIS, 2002, pp:807-810 [Conf]
  8. Angel Mora, Manuel Enciso
    A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2006, pp:302-305 [Conf]
  9. Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
    A/D Case: A New Heart for FD3. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:482-490 [Conf]
  10. Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
    Temporal Reasoning over Linear Discrete Time. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:303-319 [Conf]
  11. Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
    A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    SBIA, 2004, pp:31-40 [Conf]
  12. Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
    Bases for closed sets of implicants and implicates in temporal logic. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2002, v:38, n:9, pp:599-619 [Journal]
  13. Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
    A temporal negative normal form which preserves implicants and implicates. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:3-4, pp:- [Journal]
  14. Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
    Formalization of UML state machines using temporal logic. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:31-54 [Journal]
  15. Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
    From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 2002, v:36, n:, pp:3-53 [Journal]

  16. A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. [Citation Graph (, )][DBLP]


  17. Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002