Rui Pais

15 papers B 4C 2Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Markov Random Field Based Approach for Analyzing Supercomputer System Logs.
IEEE Trans. Cloud Comput.
Thomas J. Hacker, Rui Pais, Chunming Rong
2017 — conf
Proposal of a Mathematical Model of Prediction of Sinistrality Values for Valuation of Organizational Management Indicators, Applied to the Construction Industry.
AHFE (20)
Paulo Oliveira, João Baptista, Rui Pais
2017 — conf
Study of the Influence of Training in Occupational Safety and Health in the Human Factors of the Construction Sector.
AHFE (20)
Paulo Oliveira, Rui Pais
2014 — conf
From SysML State Machines to Petri Nets Using ATL Transformations.
DoCEIS
Rui Pais, João Paulo Barros, Luís Gomes
2011 — conf
K-means Clustering in the Cloud - A Mahout Test.
AINA Workshops
Rui Máximo Esteves, Rui Pais, Chunming Rong
2011 — conf
Towards Statecharts to Input-Output Place Transition Nets Transformations.
DoCEIS
Rui Pais, Luís Gomes, João Paulo Barros
2005 C conf
A tool for tailored code generation from Petri net models.
ETFA
Rui Pais, S. P. Barros, Luís Gomes
2005 — conf
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
ReCoSoC
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2005 — conf
Portuguese - Japanese Picture Dictionary.
IMSA
Rui Pais, Filipa Fidalgo
2005 C conf
Towards usage of formal methods within embedded systems co-design.
ETFA
Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
2005 B conf
Two possible approaches for an intermediate GUI course.
ITiCSE
Rui Pais, João Paulo Barros
2005 B conf
Use of flash movies for teaching GUI programming.
ITiCSE
Rui Pais, João Paulo Barros
2004 — conf
From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.
ICINCO (2)
João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias
2003 B conf
Using lab exams to ensure programming practice in an introductory programming course.
ITiCSE
João Paulo Barros, Luís Estevens, Rui Dias, Rui Pais, Elisabete Soeiro
2000 B conf
A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code.
ITiCSE
João Paulo Barros, Rui Pais