Eurico Augusto Rodrigues de Seabra


AuthID: R-000-4QR

Confirmed Publications: 39



31
TITLE: The combined effect of melt stirring and ultrasonic agitation on the degassing efficiency of AlSi9Cu3 alloy  Full Text
AUTHORS: Puga, H ; Teixeira, JC ; Barbosa, J ; Seabra, E ; Ribeiro, S; Prokic, M;
PUBLISHED: 2009, SOURCE: MATERIALS LETTERS, VOLUME: 63, ISSUE: 24-25
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
32
TITLE: The influence of processing parameters on the ultrasonic degassing of molten AlSi9Cu3 aluminium alloy  Full Text
AUTHORS: Helder Puga ; Joaquim Barbosa ; Seabra, E ; Ribeiro, S; Prokic, M;
PUBLISHED: 2009, SOURCE: MATERIALS LETTERS, VOLUME: 63, ISSUE: 9-10
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
33
TITLE: Advanced graphical tools on modelling and control of automation systems
AUTHORS: Seabra, E ; Machado, J ; Flores, P ;
PUBLISHED: 2008, SOURCE: 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing in COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING
INDEXED IN: Scopus WOS
IN MY: ORCID
34
TITLE: Property patterns for the formal verification of automated production systems
AUTHORS: Campos, JC ; Machado, J ; Seabra, E ;
PUBLISHED: 2008, SOURCE: 17th World Congress, International Federation of Automatic Control, IFAC in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 17, ISSUE: 1 PART 1
INDEXED IN: Scopus Handle
IN MY: ORCID
35
TITLE: Real-time systems safety control considering Human Machine Interface
AUTHORS: Jose Machado ; Eurico Seabra ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXED IN: Scopus WOS
IN MY: ORCID
36
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID
37
TITLE: Biomodels reconstruction based on 2D medical images
AUTHORS: Lopes, P; Flores, P ; Seabra, E ;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS
INDEXED IN: Scopus WOS
IN MY: ORCID
38
TITLE: Rapid prototyping technology in medical applications: A critical review
AUTHORS: Lopes, P; Flores, P ; Seabra, E ;
PUBLISHED: 2007, SOURCE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS
INDEXED IN: Scopus WOS
IN MY: ORCID
39
TITLE: Simulation and formal verification of real time systems: A case study
AUTHORS: Eurico Seabra ; Jose Machado ; Jaime Ferreira da Silva; Filomena O Soares ; Celina P Leao ;
PUBLISHED: 2007, SOURCE: 4th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, VOLUME: SPSMC
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 4 of 4. Total results: 39.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service