Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pedro Barahona
2010 – today
- 2013
[j9]Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints 18(3): 344-376 (2013)- [c38]Ludwig Krippahl, Fábio Madeira, Pedro Barahona: Constraining Protein Docking with Coevolution Data for Medical Research. AIME 2013: 110-114
- [i1]Marco Correia, Pedro Barahona: View-based propagation of decomposable constraints. CoRR abs/1301.4272 (2013)
- 2012
- [j8]Gregory R. Wheeler, Pedro Barahona: Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. J. Philosophical Logic 41(2): 493-503 (2012)
- 2011
- [c37]Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl: Classification Tree Generation Constrained with Variable Weights. IWINAC (1) 2011: 274-283
- 2010
- [c36]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
- [c35]Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic constraints for reliability problems. SAC 2010: 2055-2060
2000 – 2009
- 2009
- [c34]Olivier Perriquet, Pedro Barahona: Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA 2009: 86-97
- [c33]Marco Correia, Pedro Barahona: Type Parametric Compilation of Algebraic Constraints. EPIA 2009: 201-212
- 2008
- [j7]Pedro Barahona, Ludwig Krippahl: Constraint Programming in Structural Bioinformatics. Constraints 13(1-2): 3-20 (2008)
- [c32]
- [c31]Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo: Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA 2008: 73-82
- [c30]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
- [c29]Marco Correia, Pedro Barahona: On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP 2007: 62-75
- [c28]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 (Eds.): 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
- 2006
- [e7]Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): 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
- 2005
- [j6]Jorge Cruz, Pedro Barahona: Constraint reasoning in deep biomedical models. Artificial Intelligence in Medicine 34(1): 77-88 (2005)
- [j5]Paula Amaral, Pedro Barahona: A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints 10(1): 67-86 (2005)
- [c27]Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Rigid Body Protein Docking. CP 2005: 373-387
- [e6]Pedro Barahona, Amy P. Felty (Eds.): 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
- 2004
- [j4]Laurent Granvilliers, Jorge Cruz, Pedro Barahona: Parameter Estimation Using Interval Computations. SIAM J. Scientific Computing 26(2): 591-612 (2004)
- [c26]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
- [c25]Marco Correia, Pedro Barahona: Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA 2004: 103-113
- 2003
- [c24]
- [c23]
- [c22]
- [e5]Michel Dojat, Elpida T. Keravnou, Pedro Barahona (Eds.): 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
- 2002
- [j3]Ludwig Krippahl, Pedro Barahona: PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints 7(3-4): 317-331 (2002)
- [c21]Jorge Cruz, Pedro Barahona: Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS 2002: 178-193
- [c20]Paula Amaral, Pedro Barahona: On Optimal Correction of Inconsistent Linear Constraints. CP 2002: 33-46
- 2001
- [j2]Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego: Computerising a guideline for the management of diabetes. I. J. Medical Informatics 64(2-3): 275-284 (2001)
- [c19]Francisco Azevedo, Pedro Barahona: Interaction of Constraint Programming and Local Search for Optimisation Problems. CP 2001: 554-559
- [c18]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 (Eds.): 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
- 2000
- [c17]Francisco Azevedo, Pedro Barahona: Modelling Digital Circuits Problems with Set Constraints. Computational Logic 2000: 414-428
- [c16]Francisco Azevedo, Pedro Barahona: Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77
- [c15]Jorge Cruz, Pedro Barahona: Handling Differential Equations with Constraints for Decision Support. FroCoS 2000: 105-120
1990 – 1999
- 1999
- [c14]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
- [c13]Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Protein Structure Determination. CP 1999: 289-302
- [c12]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 (Eds.): 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
- 1998
- [c11]Francisco Azevedo, Pedro Barahona: Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP 1998: 462
- [c10]
- 1997
- [c9]
- 1996
- [c8]Pedro Barahona: Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE 1996: 3-12
- [c7]Christian Holzbaur, Francisco Menezes, Pedro Barahona: Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223
- 1995
- [c6]Pedro Barahona: Semi-Qualitative Models and Simulation for Biomedical Applications. AIME 1995: 103-114
- [c5]Francisco Menezes, Pedro Barahona: Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170
- [e2]Pedro Barahona, Mario Stefanelli, Jeremy C. Wyatt (Eds.): 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
- 1994
- [j1]Pedro Barahona: A causal and temporal reasoning model and its use in drug therapy applications. Artificial Intelligence in Medicine 6(1): 1-27 (1994)
- 1993
- [c4]Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296
- [c3]Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199
- 1991
- [c2]Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29
- [e1]Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): 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
- 1990
- [c1]P. Falcão, M. Pereira, R. Ribeiro, Pedro Barahona: Another timetabling approach. Expert Planning Systems 1990: 212-216
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-30 02:58 CEST by the dblp team