Augusto Ribeiro

According to our database, Augusto Ribeiro authored at least 4 papers between 2010 and 2017.

Collaborative distances:

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

2017

Improving organizational decision support: Detection of outliers and sales prediction for a pharmaceutical distribution company.

Augusto Ribeiro, Isabel Seruca, Natércia Durão

Proceedings of the CENTERIS 2017 - International Conference on ENTERprise Information Systems / ProjMAN 2017 - International Conference on Project MANagement / HCist 2017, 2017

2014

Support for Co-modelling and Co-simulation: The Crescendo Tool.

Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

Experience in Managing Requirements between Distributed Parties in a Research Project Context.

Ken G. Pierce, Claire Ingram, Bert Bos, Augusto Ribeiro

Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

2010

Proof Obligation Generation and Discharging for Recursive Definitions in VDM.

Augusto Ribeiro, Peter Gorm Larsen

Proceedings of the Formal Methods and Software Engineering, 2010