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.
 
Neuigkeiten Am Donnerstag, 17. September 2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.
 
 

Ergebnis der Suche nach: nid=1211571491



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1211571491
Person Struth, Georg
Akademischer Grad Prof. Dr.
Geschlecht männlich
Quelle LCAuth
(Stand: 05.06.2020): https://www.sheffield.ac.uk/dcs/people/academic/georg-struth#gsc.tab=0
Zeit Lebensdaten: ca. 20. / 21. Jh.
Land Deutschland (XA-DE); Großbritannien (XA-GB)
Beruf(e) Informatiker
Physiker
Hochschullehrer
Weitere Angaben Mitarbeiter am Institut für Informatik d. Univ. Augsburg; seit 2005 an d. University of Sheffield
Beziehungen zu Organisationen Universität Augsburg. Institut für Informatik
University of Sheffield. Department of Computer Science
Systematik 30p Personen zu Informatik, Datenverarbeitung ; 21.5p Personen zu Physik ; 4.7p Personen zu Philosophie
Typ Person (piz)
Autor von 46 Publikationen
  1. A Kleene Theorem for Higher-Dimensional Automata
    Fahrenberg, Uli. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
  2. Predicate Transformer Semantics for Hybrid Systems
    Enthalten in Journal of automated reasoning 31.10.2021: 1-47
  3. ...
Beteiligt an 7 Publikationen
  1. Relational and Algebraic Methods in Computer Science
    Cham : Springer International Publishing, 2017, 1st edition 2017
  2. Simplifying Pointer Kleene algebra
    Dang, Han Hing. - Augsburg : Universität Augsburg, 2011
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration