Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Confirmed Publications: 390



371
TITLE: An approach to the formal specification of holonic control systems  Full Text
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
372
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS
INDEXED IN: WOS CrossRef: 4
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
373
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
374
TITLE: Identification of adacor holons for manufacturing control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003
INDEXED IN: WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
375
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3
INDEXED IN: CrossRef: 1 Handle
IN MY: ORCID | CIÊNCIAVITAE
376
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
INDEXED IN: Scopus CrossRef: 9 Handle
IN MY: ORCID | CIÊNCIAVITAE
377
TITLE: Integration of automation resources in holonic manufacturing applications  Full Text
AUTHORS: Leitao, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
378
TITLE: Towards autonomy, self-organisation and learning in holonic manufacturing
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
379
TITLE: Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science - Multi-Agent Systems and Applications III
INDEXED IN: CrossRef: 4 Handle
IN MY: ORCID | CIÊNCIAVITAE
380
TITLE: A Holonic Control Approach for Distributed Manufacturing
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2002, SOURCE: Knowledge and Technology Integration in Production and Services
INDEXED IN: CrossRef: 9 Handle
Page 38 of 39. Total results: 390.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service