Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Confirmed Publications: 146



131
TITLE: The role of foundational ontologies in manufacturing domain applications
AUTHORS: Borgo, S; Leitao, P ;
PUBLISHED: 2004, SOURCE: On the Move Confederated International Workshop and Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, VOLUME: 3290
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
132
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS
INDEXED IN: WOS CrossRef: 3
IN MY: ORCID | ResearcherID
133
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
134
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
135
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
136
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
137
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
138
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: 3
139
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: 8
140
TITLE: Agent-based holonic production control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002) in 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
INDEXED IN: WOS CrossRef: 10
IN MY: ORCID | ResearcherID
Page 14 of 15. Total results: 146.

A place for researchers and their institutions

Useful Links

Get Help

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