Suchergebnisse - Cheikhrouhou, Lassaad | OPAC THWS

1

Verifying a Chipcard-Based Biometric Identification Protocol in VSE von Cheikhrouhou, Lassaad, Rock, Georg, Stephan, Werner, Schwan, Matthias, Lassmann, Gunter

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Planning diagonalization proofs von Cheikhrouhou, Lassaad

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Automating Interactive Protocol Verification von Cheikhrouhou, Lassaad, Nonnengart, Andreas, Stephan, Werner, Koob, Frank, Rock, Georg

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Planning diagonalization proofs von Cheikhrouhou, Lassaad, Siekmann, Jörg

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Adaptation of declaratively represented methods in proof planning von Huang, Xiaorong, Kerber, Manfred, Cheikhrouhou, Lassaad

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Proof Development with Ωmega von Siekmann, Jörg, Benzmüller, Christoph, Brezhnev, Vladimir, Cheikhrouhou, Lassaad, Fiedler, Armin, Franke, Andreas, Horacek, Helmut, Kohlhase, Michael, Meier, Andreas, Melis, Erica, Moschner, Markus, Normann, Immanuel, Pollet, Martin, Sorge, Volker, Ullrich, Carsten, Wirth, Claus-Peter, Zimmer, Jürgen

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

The Mechanization of the Diagonalization Proof Strategy von Cheikhrouhou, Lassaad

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Planning Diagonalization Proofs von Cheikhrouhou, Lassaad

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

LΩUI : Lovely ΩMEGA User Interface von SIEKMANN, J, HESS, S, POLLET, M, SORGE, V, BENZMÜLLER, C, CHEIKHROUHOU, L, FIEDLER, A, HORACEK, H, KOHLHASE, M, KONRAD, K, MEIER, A, MELIS, E

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Ωmega: Towards a mathematical assistant von Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fehrer, Detlef, Fiedler, Armin, Huang, Xiaorong, Kerber, Manfred, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Schaarschmidt, Wolf, Siekmann, Jörg, Sorge, Volker

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Verisoft – secure biometric identification system von Rock, Georg, Lassmann, Gunter, Schwan, Mathias, Cheikhrouhou, Lassaad

Volltext

Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Adaptation of Declaratively Represented Methods in Proof Planning von Huang, Xiaorong

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: