Paulo Jorge Pinto Leitão
AuthID: R-000-K82
271
TITLE: Security increasing in Industrial robotics based on artificial vision
AUTHORS: José Lima ; José Gonçalves ; Paulo Leitão;
PUBLISHED: 2005, SOURCE: 1º Encontro Nacional de Visualização Científica
AUTHORS: José Lima ; José Gonçalves ; Paulo Leitão;
PUBLISHED: 2005, SOURCE: 1º Encontro Nacional de Visualização Científica
INDEXED IN: 
Handle
Handle272
TITLE: An approach towards the development life-cycle of agent-based production control applications
AUTHORS: Paulo Leitão; Armando W Colombo;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05)
AUTHORS: Paulo Leitão; Armando W Colombo;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’05)
INDEXED IN: Handle
Handle IN MY: 
ORCID
ORCID273
TITLE: Formal specification of ADACOR holonic control system: coordination models
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2005, SOURCE: 44th IEEE International Conference on Decision and Control (CDC’05)
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2005, SOURCE: 44th IEEE International Conference on Decision and Control (CDC’05)
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID274
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
Handle275
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
276
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
Handle277
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
Handle278
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
ORCID279
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
280
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
