Separation/reaction in SMB application to the production of industrial sugars from low-cost biomass sources (POCTI/EQU/32470/2000)

Innovativeness and Network Competence: an integration and empirical examination

Thermal Comfort model applicable to clothing design(POCTI/EME/62786/2004)

Safety Control of Automated Problems Systems(POCTI/EME/61425/2004)

Modeling and simulation with Dymola for identification of the type of properties that may be formally verified when used timed plant models (pneumatics, hydraulics, electrical and mechanical systems).

Publications

Seabra, E.; Machado, J.; Ferreira da Silva, J.; Soares, F.O.; Leão, C.P. , Simulation and Formal Verification of Real Time Systems: a case study, ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics , 6 pp, France, 2007.

Machado, J.; Seabra, E.; Campos, J.C.; Soares, F.O.; Leão, C.P. ; Ferreira da Silva, J., Simulation and Formal Verification of Industrial Systems Controllers, Engenharias 2007 , 6 pp, Portugal, 2007.

Seabra, E.; Machado, J.; Leão, C.P. ; Soares, F.O., Simulação do Comportamento de Sistemas de Tempo Real Utilizando a Linguagem Modelica, COBEM 2007 - 19th International Congress of Mechanical Engineering , 6pp, Brasil, 2007.

ICTs in engineering education: application of new methodologies in engineering education and assessment in Numerical Methods, Process Control and Automation