Ana Carvalho

According to our database, Ana Carvalho authored at least 14 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., December, 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, January, 2023

Using Fourier Coefficients and Wasserstein Distances to Estimate Entropy in Time Series.

Scott Perkey, Ana Carvalho, Alberto Krone-Martins

Proceedings of the 19th IEEE International Conference on e-Science, 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

Proceedings of the 19th IEEE International Conference on e-Science, 2023

2021

Noise induced quiescence of epileptic spike generation in patients with epilepsy.

Charith N. Cooray, Ana Carvalho, Gerald K. Cooray

J. Comput. Neurosci., 2021

The adoption of Big Data technologies - A challenge for National Statistics Offices.

Fabio dos Santos Cardoso, João Varajão, Ana Carvalho

Proceedings of the 27th Americas Conference on Information Systems, 2021

2018

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

2017

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

2015

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.

Gustavo Carvalho, Flávia A. Barros, Ana Carvalho, Ana Cavalcanti, Alexandre Mota, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

A Formal Model for Natural-Language Timed Requirements of Reactive Systems.

Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Formal Methods and Software Engineering, 2014

2013

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

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

Students' perceptions of Blackboard and Moodle in a Portuguese university.

Ana Carvalho, Nelson Areal, Joaquim Silva

Br. J. Educ. Technol., 2011

2009

Design of batch operations: Systematic methodology for generation and analysis of sustainable alternatives.

Ana Carvalho, Henrique A. Matos, Rafiqul Gani

Comput. Chem. Eng., 2009