 | 2008 |
|---|
| 10 |       | Luigia Petre:
Energy-Aware Middleware.
ECBS 2008: 326-334 |
| 2006 |
|---|
| 9 | | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A Language for Modeling Network Availability.
ICFEM 2006: 639-659 |
| 2002 |
|---|
| 8 |  | Michael J. Butler,
Luigia Petre,
Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings
Springer 2002 |
| 2001 |
|---|
| 7 | | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput. 8(1): 2-21 (2001) |
| 2000 |
|---|
| 6 | | Ralph-Johan Back,
Luigia Petre,
Ivan Porres:
Generalizing Action Systems to Hybrid Systems.
FTRTFT 2000: 202-213 |
| 5 | | Luigia Petre,
Kaisa Sere:
Developing Control Systems Components.
IFM 2000: 156-175 |
| 1999 |
|---|
| 4 | | Luigia Petre,
Kaisa Sere:
Coordination Among Mobile Objects.
COORDINATION 1999: 227-242 |
| 3 | | Luigia Petre,
Ralph-Johan Back,
Ivan Paltor:
Analysing UML Use Cases as Contracts.
UML 1999: 518-533 |
| 2 | | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A topological approach to distributed computing.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 1 | | Ion Petre,
Luigia Petre:
Mobile Ambients and P-Systems.
J. UCS 5(9): 588-598 (1999) |
