Using Rewarding Mechanisms for Improving Branching Heuristics. - Elsa Carvalho; João Marques-Silva 001 (SAT, 2004)

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)

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)

Probabilistic constraint reasoning. - Elsa Carvalho (Constraints An Int. J., 2015)