Paulo Jorge Pinto Leitão
AuthID: R-000-K82
271
TÃTULO: Security increasing in Industrial robotics based on artificial vision
AUTORES: José Lima ; José Gonçalves ; Paulo Leitão;
PUBLICAÇÃO: 2005, FONTE: 1º Encontro Nacional de Visualização Científica
AUTORES: José Lima ; José Gonçalves ; Paulo Leitão;
PUBLICAÇÃO: 2005, FONTE: 1º Encontro Nacional de Visualização Científica
INDEXADO EM:
Handle

272
TÃTULO: An approach towards the development life-cycle of agent-based production control applications
AUTORES: Paulo Leitão; Armando W Colombo;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05)
AUTORES: Paulo Leitão; Armando W Colombo;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05)
INDEXADO EM:
Handle

NO MEU:
ORCID

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

274
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)
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2005, FONTE: 15th International Conference on Flexible Automation and Intelligent Manufacturing (FAIM’05)
INDEXADO EM:
Handle

275
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
AUTORES: Paulo Leitão; Francisco Restivo ;
PUBLICAÇÃO: 2004, FONTE: IFAC Proceedings Volumes, VOLUME: 37, NÚMERO: 4
276
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

277
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

278
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

279
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
280
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