Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam

> Publishers' series

Barkowsky, Matthias [Author]; Giese, Holger [Author]
Nr. 155: Triple graph grammars for multi-version models Matthias Barkowsky, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2023

Barkowsky, Matthias [Author]; Giese, Holger [Author]
Nr. 154: Modular and incremental global model management with extended generalized discrimination networks Matthias Barkowsky, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2023

Schwarzer, Ingo [Author]; Weiß-Saoumi, Said [Author]; Kittel, Roland [Author]; Friedrich, Tobias [Author]; Kaynak, Koraltan [Author]; Durak, Cemil [Author]; Isbarn, Andreas [Author]; Diestel, Jörg [Author]; Knittel, Jens [Author]; Franz, Marquart [Author]; Morra, Carlos [Author]; Stahnke, Susanne [Author]; Braband, Jens [Author]; Dittmann, Johannes [Author]; Griebel, Stephan [Author]; Krampf, Andreas [Author]; Link, Martin [Author]; Müller, Matthias [Author]; Radestock, Jens [Author]; Strub, Leo [Author]; Bleeke, Kai [Author]; Jehl, Leander [Author]; Kapitza, Rüdiger [Author]; Messadi, Ines [Author]; [...]
Nr. 152: RailChain Abschlussbericht Ingo Schwarzer, Said Weiß-Saoumi, Roland Kittel, Tobias Friedrich, Koraltan Kaynak, Cemil Durak, Andreas Isbarn, Jörg Diestel, Jens Knittel, Marquart Franz, Carlos Morra, Susanne Stahnke, Jens Braband, Johannes Dittmann, Stephan Griebel, Andreas Krampf, Martin Link, Matthias Müller, Jens Radestock, Leo Strub, Kai Bleeke, Leander Jehl, Rüdiger Kapitza, Ines Messadi, Stefan Schmidt, Signe Schwarz-Rüsch, Lukas Pirl, Robert Schmid, Dirk Friedenberger, Jossekin Jakob Beilharz, Arne Boockmeyer, Andreas Polze, Ralf Röhrig, Hendrik Schäbe, Ricky Thiermann
Potsdam: Universitätsverlag Potsdam, [2023]

Meinel, Christoph [Editor]; Polze, Andreas [Editor]; Strotmann, Rolf [Editor]; Seibold, Ulrich [Editor]; Rödszus, Kurt [Editor]; Müller, Jürgen [Editor]
Nr. 151: HPI future SOC lab proceedings 2018 Christoph Meinel, Andreas Polze, Karsten Beins, Rolf Strotmann, Ulrich Seibold, Kurt Rödszus, Jürgen Müller (Eds.)
Potsdam: Universitätsverlag Potsdam, [2023]

Weber, Benedikt [Author]
Nr. 153: Human pose estimation for decubitus prophylaxis Benedikt Weber
Potsdam: Universitätsverlag Potsdam, 2023

Meinel, Christoph [Author]; Galbas, Michael [Author]; Hagebölling, David [Author]
Nr. 156: Digitale Souveränität Erkenntnisse aus dem deutschen Bildungssektor Christoph Meinel, Michael Galbas, David Hagebölling
Potsdam: Universitätsverlag Potsdam, 2023

Grapentin, Andreas [Editor]; Tiedt, Clemens [Editor]; Polze, Andreas [Editor]
Nr. 142: Operating systems II - student projects Andreas Grapentin, Clemens Tiedt, Andreas Polze (eds.)
Potsdam: Universitätsverlag Potsdam, 2023

Meinel, Christoph [Author]; Galbas, Michael [Author]; Hagebölling, David [Author]
Nr. 157: Digital sovereignty insights from Germany's education sector Christoph Meinel, Michael Galbas, David Hagebölling
Potsdam: Universitätsverlag Potsdam, 2023

Freund, Rieke [Author]; Rätsch, Jan Philip [Author]; Hradilak, Franziska [Author]; Vidic, Benedikt [Author]; Heß, Oliver [Author]; Lißner, Nils [Author]; Wölert, Hendrik [Author]; Lincke, Jens [Author]; Beckmann, Tom [Author]; Hirschfeld, Robert [Author]
Nr. 149: Implementing a crowd-sourced picture archive for Bad Harzburg Rieke Freund, Jan Philip Rätsch, Franziska Hradilak, Benedikt Vidic, Oliver Heß, Nils Lißner, Hendrik Wölert, Jens Lincke, Tom Beckmann, Robert Hirschfeld
Potsdam: Universitätsverlag Potsdam, 2023

Schneider, Sven [Author]; Maximova, Maria [Author]; Giese, Holger [Author]
Nr. 143: Invariant analysis for multi-agent graph transformation systems using k-Induction Sven Schneider, Maria Maximova, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2022

Schneider, Sven [Author]; Maximova, Maria [Author]; Giese, Holger [Author]
Nr. 146: Probabilistic metric temporal graph logic Sven Schneider, Maria Maximova, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2022

Schneider, Sven [Author]; Maximova, Maria [Author]; Giese, Holger [Author]
Nr. 140: Probabilistic metric temporal graph logic Sven Schneider, Maria Maximova, Holger Giese
Potsdam: Universitätsverlag Potsdam, [2022]

Flotterer, Boris [Author]; Maximova, Maria [Author]; Schneider, Sven [Author]; Dyck, Johannes [Author]; Zöllner, Christian [Author]; Giese, Holger [Author]; Hély, Christelle [Author]; Gaucherel, Cédric [Author]
Nr. 147: Modeling and formal analysis of meta-ecosystems with dynamic structure using Graph Transformation Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
Potsdam: Universitätsverlag Potsdam, 2022

Eichenroth, Friedrich [Author]; Rein, Patrick [Author]; Hirschfeld, Robert [Author]
Nr. 135: Fast packrat parsing in a live programming environment improving left-recursion in parsing expression grammars Friedrich Eichenroth, Patrick Rein, Robert Hirschfeld
Potsdam: Universitätsverlag Potsdam, 2022

Dürsch, Falco [Author]; Rein, Patrick [Author]; Mattis, Toni [Author]; Hirschfeld, Robert [Author]
Nr. 145: Learning from failure a history-based, lightweight test prioritization technique connecting software changes to test failures Falco Dürsch, Patrick Rein, Toni Mattis, Robert Hirschfeld
Potsdam: Universitätsverlag Potsdam, [2022]

Maximova, Maria [Author]; Schneider, Sven [Author]; Giese, Holger [Author]
Nr. 134: Interval probabilistic timed graph transformation systems Maria Maximova, Sven Schneider, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2021

Maximova, Maria [Author]; Schneider, Sven [Author]; Giese, Holger [Author]
Nr. 133: Compositional analysis of probabilistic timed graph transformation systems Maria Maximova, Sven Schneider, Holger Giese
Potsdam: Universitätsverlag Potsdam, 2021

Meinel, Christoph [Author]; Döllner, Jürgen [Author]; Weske, Mathias [Author]; Polze, Andreas [Author]; Hirschfeld, Robert [Author]; Naumann, Felix [Author]; Giese, Holger [Author]; Baudisch, Patrick [Author]; Friedrich, Tobias [Author]; Böttinger, Erwin [Author]; Lippert, Christoph [Author]; Dörr, Christian [Author]; Lehmann, Anja [Author]; Renard, Bernhard [Author]; Rabl, Tilmann [Author]; Uebernickel, Falk [Author]; Arnrich, Bert [Author]; Hölzle, Katharina [Author]
Nr. 138: Proceedings of the HPI research school on service-oriented systems engineering 2020 fall retreat Christoph Meinel, Jürgen Döllner, Mathias Weske, Andreas Polze, Robert Hirschfeld, Felix Naumann, Holger Giese, Patrick Baudisch, Tobias Friedrich, Erwin Böttinger, Christoph Lippert, Christian Dörr, Anja Lehmann, Bernhard Renard, Tilmann Rabl, Falk Uebernickel, Bert Arnrich, Katharina Hölzle
Potsdam: Universitätsverlag Potsdam, 2021

Seitz, Klara [Author]; Lincke, Jens [Author]; Rein, Patrick [Author]; Hirschfeld, Robert [Author]
Nr. 137: Language and tool support for 3D crochet patterns virtual crochet with a graph structure Klara Seitz, Jens Lincke, Patrick Rein, Robert Hirschfeld
Potsdam: Universitätsverlag Potsdam, 2021

Bartz, Christian [Author]; Krestel, Ralf [Author]
Nr. 139: Deep learning for computer vision in the art domain proceedings of the master seminar on practical introduction to deep learning for computer vision : HPI WS 20/21 Christian Bartz, Ralf Krestel
Potsdam: Universitätsverlag Potsdam, 2021

Niephaus, Fabio [Author]; Felgentreff, Tim [Author]; Hirschfeld, Robert [Author]
Nr. 120: Squimera a live, Smalltalk-based IDE for dynamic programming languages Fabio Niephaus, Tim Felgentreff, Robert Hirschfeld
Potsdam: Universitätsverlag Potsdam, 2018

Search in field:

Recently searched for: