Seguir
Pedro Barahona
Pedro Barahona
Professor of Computer Science, New University of Lisbon
Dirección de correo verificada de fct.unl.pt
Título
Citado por
Citado por
Año
Timetabling in constraint logic programming
F Azevedo, P Barahona
In Proceedings of 2nd World Congress on Expert Systems, 1994
611994
PSICO: Solving protein structures with constraint programming and optimization
L Krippahl, P Barahona
Constraints 7, 317-331, 2002
542002
An Incremental Hierarchical Constraint Solver.
F Menezes, P Barahona, P Codognet
PPCP 93, 190-199, 1993
441993
Applying constraint programming to protein structure determination
L Krippahl, P Barahona
International Conference on Principles and Practice of Constraint …, 1999
421999
Parameter estimation using interval computations
L Granvilliers, J Cruz, P Barahona
SIAM Journal on Scientific Computing 26 (2), 591-612, 2004
382004
Knowledge and decisions in health telematics: the next decade
P Barahona, JP Christensen
IOS Press, 1994
371994
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
International Conference on Computational Logic, 414-428, 2000
312000
Constraint programming in structural bioinformatics
P Barahona, L Krippahl
Constraints 13, 3-20, 2008
302008
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
302005
Constraint satisfaction differential problems
J Cruz, P Barahona
International Conference on Principles and Practice of Constraint …, 2003
242003
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
231997
The chimera of purpose-and language-independent concept systems in healthcare
W Ceusters, G Deville, F Buekens, P Barahona, M Veloso, T Bryant
MIE 94, 208-212, 1994
231994
A framework for optimal correction of inconsistent linear constraints
P Amaral, P Barahona
Constraints 10, 67-86, 2005
222005
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
212001
Applying constraint programming to rigid body protein docking
L Krippahl, P Barahona
International Conference on Principles and Practice of Constraint …, 2005
202005
Global hull consistency with local search for continuous constraint solving
J Cruz, P Barahona
Portuguese Conference on Artificial Intelligence, 349-362, 2001
202001
A causal and temporal reasoning model and its use in drug therapy applications
P Barahona
Artificial Intelligence in Medicine 6 (1), 1-27, 1994
201994
Defeasibility in CLP () through generalized slack variables
C Holzbaur, F Menezes, P Barahona
International Conference on Principles and Practice of Constraint …, 1996
191996
Empirical Study on SAT-Encodings of the At-Most-One Constraint
VH Nguyen, VQ Nguyen, K Kim, P Barahona
The 9th International Conference on Smart Media and Applications, 470-475, 2020
182020
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20