Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Samstag, 21. September, ist die Deutsche Nationalbibliothek in Leipzig geschlossen.//On Saturday, 21 September, the German National Library in Leipzig will be closed.
 
 

Ergebnis der Suche nach: nid=1215708114



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1215708114
Person Wehrheim, Heike
Akademischer Grad Prof. Dr.
Quelle Homepage (Stand: 09.06.2021): https://uol.de/informatik/formale-methoden/team/heike-wehrheim
Land Deutschland (XA-DE)
Beruf(e) Informatikerin
Weitere Angaben Promotion, Univ. Hildesheim, 1996; Habilitation, Univ. Oldenburg, 2002; seit 2021 Professur für 'Theoretische Informatik: Formale Methoden' am Institut für Informatik der Univ. Oldenburg
Beziehungen zu Organisationen Universität Hildesheim
Carl von Ossietzky Universität Oldenburg. Department für Informatik
Universität Paderborn. Fakultät für Elektrotechnik, Informatik und Mathematik
Typ Person (piz)
Autor von 6 Publikationen
  1. A fully verified persistency library
    Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2024
  2. Property-Driven Black-Box Testing of Numeric Functions
    Sharma, Arnab. - Ludwig-Maximilians-Universität München, 2023
  3. ...
Beteiligt an 1 Publikation
  1. Testing of machine learning algorithms and models
    Sharma, Arnab. - Oldenburg : BIS der Universität Oldenburg, 2023





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration