Stökkva yfir í aðalyfirlit Stökkva yfir í leit Stökkva yfir í aðalefni
Mynd af Jasmine Xuereb
20222022

Rannsóknarafurðir á ári

Fingerprint

Sökktu þér í rannsóknarefni þar sem Jasmine Xuereb er virkt. Þessar efnismerkingar eiga upptök sín í vinnu þessa aðila. Saman myndar þetta einstakt fingrafar.
  • 1 Álíkar rannsakendur

Samstarf og helstu rannsóknarsvið síðastliðin fimm ár

Nýlegt utanaðkomandi samstarf á sviði lands/yfirráðasvæðis. Sökktu þér í upplýsingarnar með því að smella á punktana eða
  • A Synthesis Tool for Optimal Monitors in a Branching-Time Setting

    Exibard, L., Francalanza, A., Lehtinen, K. & Xuereb, J., 2022, Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. ter Beek, M. H. & Sirjani, M. (útg.). Springer Science and Business Media Deutschland GmbH, s. 181-199 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); bind. 13271 LNCS).

    Háskólinn í Reykjavík

    Rannsóknarafurð: Kafli í bók/skýrslu/ráðstefnuritiRáðstefnuframlagritrýni