Treffer
1 - 5
von
5
für Suche '
Tsampas, Stylianos
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Tsampas, Stylianos
Treffer
1 - 5
von
5
für Suche '
Tsampas, Stylianos
'
, Suchdauer: 0,27s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation
von
Tsampas, Stylianos
Volltext bestellen
Dissertation
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
A Categorical Approach to Secure Compilation
von
Tsampas, Stylianos
,
Nuyts, Andreas
,
Devriese, Dominique
,
Piessens, Frank
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Abstract Congruence Criteria for Weak Bisimilarity
von
Tsampas, Stylianos
,
Williams, Christian
,
Nuyts, Andreas
,
Devriese, Dominique
,
Piessens, Frank
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Towards automatic compartmentalization of C programs on capability machines
von
Tsampas, Stylianos
,
El-Korashy, Akram
,
Patrignani, Marco
,
Devriese, Dominique
,
Garg, Deepak
,
Piessens, Frank
Volltext bestellen
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
Categorical Contextual Reasoning
von
Tsampas, Stylianos
,
Nuyts, Andreas
,
Devriese, Dominique
,
Piessens, Frank
Volltext bestellen
Other
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
5 Treffer
5
Format
Conference Proceedings
3 Treffer
3
Dissertations
1 Treffer
1
Other
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Lirias (Ku Leuven Association)
5 Treffer
5
Ingentaconnect
1 Treffer
1