Francisco José de Oliveira Restivo


AuthID: R-000-KCC

Confirmed Publications: 68



41
TITLE: Experimental Validation of ADACOR Holonic Control System
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Holonic and Multi-Agent Systems for Manufacturing - Lecture Notes in Computer Science
INDEXED IN: CrossRef Handle
IN MY: ORCID
42
TITLE: Formal specification of ADACOR holonic control system: Coordination models  Full Text
AUTHORS: Paulo Leitao ; Armando W Colombo; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: 44th IEEE Conference on Decision Control/European Control Conference (CCD-ECC) in 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | ResearcherID
43
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
INDEXED IN: CrossRef Handle
IN MY: ORCID
44
TITLE: Holonic manufacturing control: A practical implementation
AUTHORS: Leitao, P ; Casais, F; Restivo, F ;
PUBLISHED: 2005, SOURCE: 6th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in EMERGING SOLUTIONS FOR FUTURE MANUFACTURING SYSTEMS, VOLUME: 159
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
45
TITLE: A collaborative automation approach to distributed production systems
AUTHORS: Colombo, AW; Schoop, R; Leitao, P ; Restivo, F ;
PUBLISHED: 2004, SOURCE: 2nd IEEE International Conference on Industrial Informatics in 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS
INDEXED IN: Scopus WOS CrossRef Handle
IN MY: ORCID
46
TITLE: E-manufacturing in Europe: Enterprise networking
AUTHORS: Restivo, FJ ;
PUBLISHED: 2004, SOURCE: 18th International Conference on CAD/CAM Robotics and Factories of the Future (CARs&FOF) in E-MANUFACTURING: BUSINESS PARADIGMS AND SUPPORTING TECHNOLOGIES
INDEXED IN: WOS CrossRef
IN MY: ORCID | ResearcherID
47
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
INDEXED IN: CrossRef: 1 Handle
IN MY: ORCID
48
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, VOLUME: 1, ISSUE: January
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
49
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
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID
50
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
Page 5 of 7. Total results: 68.

A place for researchers and their institutions

Useful Links

Get Help

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