default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPedro Barahona
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j16]Hugo Mochão, Daniel Gonçalves
, Leonardo Alexandre, Carolina Castro, Duarte Valério, Pedro Barahona, Daniel Moreira-Gonçalves, Paulo Matos da Costa, Rui Henriques, Lucio Lara-Santos, Rafael S. Costa:
IPOscore: An interactive web-based platform for postoperative surgical complications analysis and prediction in the oncology domain. Comput. Methods Programs Biomed. 219: 106754 (2022)- 2020
- [j15]Hugo Mochão, Pedro Barahona, Rafael S. Costa:
KiMoSys 2.0: an upgraded database for submitting, storing and accessing experimental data for kinetic modeling. Database J. Biol. Databases Curation 2020 (2020) - [j14]Paula Alexandra Amaral, Pedro Barahona:
K-best feasible clusters - ranking optimal solutions from an infeasible LP. INFOR Inf. Syst. Oper. Res. 58(2): 402-423 (2020) - [c49]Van-Hau Nguyen, Van-Quyet Nguyen, Kyungbaek Kim, Pedro Barahona:
Empirical Study on SAT-Encodings of the At-Most-One Constraint. SMA 2020: 470-475
2010 – 2019
- 2016
- [c48]Ludwig Krippahl, Pedro Barahona:
Constraining Redundancy to Improve Protein Docking. CP 2016: 721-732 - 2015
- [j13]Ludwig Krippahl, Pedro Barahona:
Protein docking with predicted constraints. Algorithms Mol. Biol. 10: 9 (2015) - 2014
- [j12]Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl:
Generation of classification trees from variable weighted features. Nat. Comput. 13(2): 169-177 (2014) - [c47]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). CP 2014: 913-917 - [c46]Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen:
Representative Encodings to Translate Finite CSPs into SAT. CPAIOR 2014: 251-267 - [c45]Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen:
Efficient SAT-Encoding of Linear CSP Constraints. ISAIM 2014 - 2013
- [j11]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints An Int. J. 18(3): 344-376 (2013) - [j10]Marco Correia, Pedro Barahona:
View-based propagation of decomposable constraints. Constraints An Int. J. 18(4): 579-608 (2013) - [c44]Ludwig Krippahl, Fábio Madeira, Pedro Barahona:
Constraining Protein Docking with Coevolution Data for Medical Research. AIME 2013: 110-114 - [c43]Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona:
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. ICTAI 2013: 1028-1035 - [i1]Marco Correia, Pedro Barahona:
View-based propagation of decomposable constraints. CoRR abs/1301.4272 (2013) - 2012
- [j9]Gregory R. Wheeler, Pedro Barahona:
Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. J. Philos. Log. 41(2): 493-503 (2012) - 2011
- [c42]Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl:
Classification Tree Generation Constrained with Variable Weights. IWINAC (1) 2011: 274-283 - 2010
- [c41]Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl:
Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. ICAART (2) 2010: 388-394 - [c40]David Buezas, João Almeida, Pedro Barahona:
Minimizing enzymes to diferenciate between species. WCB@ICLP 2010: 75-82 - [c39]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Reasoning with Uncertainty in Continuous Domains. IUM 2010: 357-369 - [c38]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic constraints for reliability problems. SAC 2010: 2055-2060
2000 – 2009
- 2009
- [c37]Olivier Perriquet, Pedro Barahona:
Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA 2009: 86-97 - [c36]Marco Correia, Pedro Barahona:
Type Parametric Compilation of Algebraic Constraints. EPIA 2009: 201-212 - 2008
- [j8]Pedro Barahona, Ludwig Krippahl:
Constraint Programming in Structural Bioinformatics. Constraints An Int. J. 13(1-2): 3-20 (2008) - [c35]Marco Correia, Pedro Barahona:
On the Efficiency of Impact Based Heuristics. CP 2008: 608-612 - [c34]Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo:
Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA 2008: 73-82 - [c33]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) 2008: 155-162 - [p1]Elsa Carvalho, Jorge Cruz, Pedro Barahona:
Probabilistic Constraints for Inverse Problems. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 115-128 - 2007
- [c32]Marco Correia, Pedro Barahona:
On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP 2007: 62-75 - [c31]Pedro Barahona, Ludwig Krippahl:
A Constraint Programming Approach to Bioinformatics Structural Problems. PADL 2007: 33-49 - [e8]Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi:
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4651, Springer 2007, ISBN 978-3-540-73816-9 [contents] - 2006
- [e7]Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler:
Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, ISBN 3-540-38409-X [contents] - 2005
- [j7]Jorge Cruz, Pedro Barahona:
Constraint reasoning in deep biomedical models. Artif. Intell. Medicine 34(1): 77-88 (2005) - [j6]Paula Amaral, Pedro Barahona:
A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints An Int. J. 10(1): 67-86 (2005) - [c30]Ludwig Krippahl, Pedro Barahona:
Applying Constraint Programming to Rigid Body Protein Docking. CP 2005: 373-387 - [e6]Pedro Barahona, Amy P. Felty:
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal. ACM 2005, ISBN 1-59593-090-6 [contents] - 2004
- [j5]Laurent Granvilliers, Jorge Cruz, Pedro Barahona:
Parameter Estimation Using Interval Computations. SIAM J. Sci. Comput. 26(2): 591-612 (2004) - [c29]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift:
Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-165 - [c28]Marco Correia, Pedro Barahona:
Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA 2004: 103-113 - 2003
- [c27]Jorge Cruz, Pedro Barahona:
Constraint Reasoning in Deep Biomedical Models. AIME 2003: 324-334 - [c26]Jorge Cruz, Pedro Barahona:
Constraint Satisfaction Differential Problems. CP 2003: 259-273 - [c25]Ludwig Krippahl, Pedro Barahona:
Propagating N-Ary Rigid-Body Constraints. CP 2003: 452-465 - [e5]Michel Dojat, Elpida T. Keravnou, Pedro Barahona:
Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings. Lecture Notes in Computer Science 2780, Springer 2003, ISBN 3-540-20129-7 [contents] - 2002
- [j4]Ludwig Krippahl, Pedro Barahona:
PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints An Int. J. 7(3-4): 317-331 (2002) - [c24]Jorge Cruz, Pedro Barahona:
Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS 2002: 178-193 - [c23]Paula Amaral, Pedro Barahona:
On Optimal Correction of Inconsistent Linear Constraints. CP 2002: 33-46 - 2001
- [j3]Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego:
Computerising a guideline for the management of diabetes. Int. J. Medical Informatics 64(2-3): 275-284 (2001) - [c22]Francisco Azevedo, Pedro Barahona:
Interaction of Constraint Programming and Local Search for Optimisation Problems. CP 2001: 554-559 - [c21]Jorge Cruz, Pedro Barahona:
Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA 2001: 349-362 - [e4]Silvana Quaglini, Pedro Barahona, Steen Andreassen:
Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings. Lecture Notes in Computer Science 2101, Springer 2001, ISBN 3-540-42294-3 [contents] - 2000
- [c20]Francisco Azevedo, Pedro Barahona:
Modelling Digital Circuits Problems with Set Constraints. Computational Logic 2000: 414-428 - [c19]Francisco Azevedo, Pedro Barahona:
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77 - [c18]Jorge Cruz, Pedro Barahona:
Handling Differential Equations with Constraints for Decision Support. FroCoS 2000: 105-120
1990 – 1999
- 1999
- [c17]Jorge Cruz, Pedro Barahona, Frédéric Benhamou:
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM 1999: 185-196 - [c16]Ludwig Krippahl, Pedro Barahona:
Applying Constraint Programming to Protein Structure Determination. CP 1999: 289-302 - [c15]Jorge Cruz, Pedro Barahona:
An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP 1999: 478-479 - [e3]Pedro Barahona, José Júlio Alferes:
Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings. Lecture Notes in Computer Science 1695, Springer 1999, ISBN 3-540-66548-X [contents] - 1998
- [c14]Francisco Azevedo, Pedro Barahona:
Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP 1998: 462 - [c13]Pedro Barahona:
Defeasible Constraint Solving over the Booleans. IBERAMIA 1998: 397-408 - 1997
- [c12]Jorge Cruz, Pedro Barahona:
A Causal-Functional Model Applied to EMG Diagnosis. AIME 1997: 249-260 - 1996
- [c11]Pedro Barahona:
Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE 1996: 3-12 - [c10]Christian Holzbaur, Francisco Menezes, Pedro Barahona:
Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223 - 1995
- [c9]Pedro Barahona:
Semi-Qualitative Models and Simulation for Biomedical Applications. AIME 1995: 103-114 - [c8]Francisco Menezes, Pedro Barahona:
Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170 - [e2]Pedro Barahona, Mario Stefanelli, Jeremy C. Wyatt:
Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings. Lecture Notes in Computer Science 934, Springer 1995, ISBN 3-540-60025-6 [contents] - 1994
- [j2]Francisco Menezes, Pedro Barahona:
Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. Ann. Oper. Res. 50(1): 411-426 (1994) - [j1]Pedro Barahona:
A causal and temporal reasoning model and its use in drug therapy applications. Artif. Intell. Medicine 6(1): 1-27 (1994) - 1993
- [c7]Francisco Menezes, Pedro Barahona:
Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296 - [c6]Francisco Menezes, Pedro Barahona, Philippe Codognet:
An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199 - 1991
- [c5]Pedro Barahona, Mario Veloso:
A Framework for Causal Reasoning with a Functional Approach. AIME 1991: 85-94 - [c4]Francisco Menezes, Pedro Barahona:
Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29 - [c3]Pedro Barahona, Mario Veloso:
Integration of the Causal and Functional Approaches for Robust Medical Diagnosis. MIE 1991: 452-456 - [e1]Pedro Barahona, Luís Moniz Pereira, António Porto:
EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Lecture Notes in Computer Science 541, Springer 1991, ISBN 3-540-54535-2 [contents] - 1990
- [c2]P. Falcão, M. Pereira, Rita A. Ribeiro, Pedro Barahona:
Another timetabling approach. Expert Planning Systems 1990: 212-216
1980 – 1989
- 1989
- [c1]Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes:
Some Issues in the Control of Interactive Differential Diagnosis. AIME 1989: 72-76
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
