Pedro Barahona

75 papers A 13B 11C 2Misc 10Journal 17Unranked 19

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	IPOscore: An interactive web-based platform for postoperative surgical complications analysis and prediction in the oncology domain. Comput. Methods Programs Biomed. 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
2020	—	`conf`	Empirical Study on SAT-Encodings of the At-Most-One Constraint. SMA Van-Hau Nguyen, Van-Quyet Nguyen, Kyungbaek Kim, Pedro Barahona
2020	J	`jnl`	K-best feasible clusters - ranking optimal solutions from an infeasible LP. INFOR Inf. Syst. Oper. Res. Paula Alexandra Amaral, Pedro Barahona
2020	J	`jnl`	KiMoSys 2.0: an upgraded database for submitting, storing and accessing experimental data for kinetic modeling. Database J. Biol. Databases Curation Hugo Mochão, Pedro Barahona, Rafael S. Costa
2016	A	`conf`	Constraining Redundancy to Improve Protein Docking. CP Ludwig Krippahl, Pedro Barahona
2015	J	`jnl`	Protein docking with predicted constraints. Algorithms Mol. Biol. Ludwig Krippahl, Pedro Barahona
2014	Misc	`conf`	Efficient SAT-Encoding of Linear CSP Constraints. ISAIM Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
2014	J	`jnl`	Generation of classification trees from variable weighted features. Nat. Comput. Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl
2014	A	`conf`	Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). CP Elsa Carvalho, Jorge Cruz, Pedro Barahona
2014	B	`conf`	Representative Encodings to Translate Finite CSPs into SAT. CPAIOR Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
2013	B	`conf`	Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT. ICTAI Van-Hau Nguyen, Miroslav N. Velev, Pedro Barahona
2013	B	`conf`	Constraining Protein Docking with Coevolution Data for Medical Research. AIME Ludwig Krippahl, Fábio Madeira, Pedro Barahona
2013	J	`jnl`	Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints An Int. J. Elsa Carvalho, Jorge Cruz, Pedro Barahona
2013	J	`jnl`	View-based propagation of decomposable constraints CoRR Marco Correia, Pedro Barahona
2013	J	`jnl`	View-based propagation of decomposable constraints. Constraints An Int. J. Marco Correia, Pedro Barahona
2012	J	`jnl`	Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. J. Philos. Log. Gregory R. Wheeler, Pedro Barahona
2011	—	`conf`	Classification Tree Generation Constrained with Variable Weights. IWINAC (1) Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, María Dolores Jiménez-López, Ludwig Krippahl
2010	—	`conf`	Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. ICAART (2) Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl
2010	—	`conf`	Minimizing enzymes to diferenciate between species. WCB@ICLP David Buezas, João Almeida, Pedro Barahona
2010	Misc	`conf`	Probabilistic constraints for reliability problems. SAC Elsa Carvalho, Jorge Cruz, Pedro Barahona
2010	—	`conf`	Reasoning with Uncertainty in Continuous Domains. IUM Elsa Carvalho, Jorge Cruz, Pedro Barahona
2009	Misc	`conf`	Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA Olivier Perriquet, Pedro Barahona
2009	Misc	`conf`	Type Parametric Compilation of Algebraic Constraints. EPIA Marco Correia, Pedro Barahona
2008	J	`jnl`	Constraint Programming in Structural Bioinformatics. Constraints An Int. J. Pedro Barahona, Ludwig Krippahl
2008	A	`conf`	On the Efficiency of Impact Based Heuristics. CP Marco Correia, Pedro Barahona
2008	—	`ch.`	Probabilistic Constraints for Inverse Problems. Interval / Probabilistic Uncertainty and Non-Classical Logics Elsa Carvalho, Jorge Cruz, Pedro Barahona
2008	—	`conf`	Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) Elsa Carvalho, Jorge Cruz, Pedro Barahona
2008	—	`conf`	Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo
2007	C	`conf`	A Constraint Programming Approach to Bioinformatics Structural Problems. PADL Pedro Barahona, Ludwig Krippahl
2007	—	`conf`	On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP Marco Correia, Pedro Barahona
2007	—	`ed.`	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 CSCLP Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi
2006	—	`ed.`	Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Reasoning Web Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler
2005	J	`jnl`	A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints An Int. J. Paula Amaral, Pedro Barahona
2005	A	`conf`	Applying Constraint Programming to Rigid Body Protein Docking. CP Ludwig Krippahl, Pedro Barahona
2005	J	`jnl`	Constraint reasoning in deep biomedical models. Artif. Intell. Medicine Jorge Cruz, Pedro Barahona
2005	C	`ed.`	Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal PPDP Pedro Barahona, Amy P. Felty
2004	Misc	`conf`	Deductive Diagnosis of Digital Circuits. AIAI José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
2004	—	`conf`	Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA Marco Correia, Pedro Barahona
2004	J	`jnl`	Parameter Estimation Using Interval Computations. SIAM J. Sci. Comput. Laurent Granvilliers, Jorge Cruz, Pedro Barahona
2003	B	`ed.`	Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings AIME Michel Dojat, Elpida T. Keravnou, Pedro Barahona
2003	B	`conf`	Constraint Reasoning in Deep Biomedical Models. AIME Jorge Cruz, Pedro Barahona
2003	A	`conf`	Constraint Satisfaction Differential Problems. CP Jorge Cruz, Pedro Barahona
2003	A	`conf`	Propagating N-Ary Rigid-Body Constraints. CP Ludwig Krippahl, Pedro Barahona
2002	—	`conf`	Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS Jorge Cruz, Pedro Barahona
2002	A	`conf`	On Optimal Correction of Inconsistent Linear Constraints. CP Paula Amaral, Pedro Barahona
2002	J	`jnl`	PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints An Int. J. Ludwig Krippahl, Pedro Barahona
2001	B	`ed.`	Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings AIME Silvana Quaglini, Pedro Barahona, Steen Andreassen
2001	J	`jnl`	Computerising a guideline for the management of diabetes. Int. J. Medical Informatics Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego
2001	Misc	`conf`	Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA Jorge Cruz, Pedro Barahona
2001	A	`conf`	Interaction of Constraint Programming and Local Search for Optimisation Problems. CP Francisco Azevedo, Pedro Barahona
2000	A	`conf`	Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI Francisco Azevedo, Pedro Barahona
2000	—	`conf`	Handling Differential Equations with Constraints for Decision Support. FroCoS Jorge Cruz, Pedro Barahona
2000	—	`conf`	Modelling Digital Circuits Problems with Set Constraints. Computational Logic Francisco Azevedo, Pedro Barahona
1999	A	`conf`	An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP Jorge Cruz, Pedro Barahona
1999	A	`conf`	Applying Constraint Programming to Protein Structure Determination. CP Ludwig Krippahl, Pedro Barahona
1999	—	`conf`	Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM Jorge Cruz, Pedro Barahona, Frédéric Benhamou
1999	Misc	`ed.`	Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings EPIA Pedro Barahona, José Júlio Alferes
1998	—	`conf`	Defeasible Constraint Solving over the Booleans. IBERAMIA Pedro Barahona
1998	A	`conf`	Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP Francisco Azevedo, Pedro Barahona
1997	B	`conf`	A Causal-Functional Model Applied to EMG Diagnosis. AIME Jorge Cruz, Pedro Barahona
1996	—	`conf`	Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE Pedro Barahona
1996	A	`conf`	Defeasibility in CLP(Q) through Generalized Slack Variables. CP Christian Holzbaur, Francisco Menezes, Pedro Barahona
1995	B	`ed.`	Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings AIME Pedro Barahona, Mario Stefanelli, Jeremy C. Wyatt
1995	—	`conf`	Defeasible Constraint Solving. Over-Constrained Systems Francisco Menezes, Pedro Barahona
1995	B	`conf`	Semi-Qualitative Models and Simulation for Biomedical Applications. AIME Pedro Barahona
1994	J	`jnl`	A causal and temporal reasoning model and its use in drug therapy applications. Artif. Intell. Medicine Pedro Barahona
1994	J	`jnl`	Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. Ann. Oper. Res. Francisco Menezes, Pedro Barahona
1993	—	`conf`	An Incremental Hierarchical Constraint Solver. PPCP Francisco Menezes, Pedro Barahona, Philippe Codognet
1993	Misc	`conf`	Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA Francisco Menezes, Pedro Barahona
1991	B	`conf`	A Framework for Causal Reasoning with a Functional Approach. AIME Pedro Barahona, Mario Veloso
1991	Misc	`conf`	Constraint Solving in Finite Domains under User Control. EPIA Francisco Menezes, Pedro Barahona
1991	Misc	`ed.`	EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings EPIA Pedro Barahona, Luís Moniz Pereira, António Porto
1991	—	`conf`	Integration of the Causal and Functional Approaches for Robust Medical Diagnosis. MIE Pedro Barahona, Mario Veloso
1990	—	`conf`	Another timetabling approach. Expert Planning Systems P. Falcão, M. Pereira, Rita A. Ribeiro, Pedro Barahona
1989	B	`conf`	Some Issues in the Control of Interactive Differential Diagnosis. AIME Pedro Barahona, Mario Veloso, Ricardo Amador, Francisco Menezes