Treffer 1 - 7 von 7 für Suche 'Arapinis, M', Suchdauer: 0,72s Treffer weiter einschränken
  1. 1
    StatVerif: Verification of Stateful Processes

    StatVerif: Verification of Stateful Processes von Arapinis, M., Ritter, E., Ryan, M. D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Trust-Domains Guide: A Guide to Identifying, Modelling, and Establishing Trust Domains

    The Trust-Domains Guide: A Guide to Identifying, Modelling, and Establishing Trust Domains von Crane, S, Reinecke, P, Anderson, G, Arapinis, M, Baldwin, A, Collinson, M, Arachchilage, NAG, Gill, M, Kounga, G, Kehlmann, D, Mace, J, Martin, A, Namiluko, C, Ordean, M, Pym, D, Ritter, E, Ryan, M, Shaw, A

    Volltext bestellen
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying Privacy-Type Properties in a Modular Way

    Verifying Privacy-Type Properties in a Modular Way von Arapinis, M., Cheval, V., Delaune, S.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Untraceability in the applied pi-calculus

    Untraceability in the applied pi-calculus von Arapinis, M., Chothia, T., Ritter, E., Ryan, M.

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Astrolabous: A Universally Composable Time-Lock Encryption Scheme

    Astrolabous: A Universally Composable Time-Lock Encryption Scheme von Arapinis, Myrto, Lamprou, Nikolaos, Zacharias, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Fonctionnalisation de la liaison C-H anomérique des sucres par insertion de carbène : Un nouvel accès aux cétopyranosides

    Fonctionnalisation de la liaison C-H anomérique des sucres par insertion de carbène : Un nouvel accès aux cétopyranosides von Boultadakis Arapinis, Mélissa

    Volltext bestellen
    Dissertation

    Zu den Favoriten
    Gespeichert in:
  7. 7
    1-aryl-naphtyridin-3-ylcarboxamides substitués en position 7 et leur utilisation

    1-aryl-naphtyridin-3-ylcarboxamides substitués en position 7 et leur utilisation von FREUDENBERGER, Till, TELLER, Henrik, BOULTADAKIS ARAPINIS, Melissa, BRECHMANN, Markus, MONDRITZKI, Thomas, TINEL, Hanna, VAKALOPOULOS, Alexandros, WITTWER, Matthias, MARQUARDT, Tobias, STRAUB, Alexander, KULLMANN, Maximilian

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: