Where academic tradition
meets the exciting future

Luigia Petre

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

e-mail: lpetre@abo.fi

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

Alumni:

Maryam Kamali (Åbo Akademi University, Department of Information Technologies)

Mats Neovius (Åbo Akademi University, Department of Information Technologies)

Petter Sandvik (Å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.