Design of batch operations: Systematic methodology for generation and analysis of sustainable alternatives. - Ana Carvalho; Henrique A. Matos; Rafiqul Gani (Comput. Chem. Eng., 2009)

Students' perceptions of Blackboard and Moodle in a Portuguese university. - Ana Carvalho; Nelson Areal; Joaquim Silva 002 (Br. J. Educ. Technol., 2011)

A combined heuristic and indicator-based methodology for design of sustainable chemical process plants. - Iskandar Halim; Ana Carvalho; Rajagopalan Srinivasan; Henrique A. Matos; Rafiqul Gani (Comput. Chem. Eng., 2011)

SustainPro - A tool for systematic process analysis, generation and evaluation of sustainable design alternatives. - Ana Carvalho; Henrique A. Matos; Rafiqul Gani (Comput. Chem. Eng., 2013)

A Formal Model for Natural-Language Timed Requirements of Reactive Systems. - Gustavo Carvalho; Ana Carvalho; Eduardo Rocha; Ana Cavalcanti 001; Augusto Sampaio 001 (ICFEM, 2014)

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP. - Gustavo Carvalho; Flávia A. Barros; Ana Carvalho; Ana Cavalcanti 001; Alexandre Mota 001; Augusto Sampaio 001 (SEFM, 2015)

Sustainable batch process retrofit design under uncertainty - An integrated methodology. - Tânia Pinto-Varela; Ana Paula F. D. Barbosa-Póvoa; Ana Carvalho (Comput. Chem. Eng., 2017)

Opportunities and challenges in sustainable supply chain: An operations research perspective. - Ana Paula F. D. Barbosa-Póvoa; Cátia da Silva; Ana Carvalho (Eur. J. Oper. Res., 2018)

The adoption of Big Data technologies - A challenge for National Statistics Offices. - Fabio dos Santos Cardoso; João Varajão; Ana Carvalho (AMCIS, 2021)

Noise induced quiescence of epileptic spike generation in patients with epilepsy. - Charith N. Cooray; Ana Carvalho; Gerald K. Cooray (J. Comput. Neurosci., 2021)

OPHILIA: Cy-Collage Cyberperformance. - Rosimária Sapucaia; Célia Vieira; Inês Guerra Santos; Ana Carvalho; Juliana Wexel (ArtsIT (1), 2023)

Symbolic Regression Applied to Cosmology: An Approximate Expression for the Density Perturbation Variance. - Ana Carvalho; David Magalhaes Oliveira; Alberto Krone-Martins; Antonio da Silva 002 (e-Science, 2023)

Using Fourier Coefficients and Wasserstein Distances to Estimate Entropy in Time Series. - Scott Perkey; Ana Carvalho; Alberto Krone-Martins (e-Science, 2023)

A hybrid simulation approach applied in sustainability performance assessment in make-to-order supply chains: The case of a commercial aircraft manufacturer. - Cátia Barbosa; Carlos Malarranha; Américo Azevedo; Ana Carvalho; Ana Barbosa-Póvoa (J. Simulation, 2023)

Decision support tool to define the optimal pool testing strategy for SARS-CoV-2. - Bruno Barracosa; João Felício; Ana Carvalho; Leonilde M. Moreira; Filipa Mendes; Sandra Cabo Verde; Tânia Pinto-Varela (Decis. Support Syst., 2023)

Assessing social performance in supply chain design and planning through a monetization approach. - Cátia da Silva; Ana Barbosa-Póvoa; Ana Carvalho (Int. Trans. Oper. Res., 2025)