dblp.uni-trier.dewww.uni-trier.de

Luigia Petre

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EELuigia Petre: Energy-Aware Middleware. ECBS 2008: 326-334
2006
9EELuigia 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
6EERalph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
5EELuigia Petre, Kaisa Sere: Developing Control Systems Components. IFM 2000: 156-175
1999
4EELuigia 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
2EELuigia Petre, Kaisa Sere, Marina A. Waldén: A topological approach to distributed computing. Electr. Notes Theor. Comput. Sci. 28: (1999)
1EEIon Petre, Luigia Petre: Mobile Ambients and P-Systems. J. UCS 5(9): 588-598 (1999)

Coauthor Index

1Ralph-Johan Back [3] [6] [7]
2Michael J. Butler [8]
3Ivan Paltor [3]
4Ion Petre [1]
5Ivan Porres [6] [7]
6Kaisa Sere [2] [4] [5] [8] [9]
7Marina A. Waldén [2] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)