Luigia Petre

Julkaisut

Julkaisuja vuodessa 1998 1999 2000 2011 2012 2014 2015 2016 2022

• 37 Konferenssiartikkeli
• 22 Tutkimusraportti
• 14 Artikkeli
• 8 Antologia/toimitettu lehti
• 10 Lisää
  • 5 Luku
  • 2 Muu myötävaikuttaminen
  • 1 Tiivistelmä
  • 1 Pääkirjoitus
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2015

  Integrated Formal Methods: editorial

  Michael, B., Einar, J., Petre, L., Butler, M. (Toimittaja), Johnsen, E. (Toimittaja) & Petre, L. (Toimittaja), 2015, julkaisussa: Formal Aspects of Computing. 27, 4, s. 611–612

  Tutkimustuotos: Lehtiartikkeli › Pääkirjoitus › Tieteellinen › vertaisarvioitu