A Causal-Functional Model Applied to EMG Diagnosis. - Jorge Cruz 001; Pedro Barahona (AIME, 1997)

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. - Jorge Cruz 001; Pedro Barahona; Frédéric Benhamou (AIMDM, 1999)

An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. - Jorge Cruz 001; Pedro Barahona (CP, 1999)

Handling Differential Equations with Constraints for Decision Support. - Jorge Cruz 001; Pedro Barahona (FroCoS, 2000)

Global Hull Consistency with Local Search for Continuous Constraint Solving. - Jorge Cruz 001; Pedro Barahona (EPIA, 2001)

Maintaining Global Hull Consistency with Local Search for Continuous CSPs. - Jorge Cruz 001; Pedro Barahona (COCOS, 2002)

Constraint Satisfaction Differential Problems. - Jorge Cruz 001; Pedro Barahona (CP, 2003)

Parameter Estimation Using Interval Computations. - Laurent Granvilliers; Jorge Cruz 001; Pedro Barahona (SIAM J. Sci. Comput., 2004)

Constraint reasoning in deep biomedical models. - Jorge Cruz 001; Pedro Barahona (Artif. Intell. Medicine, 2005)

Constraint Reasoning for Differential Models - Jorge Cruz 001 (IOS Press, 2005)

Probabilistic Continuous Constraint Satisfaction Problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (ICTAI (2), 2008)

Probabilistic Constraints for Inverse Problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008)

Reasoning with Uncertainty in Continuous Domains. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (IUM, 2010)

Probabilistic constraints for reliability problems. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (SAC, 2010)

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (Constraints An Int. J., 2013)

Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). - Elsa Carvalho; Jorge Cruz 001; Pedro Barahona (CP, 2014)

On the Efficient Implementation of Social Abstract Argumentation. - Marco Correia; Jorge Cruz 001; João Leite 001 (ECAI, 2014)

Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities. - Alexandre Goldsztejn; Jorge Cruz 001; Elsa Carvalho (J. Comput. Appl. Math., 2014)

Uncertainty Propagation in Biomedical Models. - Andrea Franco; Marco Correia; Jorge Cruz 001 (AIME, 2015)

Probabilistic Constraints for Robot Localization. - Marco Correia; Olga Meshcheryakova; Pedro A. C. Sousa; Jorge Cruz 001 (EPIA, 2015)

Reasoning with Uncertainty in Biomedical Models. - Andrea Franco; Marco Correia; Jorge Cruz 001 (EPIA, 2015)

Probabilistic Constraint Programming for Parameters Optimisation of Generative Models. - Massimiliano Zanin; Marco Correia; Pedro A. C. Sousa; Jorge Cruz 001 (EPIA, 2015)

A note on the uniqueness of models in social abstract argumentation. - Leila Amgoud; Elise Bonzon; Marco Correia; Jorge Cruz 001; Jérôme Delobelle; Sébastien Konieczny; João Leite 001; Alexis Martin; Nicolas Maudet; Srdjan Vesic (CoRR, 2017)

A certified Branch & Bound approach for reliability-based optimization problems. - Benjamin Martin 003; Marco Correia; Jorge Cruz 001 (J. Glob. Optim., 2017)

Genetic Algorithm Approach for Smart Industrial Multi-Objective Production Planning. - António Mestre; Dinis Faustino; Bruno Silva; Jorge Cruz 001 (ECAI, 2024)