Rui Pais

According to our database, Rui Pais authored at least 15 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Markov Random Field Based Approach for Analyzing Supercomputer System Logs.

Thomas J. Hacker, Rui Pais, Chunming Rong

IEEE Trans. Cloud Comput., 2019

2017

Study of the Influence of Training in Occupational Safety and Health in the Human Factors of the Construction Sector.

Paulo Oliveira, Rui Pais

Proceedings of the Advances in Safety Management and Human Factors, 2017

Proposal of a Mathematical Model of Prediction of Sinistrality Values for Valuation of Organizational Management Indicators, Applied to the Construction Industry.

Paulo Oliveira, João Baptista, Rui Pais

Proceedings of the Advances in Safety Management and Human Factors, 2017

2014

From SysML State Machines to Petri Nets Using ATL Transformations.

Rui Pais, João Paulo Barros, Luís Gomes

Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2011

Towards Statecharts to Input-Output Place Transition Nets Transformations.

Rui Pais, Luís Gomes, João Paulo Barros

Proceedings of the Technological Innovation for Sustainability, 2011

K-means Clustering in the Cloud - A Mahout Test.

Rui Máximo Esteves, Rui Pais, Chunming Rong

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2005

Formal methods for Embedded Systems Co-design: the FORDESIGN project.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

Use of flash movies for teaching GUI programming.

Rui Pais, João Paulo Barros

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Two possible approaches for an intermediate GUI course.

Rui Pais, João Paulo Barros

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Portuguese - Japanese Picture Dictionary.

Rui Pais, Filipa Fidalgo

Proceedings of the Ninth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2005), 2005

A tool for tailored code generation from Petri net models.

Rui Pais, S. P. Barros, Luís Gomes

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Towards usage of formal methods within embedded systems co-design.

Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2004

From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis.

João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias

Proceedings of the ICINCO 2004, 2004

2003

Using lab exams to ensure programming practice in an introductory programming course.

João Paulo Barros, Luís Estevens, Rui Dias, Rui Pais, Elisabete Soeiro

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

2000

A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code.

João Paulo Barros, Rui Pais

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000