Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
Neuigkeiten Neue Servicezeiten am Standort Leipzig ab dem 10.08.2026 Servicetheke, Musiklesesaal und Museumslesesaal: Montag bis Freitag 10-18 Uhr Samstag 10-16 Uhr
 
Neuigkeiten Ab dem 10.08.2026 schließen Musiklesesaal und Museumslesesaal samstags um 16 Uhr.
 
 

Ergebnis der Suche nach: nid=122419392X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/122419392X
Person Barthe, Gilles
Geschlecht männlich
Quelle Internet
Zeit Lebensdaten: 1967-
Land Frankreich (XA-FR)
Geografischer Bezug Wirkungsort: Nizza
Wirkungsort: Madrid
Wirkungsort: Bochum
Beruf(e) Informatiker
Mathematiker
Weitere Angaben Gründungsdirektor des Max-Planck-Instituts für Cybersicherheit und Schutz der Privatsphäre in Bochum
Typ Person (piz)
Autor von 14 Publikationen
  1. Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
    Barthe, Gilles. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026
  2. Let’s DOIT: Using Intel’s Extended HW/SW Contract for Secure Compilation of Crypto Code
    Enthalten in IACR transactions on cryptographic hardware and embedded systems Bd. 2025, 2025, Nr. 3
  3. ...
Beteiligt an 3 Publikationen
  1. Foundations of probabilistic programming
    Barthe, Gilles. - Aachen : Universitätsbibliothek der RWTH Aachen, 2020
  2. Construction and analysis of safe, secure, and interoperable smart devices
    Berlin : Springer, 2006
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration