Rui Pais

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 3

Top Topics

Mathematical Model

Top Venues

IEEE Trans. Cloud Comput.

Publications

Thomas J. Hacker, Rui Pais, Chunming Rong
A Markov Random Field Based Approach for Analyzing Supercomputer System Logs. IEEE Trans. Cloud Comput. 7 (3) (2019)
Paulo Oliveira, João Baptista, Rui Pais
Proposal of a Mathematical Model of Prediction of Sinistrality Values for Valuation of Organizational Management Indicators, Applied to the Construction Industry. AHFE (20) (2017)
Paulo Oliveira, Rui Pais
Study of the Influence of Training in Occupational Safety and Health in the Human Factors of the Construction Sector. AHFE (20) (2017)
Rui Pais, João Paulo Barros, Luís Gomes
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS (2014)
Rui Máximo Esteves, Rui Pais, Chunming Rong
K-means Clustering in the Cloud - A Mahout Test. AINA Workshops (2011)
Rui Pais, Luís Gomes, João Paulo Barros
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS (2011)
Rui Pais, João Paulo Barros
Two possible approaches for an intermediate GUI course. ITiCSE (2005)
Rui Pais, João Paulo Barros
Use of flash movies for teaching GUI programming. ITiCSE (2005)
Rui Pais, Filipa Fidalgo
Portuguese - Japanese Picture Dictionary. IMSA (2005)
Rui Pais, S. P. Barros, Luís Gomes
A tool for tailored code generation from Petri net models. ETFA (2005)
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)
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)
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)
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)
João Paulo Barros, Rui Pais
A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. ITiCSE (2000)