Pedro Barahona
Pedro Barahona
Professor of Computer Science, New University of Lisbon
Verified email at fct.unl.pt
TitleCited byYear
Timetabling in constraint logic programming
F Azevedo, P Barahona
WORLD CONGRESS ON EXPERT SYSTEM, 1994
541994
PSICO: Solving protein structures with constraint programming and optimization
L Krippahl, P Barahona
Constraints 7 (3-4), 317-331, 2002
452002
Applying constraint programming to protein structure determination
L Krippahl, P Barahona
International Conference on Principles and Practice of Constraint …, 1999
381999
An Incremental Hierarchical Constraint Solver.
F Menezes, P Barahona, P Codognet
PPCP 93, 1993
371993
Knowledge and Decisions in Health Telematics: The Next Decade
P Barahona, JP Christensen
IOS Press, 1994
341994
Parameter estimation using interval computations
L Granvilliers, J Cruz, P Barahona
SIAM Journal on Scientific Computing 26 (2), 591-612, 2004
322004
Modelling digital circuits problems with set constraints
F Azevedo, P Barahona
International Conference on Computational Logic, 414-428, 2000
322000
Using time-oriented data abstraction methods to optimize oxygen supply for neonates
A Seyfang, S Miksch, W Horn, MS Urschitz, C Popow, CF Poets
Conference on Artificial Intelligence in Medicine in Europe, 217-226, 2001
262001
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
232005
Global hull consistency with local search for continuous constraint solving
J Cruz, P Barahona
Portuguese Conference on Artificial Intelligence, 349-362, 2001
222001
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
Studies in health technology and informatics 43, 300-304, 1997
211997
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
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
Applying constraint programming to rigid body protein docking
L Krippahl, P Barahona
International Conference on Principles and Practice of Constraint …, 2005
192005
Maintaining global hull consistency with local search for continuous CSPs
J Cruz, P Barahona
International Workshop on Global Optimization and Constraint Satisfaction …, 2002
192002
Constraint programming in structural bioinformatics
P Barahona, L Krippahl
Constraints 13 (1-2), 3-20, 2008
172008
Constraint satisfaction differential problems
J Cruz, P Barahona
International Conference on Principles and Practice of Constraint …, 2003
172003
A common structure for the representation of data and diagnostic processes within clinical neurophysiology
B Johnsen, S Vingtoft, A Fuglsang-Frederiksen, P Barahona, P Fawcett, ...
Proc. of the 12th Int. Congress of the European Federation for Med. Inf …, 1994
171994
Defeasible constraint solving
F Menezes, P Barahona
International Workshop on Over-Constrained Systems, 151-170, 1995
161995
ESTEEM (European standardised telematic tool to evaluate EMG knowledge-based systems and methods): AIM project A2010
S Vingtoft, M Veloso, A Fuglsang-Frederiksen, B Johnsen, A Vila, ...
Computer methods and programs in biomedicine 45 (1-2), 61-63, 1994
161994
The system can't perform the operation now. Try again later.
Articles 1–20