| 2008 |
|---|
| 12 | EE | Paulo Leitão,
J. Marco Mendes,
Armando W. Colombo:
Decision support system in a service-oriented control architecture for industrial automation.
ETFA 2008: 1228-1235 |
| 11 | EE | Armando W. Colombo,
Robert Harrison:
Modular and collaborative automation: achieving manufacturing flexibility and reconfigurability.
IJMTM 14(3/4): 249-265 (2008) |
| 2007 |
|---|
| 10 | | Vladimír Mavrík,
Valeriy Vyatkin,
Armando W. Colombo:
Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings
Springer 2007 |
| 2006 |
|---|
| 9 | EE | Paulo Leitão,
Armando W. Colombo:
Petri net based Methodology for the Development of Collaborative Production Systems.
ETFA 2006: 819-826 |
| 8 | EE | Paulo Leitão,
Armando W. Colombo,
Francisco Restivo:
A formal specification approach for holonic control systems: the ADACOR case.
IJMTM 8(1/2/3): 37-57 (2006) |
| 2005 |
|---|
| 7 | EE | Paulo Leitão,
Armando W. Colombo:
An approach towards the development life-cycle of agent-based production control applications.
ETFA 2005 |
| 6 | EE | Jose L. Martinez Lastra,
Enrique Lopez Torres,
Armando W. Colombo:
A 3D Visualization and Simulation Framework for Intelligent Physical Agents.
HoloMAS 2005: 23-38 |
| 5 | | Armando W. Colombo,
Ronald Schoop,
Ralf Neubert:
Collaborative (Agent-Based) Factory Automation.
The Industrial Information Technology Handbook 2005: 0- |
| 4 | EE | Paulo Leitão,
Armando W. Colombo,
Francisco Restivo:
ADACOR: A Collaborative Production Automation and Control Architecture.
IEEE Intelligent Systems 20(1): 58-66 (2005) |
| 2003 |
|---|
| 3 | EE | Paulo Leitão,
Armando W. Colombo,
Francisco Restivo:
An Approach to the Formal Specification of Holonic Control Systems.
HoloMAS 2003: 59-70 |
| 2002 |
|---|
| 2 | | Boris Suessmann,
Armando W. Colombo,
Ralf Neubert:
An Agent-Based Approach Towards the Design of Industrial Holonic Control Systems.
BASYS 2002: 255-262 |
| 1994 |
|---|
| 1 | | Armando W. Colombo,
Javier Martínez,
Ricardo O. Carelli:
Formal Validation of Complex Production Systems Using Coloured Petri Nets.
ICRA 1994: 1713-1718 |
