Pedro Barahona

	2012
54		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
53		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
52		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
51		Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic constraints for reliability problems. SAC 2010: 2055-2060
	2009
50		Marco Correia, Pedro Barahona: Type Parametric Compilation of Algebraic Constraints. EPIA 2009: 201-212
49		Olivier Perriquet, Pedro Barahona: Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA 2009: 86-97
	2008
48		Marco Correia, Pedro Barahona: On the Efficiency of Impact Based Heuristics. CP 2008: 608-612
47		Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo: Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA 2008: 73-82
46		Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) 2008: 155-162
45		Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic Constraints for Inverse Problems. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 115-128
44		Pedro Barahona, Ludwig Krippahl: Constraint Programming in Structural Bioinformatics. Constraints 13(1-2): 3-20 (2008)
	2007
43		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 Springer 2007
42		Marco Correia, Pedro Barahona: On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP 2007: 62-75
41		Pedro Barahona, Ludwig Krippahl: A Constraint Programming Approach to Bioinformatics Structural Problems. PADL 2007: 33-49
	2006
40		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 Springer 2006
	2005
39		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
38		Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Rigid Body Protein Docking. CP 2005: 373-387
37		Jorge Cruz, Pedro Barahona: Constraint reasoning in deep biomedical models. Artificial Intelligence in Medicine 34(1): 77-88 (2005)
36		Paula Amaral, Pedro Barahona: A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints 10(1): 67-86 (2005)
	2004
35		José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166
34		Marco Correia, Pedro Barahona: Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA 2004: 103-113
33		Laurent Granvilliers, Jorge Cruz, Pedro Barahona: Parameter Estimation Using Interval Computations. SIAM J. Scientific Computing 26(2): 591-612 (2004)
	2003
32		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 Springer 2003
31		Jorge Cruz, Pedro Barahona: Constraint Reasoning in Deep Biomedical Models. AIME 2003: 324-334
30		Jorge Cruz, Pedro Barahona: Constraint Satisfaction Differential Problems. CP 2003: 259-273
29		Ludwig Krippahl, Pedro Barahona: Propagating N-Ary Rigid-Body Constraints. CP 2003: 452-465
	2002
28		Jorge Cruz, Pedro Barahona: Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS 2002: 178-193
27		Paula Amaral, Pedro Barahona: On Optimal Correction of Inconsistent Linear Constraints. CP 2002: 33-46
26		Ludwig Krippahl, Pedro Barahona: PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints 7(3-4): 317-331 (2002)
	2001
25		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 Springer 2001
24		Francisco Azevedo, Pedro Barahona: Interaction of Constraint Programming and Local Search for Optimisation Problems. CP 2001: 554-559
23		Jorge Cruz, Pedro Barahona: Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA 2001: 349-362
22		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)
	2000
21		Francisco Azevedo, Pedro Barahona: Modelling Digital Circuits Problems with Set Constraints. Computational Logic 2000: 414-428
20		Francisco Azevedo, Pedro Barahona: Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77
19		Jorge Cruz, Pedro Barahona: Handling Differential Equations with Constraints for Decision Support. FroCos 2000: 105-120
	1999
18		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 Springer 1999
17		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
16		Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Protein Structure Determination. CP 1999: 289-302
15		Jorge Cruz, Pedro Barahona: An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP 1999: 478-479
	1998
14		Francisco Azevedo, Pedro Barahona: Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP 1998: 462
13		Pedro Barahona: Defeasible Constraint Solving over the Booleans. IBERAMIA 1998: 397-408
	1997
12		Jorge Cruz, Pedro Barahona: A Causal-Functional Model Applied to EMG Diagnosis. AIME 1997: 249-260
	1996
11		Pedro Barahona: Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE 1996: 3-12
10		Christian Holzbaur, Francisco Menezes, Pedro Barahona: Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223
	1995
9		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 Springer 1995
8		Pedro Barahona: Semi-Qualitative Models and Simulation for Biomedical Applications. AIME 1995: 103-114
7		Francisco Menezes, Pedro Barahona: Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170
	1994
6		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
5		Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296
4		Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199
	1991
3		Pedro Barahona, Luís Moniz Pereira, António Porto: EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings Springer 1991
2		Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29
	1990
1		P. Falcão, M. Pereira, R. Ribeiro, Pedro Barahona: Another timetabling approach. Expert Planning Systems 1990: 212-216

Coauthor Index

1	José Júlio Alferes	[18] [35]
2	Paula Amaral	[27] [36]
3	Steen Andreassen	[25]
4	Francisco Azevedo	[14] [20] [21] [22] [24] [35] [43] [47]
5	Frédéric Benhamou	[17]
6	François Bry (François Bry-Haußer)	[40]
7	Elsa Carvalho	[45] [46] [51]
8	Philippe Codognet	[4]
9	Marco Correia	[34] [42] [47] [48] [50]
10	Jorge Cruz	[12] [15] [17] [19] [23] [28] [30] [31] [33] [37] [45] [46] [51]
11	Verónica Dahl	[52] [53]
12	Carlos Viegas Damásio	[35]
13	Michel Dojat	[32]
14	Gemma Bel Enguix	[52] [53]
15	Nuno Estêvão	[22]
16	François Fages	[43]
17	P. Falcão	[1]
18	Amy P. Felty	[39]
19	Enrico Franconi	[40]
20	Rosa Gallego	[22]
21	Laurent Granvilliers	[33]
22	Nicola Henze	[40]
23	Christian Holzbaur	[10]
24	Maria Dolores Jiménez-López	[53]
25	Elpida T. Keravnou	[32]
26	Ludwig Krippahl	[16] [26] [29] [38] [41] [44] [52] [53]
27	Francisco Menezes	[2] [4] [5] [7] [10]
28	Luís Moniz Pereira (Luíz Moniz Pereira)	[3]
29	M. Pereira	[1]
30	Olivier Perriquet	[49]
31	António Porto	[3]
32	Silvana Quaglini	[25]
33	R. Ribeiro	[1]
34	Francesca Rossi	[43]
35	Ulrike Sattler	[40]
36	Mario Stefanelli	[9]
37	Terrance Swift	[35]
38	Mario Veloso	[22]
39	Ruben Duarte Viegas	[47]
40	Gregory R. Wheeler	[54]
41	Jeremy C. Wyatt	[9]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page