 | 2010 |
| 7 |  | Aleksandra Dvoryanchikova,
Andrei Lobov,
Anna Capanji,
Jose L. Martinez Lastra:
Edwards-Venn Diagrams for knowledge representation and reasoning in industrial systems.
ETFA 2010: 1-7 |
| 6 |  | Juha Puttonen,
Andrei Lobov,
Maria A. Cavia Soto,
Jose L. Martinez Lastra:
A Semantic Web Services-based approach for production systems control.
Advanced Engineering Informatics 24(3): 285-299 (2010) |
| 2008 |
| 5 |  | Juha Puttonen,
Andrei Lobov,
Jose L. Martinez Lastra:
An application of BPEL for service orchestration in an industrial environment.
ETFA 2008: 530-537 |
| 2006 |
| 4 |  | Andrei Lobov,
Corina Popescu,
Jose L. Martinez Lastra:
An Algorithm for Siemens STL representation in TNCES.
ETFA 2006: 641-647 |
| 3 |  | Hans-Michael Hanisch,
Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko,
Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications.
IJMTM 8(1/2/3): 75-106 (2006) |
| 2005 |
| 2 |  | Jose L. Martinez Lastra,
Andrei Lobov,
L. Godinho:
Closed loop control using an IEC 61499 application generator for scan-based controllers.
ETFA 2005 |
| 1 |  | Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko:
On controller and plant modeling for model-based formal verification.
ETFA 2005 |