Ana Carvalho

According to our database1, Ana Carvalho authored at least 10 papers between 2009 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Noise induced quiescence of epileptic spike generation in patients with epilepsy.
J. Comput. Neurosci., 2021

The adoption of Big Data technologies - A challenge for National Statistics Offices.
Proceedings of the 27th Americas Conference on Information Systems, 2021

2018
Opportunities and challenges in sustainable supply chain: An operations research perspective.
Eur. J. Oper. Res., 2018

2017
Sustainable batch process retrofit design under uncertainty - An integrated methodology.
Comput. Chem. Eng., 2017

2015
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.
Proceedings of the Formal Methods and Software Engineering, 2014

2013
SustainPro - A tool for systematic process analysis, generation and evaluation of sustainable design alternatives.
Comput. Chem. Eng., 2013

2011
A combined heuristic and indicator-based methodology for design of sustainable chemical process plants.
Comput. Chem. Eng., 2011

Students' perceptions of Blackboard and Moodle in a Portuguese university.
Br. J. Educ. Technol., 2011

2009
Design of batch operations: Systematic methodology for generation and analysis of sustainable alternatives.
Comput. Chem. Eng., 2009


  Loading...