Statistics
Publications
7
Citations
129
H-Index
7
Active since
1999
Affiliations
Luigia Petre is an author at Turku Centre for Computer Science specializing in computer science, computing, and formal methods.
Publications per year
1999–2020
7
7
Formalising UML Use Cases in the Refinement Calculus
R. J. R. Back, Luigia Petre, Iván Porres · 1999 · 20 citations
Ion Petre, Luigia Petre · Åbo Akademi University Research Portal · 2020 · 19 citations · Full text
Formal development of wireless sensor–actor networks
Maryam Kamali, Linas Laibinis, Luigia Petre et al. · Science of Computer Programming · 2012 · 18 citations
1–5 of 7