Paulo Jorge Pinto Leitão
AuthID: R-000-K82
271
TITLE: Implementation and validation of a holonic manufacturing control system
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2005, SOURCE: 15th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM’05)
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2005, SOURCE: 15th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM’05)
INDEXED IN: 
Handle
Handle272
TITLE: The use of Qualitative Indicators for Performance Measurement in Manufacturing Control Systems
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2004, SOURCE: IFAC Proceedings Volumes, VOLUME: 37, ISSUE: 4
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2004, SOURCE: IFAC Proceedings Volumes, VOLUME: 37, ISSUE: 4
273
TITLE: Sistema robotizado de xadrez
AUTHORS: F. Sousa; José Gonçalves ; Paulo Leitão;
PUBLISHED: 2004, SOURCE: Encontro Científico Robótica 2004
AUTHORS: F. Sousa; José Gonçalves ; Paulo Leitão;
PUBLISHED: 2004, SOURCE: Encontro Científico Robótica 2004
INDEXED IN: Handle
Handle274
TITLE: Predictive disturbance management in manufacturing control systems
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2004, SOURCE: Proceedings of the IMS International Forum
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2004, SOURCE: Proceedings of the IMS International Forum
INDEXED IN: Handle
Handle275
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
AUTHORS: Leitão, P; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January
AUTHORS: Leitão, P; Colombo, AW; Restivo, F; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID276
TITLE: Integration of automation resources in holonic manufacturing applications
AUTHORS: Leitão, P; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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
AUTHORS: Leitão, P; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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
277
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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
AUTHORS: Leitão, P; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 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
278
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3
279
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID280
TITLE: Agent-based holonic production control
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA’02)
AUTHORS: Paulo Leitão; Francisco Restivo;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA’02)
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID