Paulo Jorge Pinto Leitão


AuthID: R-000-K82

Confirmed Publications: 390



361
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: 7 Handle
362
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 | CIÊNCIAVITAE
363
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)
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
364
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: 5 Handle
IN MY: ORCID | CIÊNCIAVITAE
365
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 | CIÊNCIAVITAE
366
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: 15 Handle
IN MY: ORCID | CIÊNCIAVITAE
367
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 Handle
IN MY: ORCID | CIÊNCIAVITAE
368
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 | CIÊNCIAVITAE
369
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Paulo Leitão ; Armando W Colombo; Francisco Restivo;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
370
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: 15 Handle
IN MY: ORCID | CIÊNCIAVITAE
Page 37 of 39. Total results: 390.

footer slogan

Useful Links

Get Help

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