ProfileOfResearchers

TÃTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1

INDEXADO EM:

Scopus

CrossRef

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

365

TÃTULO: A pattern recognition system based on cluster and discriminant analysis for fault identification during production
AUTORES: Catarino, A ; Rocha, A ; Monteiro, JL ; Soares, F ;
PUBLICAÇÃO: 2007, FONTE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8

INDEXADO EM:

Scopus

WOS

CrossRef

NO MEU:

ORCID |

CIÊNCIAVITAE

366

TÃTULO: Optical quantification of yarn hairiness using projections along a single direction
AUTORES: Vitor Carvalho ; Paulo Cardoso; Michael Belsley ; Rosa M Vasconcelos ; Filomena O Soares ;
PUBLICAÇÃO: 2007, FONTE: 9th IASTED International Conference on Control and Applications in Ninth IASTED International Conference on Control and Applications

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

CIÊNCIAVITAE

367

TÃTULO: Optical yarn hairiness measurement system
AUTORES: Carvalho, VH ; Cardoso, PJ; Vasconcelos, RM ; Soares, FO ; Belsley, MS ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1

INDEXADO EM:

Scopus

WOS

CrossRef

Handle

NO MEU:

ORCID

368

TÃTULO: Simulation and formal verification of real time systems: A case study
AUTORES: Eurico Seabra ; Jose Machado ; Jaime Ferreira da Silva; Filomena O Soares ; Celina P Leao ;
PUBLICAÇÃO: 2007, FONTE: 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

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

CIÊNCIAVITAE

369

TÃTULO: Streaming media in different contexts: Engineering and education graduation
AUTORES: Santos, H; Mendes, I; Leão, CP ; Soares, FO ; Silva, E;
PUBLICAÇÃO: 2007, FONTE: 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

INDEXADO EM:

Scopus

NO MEU:

ORCID |

CIÊNCIAVITAE

370