Luigia Petre
发表
Petter Sandvik,
Mauno Rönkkö,
Seppo Horsmanheimo,
2014,
NASA Formal Methods.
Mauno Rönkkö,
Elena Troubitsyna,
Luigia Petre,
2007
.
Kaisa Sere,
Gheorghe Stefanescu,
Ioana Leustean,
2012,
IFM.
Kaisa Sere,
Masoud Daneshtalab,
Maryam Kamali,
2011,
2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications.
Luigia Petre,
Mojgan Kamali,
2016,
2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).
Kaisa Sere,
Luigia Petre,
Marina Waldén,
2012
.
Kaisa Sere,
Marina Waldén,
Luigia Petre,
2006,
ICFEM.
Luigia Petre,
L. Petre,
2008,
15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).
Kaisa Sere,
Luigia Petre,
Michael Butler,
2002
.
Kaisa Sere,
Marina Waldén,
Luigia Petre,
1999,
Electron. Notes Theor. Comput. Sci..
Kaisa Sere,
Mats Neovius,
Luigia Petre,
2016,
Refine@FM.
Brijesh Dongol,
Luigia Petre,
Graeme Smith,
2019,
FMTea.
Luigia Petre,
Muhammad Mustafa Hassan,
2009
.
Marina Waldén,
Elena Troubitsyna,
Luigia Petre,
2013,
Formal Aspects of Computing.
Einar Broch Johnsen,
Luigia Petre,
2015,
Software & Systems Modeling.
Ralph-Johan Back,
Ivan Porres,
Luigia Petre,
1999,
FTRTFT.
Kaisa Sere,
Luigia Petre,
K. Sere,
2010,
Int. J. Embed. Real Time Commun. Syst..
Kaisa Sere,
Elena Troubitsyna,
Luigia Petre,
2011
.
Luigia Petre,
Marina Waldén,
2000
.
Kaisa Sere,
Leonidas Tsiopoulos,
Juha Plosila,
2011
.
Luigia Petre,
Marina Waldén,
Elena Troubitsyna,
2013
.
Kaisa Sere,
Luigia Petre,
K. Sere,
1999,
COORDINATION.
Petter Sandvik,
Kaisa Sere,
Luigia Petre,
2013,
Int. J. Crit. Comput. Based Syst..
Ralph-Johan Back,
Luigia Petre,
Ivan Paltor,
1999,
UML.
Emil Sekerinski,
Luigia Petre,
E. Sekerinski,
2016
.
Ion Petre,
Luigia Petre,
Usman Sanwal,
2020,
Fundam. Informaticae.
Luigia Petre,
Ralph Back,
Iván Porres Paltor,
1999
.
Kaisa Sere,
Maryam Kamali,
Luigia Petre,
2010,
FOCLASA.
Kaisa Sere,
Luigia Petre,
2000,
IFM.
Luigia Petre,
Muhammad Mustafa Hassan,
2011,
International Conference on Computer Networks and Information Technology.
Einar Broch Johnsen,
Luigia Petre,
E. Johnsen,
2002,
Lecture Notes in Computer Science.
Kaisa Sere,
Luigia Petre,
Milla Qvist,
1999
.
Kaisa Sere,
Luigia Petre,
Michael Butler,
2002
.
Maryam Kamali,
Luigia Petre,
Peter Höfner,
2015,
SEFM.
Luigia Petre,
2000
.
Kaisa Sere,
Maryam Kamali,
Luigia Petre,
2014,
Sci. Comput. Program..
Kaisa Sere,
Masoud Daneshtalab,
Maryam Kamali,
2011,
FSEN.
Kaisa Sere,
Gheorghe Stefanescu,
Luigia Petre,
2014,
ICTAC.
Ralph-Johan Back,
Ivan Porres,
Luigia Petre,
2001,
Nord. J. Comput..
Mats Neovius,
Luigia Petre,
Maryam Kamali,
2013
.
Kaisa Sere,
Maryam Kamali,
Luigia Petre,
2013,
Int. J. Crit. Comput. Based Syst..
Ion Petre,
Luigia Petre,
Usman Sanwal,
2017,
Comput. Biol. Medicine.
Kaisa Sere,
Luigia Petre,
Michael Butler,
2002
.
Kaisa Sere,
Luigia Petre,
Marina Waldén,
2012
.
Luigia Petre,
Mojgan Kamali,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Petter Sandvik,
Kaisa Sere,
Luigia Petre,
2012,
COORDINATION.
Kaisa Sere,
Leonidas Tsiopoulos,
Luigia Petre,
2010,
FMCO.
Kaisa Sere,
Masoud Daneshtalab,
Maryam Kamali,
2011,
2011 14th Euromicro Conference on Digital System Design.
Kaisa Sere,
Masoud Daneshtalab,
Maryam Kamali,
2015
.
Kaisa Sere,
Luigia Petre,
2013,
2013 International Conference on High Performance Computing & Simulation (HPCS).
Luigia Petre,
Mojgan Kamali,
2017,
VECoS.
Ion Petre,
Luigia Petre,
1999,
J. Univers. Comput. Sci..
Luigia Petre,
Mojgan Kamali,
L. Petre,
2015,
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Einar Broch Johnsen,
Michael J. Butler,
Luigia Petre,
2015,
Formal Aspects of Computing.
Mauno Rönkkö,
Mats Neovius,
Luigia Petre,
2014
.
Luigia Petre,
Elena Cuoco,
Filip Morawski,
2021,
Mach. Learn. Sci. Technol..
Ion Petre,
Thai Son Hoang,
Luigia Petre,
2021,
ArXiv.
Luigia Petre,
2021,
QUATIC.
Mauno Rönkkö,
Mikko Kolehmainen,
Mats Neovius,
2014
.