ProfileOfResearchers

361

TÃTULO: Holonic manufacturing control: A practical implementation
AUTORES: Leitao, P ; Casais, F; Restivo, F ;
PUBLICAÇÃO: 2005, FONTE: 6th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in EMERGING SOLUTIONS FOR FUTURE MANUFACTURING SYSTEMS, VOLUME: 159

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE

362

TÃTULO: A collaborative automation approach to distributed production systems
AUTORES: Colombo, AW; Schoop, R; Leitao, P ; Restivo, F ;
PUBLICAÇÃO: 2004, FONTE: 2nd IEEE International Conference on Industrial Informatics in 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS

INDEXADO EM:

Scopus

WOS

CrossRef: 15

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

363

TÃTULO: The role of foundational ontologies in manufacturing domain applications
AUTORES: Borgo, S; Leitao, P ;
PUBLICAÇÃO: 2004, FONTE: 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

INDEXADO EM:

Scopus

WOS

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

364

TÃTULO: A formal validation approach for holonic control system specifications
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 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, NÚMERO: January

INDEXADO EM:

Scopus

WOS

CrossRef: 3

NO MEU:

ORCID |

CIÊNCIAVITAE

365

TÃTULO: A formal validation approach for holonic control system specifications
AUTORES: Paulo Leitão ; Armando W Colombo; Francisco Restivo;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation

INDEXADO EM:

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

366

TÃTULO: An approach to the formal specification of holonic control systems
AUTORES: Leitão, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 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

INDEXADO EM:

Scopus

CrossRef: 15

Handle

NO MEU:

ORCID |

CIÊNCIAVITAE

367

TÃTULO: An approach to the formal specification of holonic control systems Full Text
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE

368

TÃTULO: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLICAÇÃO: 2003, FONTE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS

INDEXADO EM:

WOS

CrossRef: 4

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE

369

TÃTULO: Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
AUTORES: Leitão, P ; Colombo, AW; Restivo, F; Schoop, R;
PUBLICAÇÃO: 2003, FONTE: IEEE International Conference on Industrial Informatics, INDIN 2003 in IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2003-January

INDEXADO EM:

Scopus

NO MEU:

ORCID |

CIÊNCIAVITAE

370

TÃTULO: Identification of adacor holons for manufacturing control
AUTORES: Leitao, P ; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003

INDEXADO EM:

WOS

NO MEU:

ORCID |

ResearcherID |

CIÊNCIAVITAE