Paulo Jorge Pinto Leitão
AuthID: R-000-K82
281
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
Scopus NO MEU: 
ORCID
ORCID282
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
283
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
284
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
285
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
Handle NO MEU: ORCID
ORCID286
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
Handle NO MEU: ORCID
ORCID287
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
Handle288
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
Handle289
TÃTULO: Arquitecturas adaptativas e cooperativas para sistemas de fabrico distribuídos
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2001, FONTE: Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros
AUTORES: Paulo Leitão; Francisco Restivo;
PUBLICAÇÃO: 2001, FONTE: Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros
INDEXADO EM: Handle
Handle290
TÃTULO: Integrated and distributed manufacturing, a multi-agent perspective
AUTORES: José Barata; Luís Camarinha Matos; Paulo Leitão; Raymond Boissier; Francisco Restivo; M. Raddadi;
PUBLICAÇÃO: 2001, FONTE: 3rd Workshop on European Scientific and Industrial Collaboration (WESIC’01)
AUTORES: José Barata; Luís Camarinha Matos; Paulo Leitão; Raymond Boissier; Francisco Restivo; M. Raddadi;
PUBLICAÇÃO: 2001, FONTE: 3rd Workshop on European Scientific and Industrial Collaboration (WESIC’01)
INDEXADO EM: Handle
Handle