Rui Pais

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A Markov Random Field Based Approach for Analyzing Supercomputer System Logs.
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.
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.
Proceedings of the Advances in Safety Management and Human Factors, 2017

2014
From SysML State Machines to Petri Nets Using ATL Transformations.
Proceedings of the Technological Innovation for Collective Awareness Systems, 2014

2011
Towards Statecharts to Input-Output Place Transition Nets Transformations.
Proceedings of the Technological Innovation for Sustainability, 2011

K-means Clustering in the Cloud - A Mahout Test.
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.
Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

Use of flash movies for teaching GUI programming.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Two possible approaches for an intermediate GUI course.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Portuguese - Japanese Picture Dictionary.
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.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Towards usage of formal methods within embedded systems co-design.
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.
Proceedings of the ICINCO 2004, 2004

2003
Using lab exams to ensure programming practice in an introductory programming course.
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.
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000


  Loading...