1
2
TÍTULO: From SysML State Machines to Petri Nets Using ATL Transformations
AUTORES: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXADO EM: WOS
3
TÍTULO: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTORES: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: Petri net based building automation and monitoring system
AUTORES: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
6
TÍTULO: Two possible approaches for an intermediate GUI course
AUTORES: Pais, R; Barros, JP ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
INDEXADO EM: Scopus CrossRef