Paulo Jorge Pinto Leitão
AuthID: R-000-K82
281
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
AUTORES: F. Sousa; José Gonçalves ; Paulo Leitão;
PUBLICAÇÃO: 2004, FONTE: Encontro Científico Robótica 2004
INDEXADO EM:
Handle

282
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
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the IMS International Forum
INDEXADO EM:
Handle

283
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
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

284
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
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
285
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
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
286
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
AUTORES: Paulo Leitão; Francisco Restivo ;
PUBLICAÇÃO: 2003, FONTE: IFAC Proceedings Volumes, VOLUME: 36, NÚMERO: 3
287
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
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

288
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)
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

289
TÃTULO: A multi-agent based cell controller
AUTORES: Paulo Leitão; Francisco Restivo; Goran Putnik;
PUBLICAÇÃO: 2001, FONTE: 8th IEEE International Conference on Emerging Technologies and Factory Automation
AUTORES: Paulo Leitão; Francisco Restivo; Goran Putnik;
PUBLICAÇÃO: 2001, FONTE: 8th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXADO EM:
Handle

290
TÃTULO: An agile and cooperative architecture for distributed manufacturing systems
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2001, FONTE: IASTED International Conference on Robotics and Manufacturing
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2001, FONTE: IASTED International Conference on Robotics and Manufacturing
INDEXADO EM:
Handle
