Follow
Pedro Barahona
Pedro Barahona
Professor of Computer Science, New University of Lisbon
Verified email at fct.unl.pt
Title
Cited by
Cited by
Year
Timetabling in constraint logic programming
F Azevedo, P Barahona
In Proceedings of 2nd World Congress on Expert Systems, 1994
581994
PSICO: Solving protein structures with constraint programming and optimization
L Krippahl, P Barahona
Constraints 7, 317-331, 2002
512002
Applying constraint programming to protein structure determination
L Krippahl, P Barahona
Principles and Practice of Constraint Programming–CP’99: 5th International†…, 1999
431999
An Incremental Hierarchical Constraint Solver.
F Menezes, P Barahona, P Codognet
PPCP 93, 190-199, 1993
431993
Knowledge and Decisions in Health Telematics: The Next Decade
P Barahona, JP Christensen
IOS Press, 1994
401994
Parameter estimation using interval computations
L Granvilliers, J Cruz, P Barahona
SIAM Journal on Scientific Computing 26 (2), 591-612, 2004
352004
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
Computational Logic—CL 2000: First International Conference London, UK†…, 2000
322000
Connections between the total least squares and the correction of an infeasible system of linear inequalities
P Amaral, P Barahona
Linear algebra and its applications 395, 191-210, 2005
282005
Constraint programming in structural bioinformatics
P Barahona, L Krippahl
Constraints 13, 3-20, 2008
262008
Constraint satisfaction differential problems
J Cruz, P Barahona
Principles and Practice of Constraint Programming–CP 2003: 9th International†…, 2003
252003
A framework for optimal correction of inconsistent linear constraints
P Amaral, P Barahona
Constraints 10, 67-86, 2005
222005
From hospital information system components to the medical record and clinical guidelines & protocols
M Veloso, N Estev„o, P Ferreira, R Rodrigues, CT Costa, P Barahona
Medical Informatics Europe'97, 300-304, 1997
221997
A causal and temporal reasoning model and its use in drug therapy applications
P Barahona
Artificial Intelligence in Medicine 6 (1), 1-27, 1994
221994
Global hull consistency with local search for continuous constraint solving
J Cruz, P Barahona
Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent†…, 2002
212002
Computerising a guideline for the management of diabetes
P Barahona, F Azevedo, M Veloso, N EstÍv„o, R Gallego
International journal of medical informatics 64 (2-3), 275-284, 2001
202001
Applying constraint programming to rigid body protein docking
L Krippahl, P Barahona
Principles and Practice of Constraint Programming-CP 2005: 11th†…, 2005
192005
Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings
S Quaglini, P Barahona, S Andreassen
Springer, 2003
192003
Maintaining global hull consistency with local search for continuous CSPs
J Cruz, P Barahona
Global Optimization and Constraint Satisfaction: First International†…, 2003
192003
Two encodings of DNNF theories
JC Jung, P Barahona, G Katsirelos, T Walsh
ECAI workshop on Inference methods based on Graphical Structures of†…, 2008
182008
Defeasibility in CLP( ) through generalized slack variables
C Holzbaur, F Menezes, P Barahona
Principles and Practice of Constraint Programming—CP96: Second†…, 1996
181996
The system can't perform the operation now. Try again later.
Articles 1–20