Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die 2,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
Neuigkeiten Am Mittwoch, 29. März 2023 steht die Betaversion des Katalogs wegen Wartungsarbeiten von 9 bis ca. 11 Uhr nicht zur Verfügung.
 
 

Ergebnis der Suche nach: nid=173277950



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/173277950
Person Giese, Holger
Akademischer Grad Dr.
Geschlecht männlich
Andere Namen Giese, Holger Burkhard
Quelle Homepage: http://www.hpi.uni-potsdam.de/giese/personen/prof_dr_holger_giese.html
Zeit Lebensdaten: 1970-
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Ingenieur
Hochschullehrer
Beziehungen zu Organisationen Universität Paderborn (Juniorprofessor für Objektorientierte Spezifikation verteilter Systeme) (2001-2006)
Hasso-Plattner-Institut für Softwaresystemtechnik (Professur Systemanalyse und Modellierung) (2006-)
Typ Person (piz)
Autor von 59 Publikationen
  1. Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
    Schneider, Sven. - Potsdam : Universität Potsdam, 2022
  2. Invariant analysis for multi-agent graph transformation systems using k-induction
    Schneider, Sven. - Potsdam : Universitätsverlag Potsdam, 2022
  3. ...
Beteiligt an 31 Publikationen
  1. Verification of graph transformation systems with k-inductive invariants
    Dyck, Johannes. - Potsdam : Universität Potsdam, 2020
  2. A framework for incremental view graph maintenance
    Beyhl, Thomas. - Potsdam : Universität Potsdam, 2018
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration