Paulo Jorge Pinto Leitão
AuthID: R-000-K82
271
TITLE: Foundations for a core ontology of manufacturing
AUTHORS: Stefano Borgo; Paulo Leitão;
PUBLISHED: 2006
AUTHORS: Stefano Borgo; Paulo Leitão;
PUBLISHED: 2006
INDEXED IN:
Handle

IN MY:
ORCID

272
TITLE: A formal specification approach for holonic control systems: the ADACOR case
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2006, SOURCE: International Journal of Manufacturing Technology and Management
AUTHORS: Paulo Leitão; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2006, SOURCE: International Journal of Manufacturing Technology and Management
INDEXED IN:
Handle

273
TITLE: Holonic Manufacturing Control: A Practical Implementation
AUTHORS: Paulo Leitão; Francisco Casais; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Emerging Solutions for Future Manufacturing Systems - IFIP International Federation for Information Processing
AUTHORS: Paulo Leitão; Francisco Casais; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Emerging Solutions for Future Manufacturing Systems - IFIP International Federation for Information Processing
274
TITLE: Chess robot system : a multi-disciplinary experience in automation
AUTHORS: José Gonçalves ; José Lima ; Paulo Leitão;
PUBLISHED: 2005, SOURCE: 9th Spanish Portuguese Congress on Electrical Engineering
AUTHORS: José Gonçalves ; José Lima ; Paulo Leitão;
PUBLISHED: 2005, SOURCE: 9th Spanish Portuguese Congress on Electrical Engineering
INDEXED IN:
Handle

275
TITLE: Learning mobile robotics using lego mindstorms
AUTHORS: Paulo Leitão; José Gonçalves ; José Barbosa;
PUBLISHED: 2005, SOURCE: 9th Spanish Portuguese Congress on Electrical Engineering
AUTHORS: Paulo Leitão; José Gonçalves ; José Barbosa;
PUBLISHED: 2005, SOURCE: 9th Spanish Portuguese Congress on Electrical Engineering
INDEXED IN:
Handle

276
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

277
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

IN MY:
ORCID

278
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

IN MY:
ORCID

279
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

280
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