| 2005 |
|---|
| 8 | EE | Rui Pais,
S. P. Barros,
Luís Gomes:
A tool for tailored code generation from Petri net models.
ETFA 2005 |
| 7 | EE | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design.
ETFA 2005 |
| 6 | | Rui Pais,
Filipa Fidalgo:
Portuguese - Japanese Picture Dictionary.
IMSA 2005: 81-86 |
| 5 | EE | Rui Pais,
João Paulo Barros:
Two possible approaches for an intermediate GUI course.
ITiCSE 2005: 365 |
| 4 | EE | Rui Pais,
João Paulo Barros:
Use of flash movies for teaching GUI programming.
ITiCSE 2005: 390 |
| 3 | | Luís Gomes,
João Paulo Barros,
Anikó Costa,
Rui Pais,
Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
ReCoSoC 2005: 143-150 |
| 2004 |
|---|
| 2 | | João Paulo Barros,
Luís Gomes,
Rui Pais,
Rui Dias:
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.
ICINCO (2) 2004: 464-467 |
| 2003 |
|---|
| 1 | EE | João Paulo Barros,
Luís Estevens,
Rui Dias,
Rui Pais,
Elisabete Soeiro:
Using lab exams to ensure programming practice in an introductory programming course.
ITiCSE 2003: 16-20 |
