The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel Diaz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippe Codognet, Daniel Diaz, Francesca Rossi
    Constraint Reaction in FD. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1996, pp:168-179 [Conf]
  2. Salvador Abreu, Daniel Diaz
    Contexts for Organizational Information System Design and Implementation. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:227-232 [Conf]
  3. Salvador Abreu, Daniel Diaz
    Objective: In Minimum Context. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:128-147 [Conf]
  4. Björn Carlson, Mats Carlsson, Daniel Diaz
    Entailment of Finite Domain Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:339-353 [Conf]
  5. Philippe Codognet, Daniel Diaz
    WAMCC: Compiling Prolog to C. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:317-331 [Conf]
  6. Daniel Diaz, Philippe Codognet
    A Minimal Extension of the WAM for clp(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:774-790 [Conf]
  7. Carlos Calderon, Marc Cavazza, Daniel Diaz
    Interactive problem solving in an intelligent virtual environment. [Citation Graph (0, 0)][DBLP]
    Intelligent User Interfaces, 2003, pp:319- [Conf]
  8. Carlos Calderon, Marc Cavazza, Daniel Diaz
    A new approach to virtual design for spatial configuration problems. [Citation Graph (0, 0)][DBLP]
    IV, 2003, pp:518-523 [Conf]
  9. Philippe Codognet, Daniel Diaz
    The clp(FD) system. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:357-360 [Conf]
  10. Daniel Diaz, Philippe Codognet
    GNU Prolog: Beyond Compiling Prolog to C. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:81-92 [Conf]
  11. Florina Almenárez Mendoza, Andres Marin, Daniel Diaz, Juan Sanchez
    Developing a Model for Trust Management in Pervasive Devices. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2006, pp:267-271 [Conf]
  12. Philippe Codognet, Daniel Diaz
    clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:244-260 [Conf]
  13. Daniel Diaz, Philippe Codognet
    The GNU Prolog System and its Implementation. [Citation Graph (0, 0)][DBLP]
    SAC (2), 2000, pp:728-732 [Conf]
  14. Philippe Codognet, Daniel Diaz
    Yet Another Local Search Method for Constraint Solving. [Citation Graph (0, 0)][DBLP]
    SAGA, 2001, pp:73-90 [Conf]
  15. Carlos Calderon, Marc Cavazza, Daniel Diaz
    A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. [Citation Graph (0, 0)][DBLP]
    Smart Graphics, 2003, pp:112-122 [Conf]
  16. Philippe Codognet, Daniel Diaz
    Boolean Constraint Solving Using clp(FD). [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:525-539 [Conf]
  17. Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
    Code-Based Test Generation for Validation of Functional Processor Descriptions. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:569-584 [Conf]
  18. Florina Almenárez Mendoza, Daniel Diaz, Andrés Marín López
    Secure Ad-Hoc mBusiness: EnhancingWindowsCE Security. [Citation Graph (0, 0)][DBLP]
    TrustBus, 2004, pp:90-99 [Conf]
  19. Philippe Codognet, Daniel Diaz
    A Simple and Efficient Boolean Solver for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:17, n:1, pp:97-129 [Journal]
  20. Daniel Diaz, Philippe Codognet
    Design and Implementation of the GNU Prolog System. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:6, pp:- [Journal]
  21. Philippe Codognet, Daniel Diaz
    Compiling Constraints in clp(FD). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:3, pp:185-226 [Journal]

  22. Deriving Product Line Requirements: the RED-PL Guidance Approach. [Citation Graph (, )][DBLP]


  23. Middleware for Secure Home Access and Control. [Citation Graph (, )][DBLP]


  24. Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services. [Citation Graph (, )][DBLP]


  25. A Trust-based Middleware for Providing Security to Ad-Hoc Peer-to-Peer Applications. [Citation Graph (, )][DBLP]


  26. Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. [Citation Graph (, )][DBLP]


  27. Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. [Citation Graph (, )][DBLP]


  28. Pervasive authentication and authorization infrastructures for mobile users. [Citation Graph (, )][DBLP]


  29. Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) [Citation Graph (, )][DBLP]


Search in 0.064secs, Finished in 0.066secs
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