Anastasia Gkolfi

Stipendiat - Pålitelige systemer
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

Publikasjoner

  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2018). Using coloured Petri nets for resource analysis of active objects. Lecture Notes in Computer Science.  ISSN 0302-9743.  11222 LNCS, s 156- 174 . doi: 10.1007/978-3-030-02146-7_8
  • Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin & Yu, Ingrid Chieh (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science.  ISSN 0302-9743.  (10522), s 84- 99 . doi: 10.1007/978-3-319-68972-2_6
  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2017). Resource Management of Cloud-Aware Programs using Coloured Petri Nets, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 31 - 33

Se alle arbeider i Cristin

Publisert 6. okt. 2015 14:50