Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Publicações a aguardar confirmação

271
TÍTULO: Implementation and validation of a holonic manufacturing control system
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM’05)
INDEXADO EM: Handle
272
TÍTULO: The use of Qualitative Indicators for Performance Measurement in Manufacturing Control Systems
AUTORES: Paulo Leitão; Francisco Restivo ;
PUBLICAÇÃO: 2004, FONTE: IFAC Proceedings Volumes, VOLUME: 37, NÚMERO: 4
INDEXADO EM: CrossRef: 1 Handle
273
TÍTULO: Sistema robotizado de xadrez
AUTORES: F. Sousa; José Gonçalves ; Paulo Leitão;
PUBLICAÇÃO: 2004, FONTE: Encontro Científico Robótica 2004
INDEXADO EM: Handle
274
TÍTULO: Predictive disturbance management in manufacturing control systems
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the IMS International Forum
INDEXADO EM: Handle
275
TÍTULO: Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
AUTORES: Leitão, P; Colombo, AW; Restivo, F; Schoop, R;
PUBLICAÇÃO: 2003, FONTE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January
INDEXADO EM: Scopus
NO MEU: ORCID
276
TÍTULO: Integration of automation resources in holonic manufacturing applications
AUTORES: Leitão, P; Boissier, R; Casais, F; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID
277
TÍTULO: An approach to the formal specification of holonic control systems
AUTORES: Leitão, P; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID
278
TÍTULO: Identification of ADACOR Holons for Manufacturing Control
AUTORES: Paulo Leitão; Francisco Restivo ;
PUBLICAÇÃO: 2003, FONTE: IFAC Proceedings Volumes, VOLUME: 36, NÚMERO: 3
INDEXADO EM: CrossRef: 1 Handle
NO MEU: ORCID
279
TÍTULO: A formal validation approach for holonic control system specifications
AUTORES: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXADO EM: Handle
NO MEU: ORCID
280
TÍTULO: Agent-based holonic production control
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2002, FONTE: 13th International Workshop on Database and Expert Systems Applications (DEXA’02)
INDEXADO EM: Handle
NO MEU: ORCID
Página 28 de 30. Total de resultados: 291.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service