Where academic tradition
meets the exciting future

Dr. Luigia Petre

Date of doctoral defense: 7.12.2005

TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies

Admitted to TUCS GP on 15.9.1997

Current affiliation: Åbo Akademi University, Department of Information Technologies

Current homepage: http://users.abo.fi/lpetre/

Thesis:

Luigia Petre, Modeling with Action Systems. TUCS Dissertations 69. Turku Centre for Computer Science, 2005.

Former supervisors:

Ralph-Johan Back (Åbo Akademi University, Department of Information Technologies)

Kaisa Sere (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response. Computers in Biology and Medicine (91), 1–12, 2017.

Mojgan Kamali, Luigia Petre, Uppaal vs Event-B for Modelling Optimised Link State Routing. In: K. Barkaoui, H. Boucheneb, A. Mili, S. Tahar (Eds.), Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Lecture Notes in Computer Science 10466, 189–203, Springer, 2017.

Update your graduate project title and abstract.