Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: nid=1163758000



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1163758000
Person Schellhorn, Gerhard
Akademischer Grad Dr.
Quelle (Stand: 02.08.2018): https://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/schellhorn/
Zeit Lebensdaten: ca. 20./21. Jh.
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Mitarbeiter am Lehrstuhl für Software Engineering d. Universität Augsburg (08/2018)
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 104 Publikationen
  1. Verification of forward simulations with thread-local, step-local proof obligations
    Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2025
  2. A fully verified persistency library
    Bodenmüller, Stefan. - Augsburg : Universität Augsburg, 2024
  3. ...
Beteiligt an 12 Publikationen
  1. Go Where the Bugs Are
    Cham : Springer Nature Switzerland, Imprint: Springer, 2025, 1st ed. 2025
  2. Mechanized proofs of opacity: a comparison of two techniques
    Enthalten in Formal aspects of computing 21.8.2017: 1-29
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration