The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pedro Barahona: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pedro Barahona
    Constraint Logic Programming: Theory, Domain and Applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:3-12 [Conf]
  2. Jorge Cruz, Pedro Barahona, Frédéric Benhamou
    Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. [Citation Graph (0, 0)][DBLP]
    AIMDM, 1999, pp:185-196 [Conf]
  3. Jorge Cruz, Pedro Barahona
    Constraint Reasoning in Deep Biomedical Models. [Citation Graph (0, 0)][DBLP]
    AIME, 2003, pp:324-334 [Conf]
  4. Pedro Barahona
    Semi-Qualitative Models and Simulation for Biomedical Applications. [Citation Graph (0, 0)][DBLP]
    AIME, 1995, pp:103-114 [Conf]
  5. Jorge Cruz, Pedro Barahona
    A Causal-Functional Model Applied to EMG Diagnosis. [Citation Graph (0, 0)][DBLP]
    AIME, 1997, pp:249-260 [Conf]
  6. P. Falcão, M. Pereira, R. Ribeiro, Pedro Barahona
    Another timetabling approach. [Citation Graph (0, 0)][DBLP]
    Expert Planning Systems, 1990, pp:212-216 [Conf]
  7. Francisco Azevedo, Pedro Barahona
    Modelling Digital Circuits Problems with Set Constraints. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:414-428 [Conf]
  8. Jorge Cruz, Pedro Barahona
    Maintaining Global Hull Consistency with Local Search for Continuous CSPs. [Citation Graph (0, 0)][DBLP]
    COCOS, 2002, pp:178-193 [Conf]
  9. Paula Amaral, Pedro Barahona
    On Optimal Correction of Inconsistent Linear Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:33-46 [Conf]
  10. Francisco Azevedo, Pedro Barahona
    Interaction of Constraint Programming and Local Search for Optimisation Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:554-559 [Conf]
  11. Francisco Azevedo, Pedro Barahona
    Generation of Test Patterns for Differential Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:462- [Conf]
  12. Jorge Cruz, Pedro Barahona
    An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:478-479 [Conf]
  13. Jorge Cruz, Pedro Barahona
    Constraint Satisfaction Differential Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:259-273 [Conf]
  14. Christian Holzbaur, Francisco Menezes, Pedro Barahona
    Defeasibility in CLP(Q) through Generalized Slack Variables. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:209-223 [Conf]
  15. Ludwig Krippahl, Pedro Barahona
    Propagating N-Ary Rigid-Body Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:452-465 [Conf]
  16. Ludwig Krippahl, Pedro Barahona
    Applying Constraint Programming to Rigid Body Protein Docking. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:373-387 [Conf]
  17. Ludwig Krippahl, Pedro Barahona
    Applying Constraint Programming to Protein Structure Determination. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:289-302 [Conf]
  18. Francisco Menezes, Pedro Barahona
    Defeasible Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Over-Constrained Systems, 1995, pp:151-170 [Conf]
  19. Francisco Azevedo, Pedro Barahona
    Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:73-77 [Conf]
  20. Jorge Cruz, Pedro Barahona
    Global Hull Consistency with Local Search for Continuous Constraint Solving. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:349-362 [Conf]
  21. Francisco Menezes, Pedro Barahona
    Constraint Solving in Finite Domains under User Control. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:17-29 [Conf]
  22. Francisco Menezes, Pedro Barahona
    Preliminary Formalization of an Incremental Hierarchical Constraint Solver. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:281-296 [Conf]
  23. Jorge Cruz, Pedro Barahona
    Handling Differential Equations with Constraints for Decision Support. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:105-120 [Conf]
  24. Pedro Barahona
    Defeasible Constraint Solving over the Booleans. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 1998, pp:397-408 [Conf]
  25. José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
    Deductive Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:155-166 [Conf]
  26. Pedro Barahona, Ludwig Krippahl
    A Constraint Programming Approach to Bioinformatics Structural Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:33-49 [Conf]
  27. Francisco Menezes, Pedro Barahona, Philippe Codognet
    An Incremental Hierarchical Constraint Solver. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:190-199 [Conf]
  28. Marco Correia, Pedro Barahona
    Machine Learned Heuristics to Improve Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    SBIA, 2004, pp:103-113 [Conf]
  29. Pedro Barahona
    A causal and temporal reasoning model and its use in drug therapy applications. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 1994, v:6, n:1, pp:1-27 [Journal]
  30. Jorge Cruz, Pedro Barahona
    Constraint reasoning in deep biomedical models. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2005, v:34, n:1, pp:77-88 [Journal]
  31. Paula Amaral, Pedro Barahona
    A Framework for Optimal Correction of Inconsistent Linear Constraints. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:1, pp:67-86 [Journal]
  32. Ludwig Krippahl, Pedro Barahona
    PSICO: Solving Protein Structures with Constraint Programming and Optimization. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:3-4, pp:317-331 [Journal]
  33. Laurent Granvilliers, Jorge Cruz, Pedro Barahona
    Parameter Estimation Using Interval Computations. [Citation Graph (0, 0)][DBLP]
    SIAM J. Scientific Computing, 2004, v:26, n:2, pp:591-612 [Journal]

  34. On the Efficiency of Impact Based Heuristics. [Citation Graph (, )][DBLP]


  35. On the Integration of Singleton Consistencies and Look-Ahead Heuristics. [Citation Graph (, )][DBLP]


  36. Type Parametric Compilation of Algebraic Constraints. [Citation Graph (, )][DBLP]


  37. Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. [Citation Graph (, )][DBLP]


  38. Using Indexed Finite Set Variables for Set Bounds Propagation. [Citation Graph (, )][DBLP]


  39. Probabilistic Continuous Constraint Satisfaction Problems. [Citation Graph (, )][DBLP]


  40. Probabilistic constraints for reliability problems. [Citation Graph (, )][DBLP]


  41. Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. [Citation Graph (, )][DBLP]


  42. Constraint Programming in Structural Bioinformatics. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.036secs
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