ProfileOfResearchers

361

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

362

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

363

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

364

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

365

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

366

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

367

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

368

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

369

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

370

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