 | 2011 |
| 4 |  | André Carvalho,
Afzal Suleman:
Simulation of rigid-body impact using the articulated-body algorithm.
Robotica 29(5): 649-656 (2011) |
| 2010 |
| 3 |  | André Carvalho,
Joel Carvalho,
Jorge Sousa Pinto,
Simão Melo de Sousa:
Model-Checking Temporal Properties of Real-Time HTL Programs.
ISoLA (2) 2010: 191-205 |
| 2007 |
| 2 |  | João Ferreira,
André Carvalho,
João Pimentel,
Marco Guedes,
Francesco Furini,
Nuno Silva:
Modeling product engineer and manufacturing activity in automobile industry.
EATIS 2007: 29 |
| 2006 |
| 1 |  | Ricardo Argenton Ramos,
André Carvalho,
Cleviton Monteiro,
Carla T. L. L. Silva,
Jaelson Castro,
Fernanda M. R. Alencar,
Ricardo Afonso:
Avaliação da Qualidade de Documentos de Requisitos Orientado a Aspectos.
CIbSE 2006: 389-402 |