Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Publicações Confirmadas: 390



361
TÍTULO: Experimental Validation of ADACOR Holonic Control System
AUTORES: Paulo Leitão ; Francisco Restivo ;
PUBLICAÇÃO: 2005, FONTE: Holonic and Multi-Agent Systems for Manufacturing - Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 7 Handle
362
TÍTULO: Formal specification of ADACOR holonic control system: Coordination models  Full Text
AUTORES: Paulo Leitao ; Armando W Colombo; Francisco Restivo ;
PUBLICAÇÃO: 2005, FONTE: 44th IEEE Conference on Decision Control/European Control Conference (CCD-ECC) in 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
363
TÍTULO: Formal specification of ADACOR holonic control system: coordination models
AUTORES: Paulo Leitão ; Armando W Colombo; Francisco Restivo;
PUBLICAÇÃO: 2005, FONTE: 44th IEEE International Conference on Decision and Control (CDC’05)
INDEXADO EM: Handle
NO MEU: ORCID | CIÊNCIAVITAE
364
TÍTULO: Holonic Manufacturing Control: A Practical Implementation
AUTORES: Paulo Leitão ; Francisco Casais; Francisco Restivo ;
PUBLICAÇÃO: 2005, FONTE: Emerging Solutions for Future Manufacturing Systems - IFIP International Federation for Information Processing
INDEXADO EM: CrossRef: 5 Handle
NO MEU: ORCID | CIÊNCIAVITAE
365
TÍTULO: Holonic manufacturing control: A practical implementation
AUTORES: Leitao, P ; Casais, F; Restivo, F ;
PUBLICAÇÃO: 2005, FONTE: 6th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in EMERGING SOLUTIONS FOR FUTURE MANUFACTURING SYSTEMS, VOLUME: 159
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
366
TÍTULO: A collaborative automation approach to distributed production systems
AUTORES: Colombo, AW; Schoop, R; Leitao, P ; Restivo, F ;
PUBLICAÇÃO: 2004, FONTE: 2nd IEEE International Conference on Industrial Informatics in 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS
INDEXADO EM: Scopus WOS CrossRef: 15 Handle
NO MEU: ORCID | CIÊNCIAVITAE
367
TÍTULO: The role of foundational ontologies in manufacturing domain applications
AUTORES: Borgo, S; Leitao, P ;
PUBLICAÇÃO: 2004, FONTE: On the Move Confederated International Workshop and Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, VOLUME: 3290
INDEXADO EM: Scopus WOS Handle
NO MEU: ORCID | CIÊNCIAVITAE
368
TÍTULO: A formal validation approach for holonic control system specifications
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, NÚMERO: January
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
369
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 | CIÊNCIAVITAE
370
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: 15 Handle
NO MEU: ORCID | CIÊNCIAVITAE
Página 37 de 39. Total de resultados: 390.

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

Links Úteis

Ajuda

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