Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Pedro Barahona
Observed names:
Barahona P.,
Barahona Pedro,
Barahona, Pedro,
P Barahona,
P. Barahona
Institutions:
Laboratório para a Ciência da Computação e Informática,
Universidade Nova de Lisboa
Observed institutions:
University of Lisbon,
Uninova,
Laboratório para a Ciência da Computação e Informática,
Fundação para a Ciência e Tecnologia,
Universidade Nova de Lisboa,
Aalborg University
show all 6
ORCID:
0000-0002-8355-4986
Observed ORCID:
0000-0002-8355-4986
OpenAlex ID:
A5077525447
Works
128
Awards
8
PSICO: Solving Protein Structures with Constraint Programming and Optimization
2002
·
Ludwig Krippahl
, Pedro Barahona
·
Constraints
·
156
Knowledge and Decisions in Health Telematics
1994
·
Pedro Barahona
, J. P. Christensen
·
41
Proceedings of the 5th Portuguese Conference on Artificial Intelligence
1991
·
Pedro Barahona
, Luı́s Moniz Pereira
, et al.
·
Portuguese Conference on Artificial Intelligence
·
31
Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1–4, 2001, Proceedings
2001
·
Quaglini, Silvana
, Andreassen, Steen
, et al.
·
Lecture notes in computer science
·
27
Parameter Estimation Using Interval Computations
2004
·
Laurent Granvilliers
, Jorge Cruz
, et al.
·
SIAM Journal on Scientific Computing
·
26
Constraint Programming in Structural Bioinformatics
2008
·
Pedro Barahona
, Ludwig Krippahl
·
Constraints
·
23
Applying Constraint Programming to Protein Structure Determination
1999
·
Ludwig Krippahl
, Pedro Barahona
·
Lecture notes in computer science
·
23
An Incremental Hierarchical Constraint Solver.
1993
·
Francisco Menezes
, Pedro Barahona
, et al.
·
23
Modelling Digital Circuits Problems with Set Constraints
2000
·
Francisco Azevedo
, Pedro Barahona
·
Lecture notes in computer science
·
22
Empirical Study on SAT-Encodings of the At-Most-One Constraint
2020
·
Van-Hau Nguyen
, Van-Quyet Nguyen
, et al.
·
International Conference on Smart Media and Applications (SMA)
·
18
Connections between the total least squares and the correction of an infeasible system of linear inequalities
2004
·
Paula Amaral
, Pedro Barahona
·
Linear Algebra and its Applications
·
18
Constraint Satisfaction Differential Problems
2003
·
Jorge Cruz
, Pedro Barahona
·
Lecture notes in computer science
·
18
Computerising a guideline for the management of diabetes
2001
·
Pedro Barahona
, Francisco Azevedo
, et al.
·
International Journal of Medical Informatics
·
15
ESTEEM (European Standardised Telematic Tool to Evaluate EMG Knowledge-Based Systems and Methods): AIM Project A2010
1994
·
S. Vingtoft
, M. Veloso
, et al.
·
Computer Methods and Programs in Biomedicine
·
15
A Framework for Optimal Correction of Inconsistent Linear Constraints
2005
·
Paula Amaral
, Pedro Barahona
·
Constraints
·
14
Global Hull Consistency with Local Search for Continuous Constraint Solving
2001
·
Jorge Cruz
, Pedro Barahona
·
Lecture notes in computer science
·
14
A causal and temporal reasoning model and its use in drug therapy applications
1994
·
Pedro Barahona
·
Artificial Intelligence in Medicine
·
14
Constraint reasoning in deep biomedical models
2004
·
Jorge Cruz
, Pedro Barahona
·
Artificial Intelligence in Medicine
·
13
Maintaining Global Hull Consistency with Local Search for Continuous CSPs
2003
·
Jorge Cruz
, Pedro Barahona
·
Lecture notes in computer science
·
13
ESTEEM: a European telematic project for quality assurance within clinical neurophysiology.
1995
·
S Vingtoft
, B Johnsen
, et al.
·
PubMed
·
13
Protein docking with predicted constraints
2015
·
Ludwig Krippahl
, Pedro Barahona
·
Algorithms for Molecular Biology
·
12
PDF
Applying Constraint Programming to Rigid Body Protein Docking
2005
·
Ludwig Krippahl
, Pedro Barahona
·
Lecture notes in computer science
·
12
Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA ’99 Évora, Portugal, September 21–24, 1999 Proceedings
1999
·
Barahona, Pedro
, Alferes, José J
·
Lecture notes in computer science
·
11
Defeasibility in CLP( $$\mathcal{Q}$$ ) through generalized slack variables
1996
·
Christian Holzbaur
, Francisco Menezes
, et al.
·
Lecture notes in computer science
·
11
On the Efficiency of Impact Based Heuristics
2008
·
Marco Correia
, Pedro Barahona
·
Lecture notes in computer science
·
10
Show more works
View as search
Works count:
128
Citation count:
829
H-index:
14
I10-index:
27
Year
Topic
Type
