dblp.uni-trier.dewww.uni-trier.de

Rui Pais

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
8EERui Pais, S. P. Barros, Luís Gomes: A tool for tailored code generation from Petri net models. ETFA 2005
7EELuí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
5EERui Pais, João Paulo Barros: Two possible approaches for an intermediate GUI course. ITiCSE 2005: 365
4EERui 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
1EEJoã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

Coauthor Index

1João Paulo Barros [1] [2] [3] [4] [5] [7]
2S. P. Barros [8]
3Anikó Costa [3] [7]
4Rui Dias [1] [2]
5Luís Estevens [1]
6Filipa Fidalgo [6]
7Luís Gomes [2] [3] [7] [8]
8Filipe Moutinho [3] [7]
9Elisabete Soeiro [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)