Proof Obligation Generation and Discharging for Recursive Definitions in VDM. - Augusto Ribeiro; Peter Gorm Larsen (ICFEM, 2010)

Experience in Managing Requirements between Distributed Parties in a Research Project Context. - Ken G. Pierce; Claire Ingram; Bert Bos; Augusto Ribeiro (ICGSE, 2013)

Support for Co-modelling and Co-simulation: The Crescendo Tool. - Peter Gorm Larsen; Carl Gamble; Kenneth Pierce; Augusto Ribeiro; Kenneth Lausdahl (Collaborative Design for Embedded Systems, 2014)

Improving organizational decision support: Detection of outliers and sales prediction for a pharmaceutical distribution company. - Augusto Ribeiro; Isabel Seruca; Natércia Durão (CENTERIS/ProjMAN/HCist, 2017)