ProfileOfResearchers

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 |

CIÊNCIAVITAE

365

TITLE: A pattern recognition system based on cluster and discriminant analysis for fault identification during production
AUTHORS: Catarino, A ; Rocha, A ; Monteiro, JL ; Soares, F ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8

INDEXED IN:

Scopus

WOS

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

366

TITLE: Optical quantification of yarn hairiness using projections along a single direction
AUTHORS: Vitor Carvalho ; Paulo Cardoso; Michael Belsley ; Rosa M Vasconcelos ; Filomena O Soares ;
PUBLISHED: 2007, SOURCE: 9th IASTED International Conference on Control and Applications in Ninth IASTED International Conference on Control and Applications

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

CIÊNCIAVITAE

367

TITLE: Optical yarn hairiness measurement system
AUTHORS: Carvalho, VH ; Cardoso, PJ; Vasconcelos, RM ; Soares, FO ; Belsley, MS ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1

INDEXED IN:

Scopus

WOS

CrossRef

Handle

IN MY:

ORCID

368

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 |

CIÊNCIAVITAE

369

TITLE: Streaming media in different contexts: Engineering and education graduation
AUTHORS: Santos, H; Mendes, I; Leão, CP ; Soares, FO ; Silva, E;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference e-Learning, EL 2007 - Part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in Proceedings of the IADIS International Conference e-Learning, EL 2007 - Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007, VOLUME: 1

INDEXED IN:

Scopus

IN MY:

ORCID |

CIÊNCIAVITAE

370