Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Publicações Confirmadas: 384



361
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
362
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
363
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
364
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
365
TÍTULO: An approach to the formal specification of holonic control systems  Full Text
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
366
TÍTULO: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLICAÇÃO: 2003, FONTE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS
INDEXADO EM: WOS CrossRef: 4
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
367
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 | CIÊNCIAVITAE
368
TÍTULO: Identification of adacor holons for manufacturing control
AUTORES: Leitao, P ; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003
INDEXADO EM: WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
369
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 | CIÊNCIAVITAE
370
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: 9 Handle
NO MEU: ORCID | CIÊNCIAVITAE
Página 37 de 39. Total de resultados: 384.

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