Semantic Domains for Combining Probability and Non-Determinism von Tix, Regina, Keimel, Klaus, Plotkin, Gordon

Volltext

Some results on Hahn–Banach-type theorems for continuous D-cones von Tix, Regina

Volltext

RETRACTED: Semantic Domains for Combining Probability and Non-Determinism von Tix, Regina, Keimel, Klaus, Plotkin, Gordon

Volltext

The Troublesome Probabilistic Powerdomain von Jung, Achim, Tix, Regina

Volltext

Convex Power Constructions for Continuous D-Cones von Tix, Regina

Volltext

Chip card or security module production method in which the chip producer writes an authentication code, such as a cryptographic key, into the chip's non-volatile memory so that th... von BORNEZ, GUIDO, KRAUS, HANS PETER, WOLTER, THOMAS, PUTTMANN, HERMANN, RICHTER, HANS GEORG, TIX, REGINA

Volltext bestellen

Method of producing electronic security module e.g. for payment card, involves using test value stored in smart card for testing data authentication von KRAUS, HANS PETER, WOLTER, THOMAS, RICHTER, HANS GEORG, BORNEIS, GUIDO, PUETTMANN, HERMANN, TIX, REGINA

Volltext bestellen

Manufacturing method for smart card as security module, has storage area divided into three zones each having special function von KRAUS, HANS PETER, WOLTER, THOMAS, RICHTER, HANS GEORG, BORNEIS, GUIDO, PUETTMANN, HERMANN, TIX, REGINA

Volltext bestellen

Verfahren zum Herstellen einer Chipkarte und Chipkarte von KRAUS, HANS PETER, WOLTER, THOMAS, RICHTER, HANS GEORG, BORNEIS, GUIDO, PUETTMANN, HERMANN, TIX, REGINA

Volltext bestellen

Verfahren zum Herstellen eines elektronischen Sicherheitsmoduls von KRAUS, HANS PETER, WOLTER, THOMAS, RICHTER, HANS GEORG, BORNEIS, GUIDO, PUETTMANN, HERMANN, TIX, REGINA

Volltext bestellen