Cristin-person-ID: 4431
Person

Silvia Lizeth Tapia Tarifa

  • Stilling:
    Forsker
    ved PROG Programmering ved Universitetet i Oslo

Resultater Resultater

Preface.

Borda, Aimée; Cimini, Matteo; Cirstea, Corina; Dardha, Ornela; Fowler, Simon; Jakši ć, Svetlana; Knight, Sophia; Lanese, Ivan; Lange, Julien; López, HugoAndrés mfl.. 2019, Electronic Proceedings in Theoretical Computer Science (EPTCS). CSIRO, TUB, APT, ITU, UoG, UNIBO, TUOE, UoM, UoL, UBA, UK, UoS, UIO, ITALIA, HVL, UdSdC, UCL, AMNCH, UoMaLLeder

Designing Distributed Control with Hybrid Active Objects.

Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, Springer. TUD, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Formal Aspects of Computing, Volume 33, Number 6, December 2021. Extended versions of papers presented at iFM 2019.

Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth; Wehrheim, Heike. 2021, Formal Aspects of Computing. UIOLeder

Smart Journey Mining for Improved Service Quality.

Halvorsrud, Ragnhild; Mannhardt, Felix; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, IEEE (Institute of Electrical and Electronics Engineers). TUE, SINTEF, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard; Tapia Tarifa, Silvia Lizeth. 2021, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel
1 - 5 av 45 | Neste | Siste »