@book{Auge2019,
  author    = {Auge, Thomas},
  title     = {Reflexivit{\"a}t von Studierenden als Teil der Qualit{\"a}tsoffensive PSI},
  series = {Lern dich gl{\"u}cklich - Arbeiten zum prozessorientierten Lehren und Lernen},
  journal   = {Lern dich gl{\"u}cklich - Arbeiten zum prozessorientierten Lehren und Lernen},
  number    = {2},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  issn      = {2568-4515},
  doi       = {10.25932/publishup-43091},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-430919},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {xii, 74},
  year      = {2019},
  abstract  = {Die eigene T{\"a}tigkeit reflexiv in den Blick zu nehmen ist eine wichtige Aufgabe von Lehrer*innen im Berufsalltag. Reflexionskompetenz ist eine entscheidende Voraussetzung, um f{\"u}r sich selbst und die Gestaltung von Lehr-Lernprozessen sinnvolle Schl{\"u}sse ziehen zu k{\"o}nnen. Dies ist ein Grund, warum schon w{\"a}hrend des Praxissemesters, in dem Studierende ihre ersten l{\"a}ngeren praktischen Erfahrungen als Lehrkr{\"a}fte sammeln, viel Wert auf die F{\"o}rderung und Entwicklung reflexiver F{\"a}higkeiten gelegt wird. Herr Thomas Auge widmet sich mit seiner Arbeit der zentralen Frage, inwieweit und in welcher Form Studierende bereits im Praxissemester sich und ihre eigene Arbeit reflexiv in den Blick nehmen. Als Datenmaterial dienten von Studierenden schriftlich angefertigte Wochenr{\"u}ckblicke, welche im Rahmen des Praxissemesters online auf einer der Universit{\"a}t Potsdam entwickelten Plattform (padup.uni-potsdam.de) angefertigt wurden. Die Daten wurden nach der Methode der Inhaltsanalyse qualitativ ausgewertet. Neben einer detaillierten fachlichen Auseinandersetzung mit dem Thema „Reflexionskompetenz" bietet die Arbeit einen vertieften Einblick in die Art und Weise, wie Studierende auf ihren eigenen Unterricht schauen. Die Ergebnisse offenbaren einen weiteren Handlungsbedarf hinsichtlich der F{\"o}rderung von Reflexionskompetenzen in der Lehramtsausbildung.},
  language  = {de}
}
@book{OlsenStiebelsBierwischetal.2019,
  author    = {Olsen, Susan and Stiebels, Barbara and Bierwisch, Manfred and Zimmermann, Ilse and Cavar, Damir and Georgi, Doreen and Bacskai-Atkari, Julia and Alexiadou, Artemis and Błaszczak, Joanna and M{\"u}ller, Gereon and Šim{\´i}k, Radek and Meinunger, Andr{\´e} and Thiersch, Craig and Arnhold, Anja and F{\´e}ry, Caroline and Bayer, Josef and Titov, Elena and Fominyam, Henry and Tran, Thuan and Bornkessel-Schlesewsky, Ina D. and Schlesewsky, Matthias and Zimmermann, Malte and H{\"a}ussler, Jana and Mucha, Anne and Schmidt, Andreas and Weskott, Thomas and Wierzba, Marta and Stede, Manfred and Skopeteas, Stavros and Gafos, Adamantios I. and Haider, Hubert and Wunderlich, Dieter and Staudacher, Peter and Rauh, Gisa},
  title     = {Of Trees and Birds},
  editor    = {Brown, Jessica M. M. and Schmidt, Andreas and Wierzba, Marta},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-457-9},
  doi       = {10.25932/publishup-42654},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-426542},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {xvi, 435},
  year      = {2019},
  abstract  = {Gisbert Fanselow's work has been invaluable and inspiring to many ­researchers working on syntax, morphology, and information ­structure, both from a ­theoretical and from an experimental perspective. This ­volume comprises a collection of articles dedicated to Gisbert on the occasion of his 60th birthday, covering a range of topics from these areas and beyond. The contributions have in ­common that in a broad sense they have to do with language structures (and thus trees), and that in a more specific sense they have to do with birds. They thus cover two of Gisbert's major interests in- and outside of the linguistic world (and ­perhaps even at the interface).},
  language  = {en}
}
@book{Kayser2019,
  author    = {Kayser, Leonie},
  title     = {Der Universit{\"a}tscampus Golm},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-451-7},
  doi       = {10.25932/publishup-42437},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-424372},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2019},
  abstract  = {Westlich der Potsdamer Innenstadt liegt der Campus Golm, der gr{\"o}ßte Standort der Universit{\"a}t Potsdam. Die sehr verschiedenen Geb{\"a}ude erz{\"a}hlen von den zahlreichen Institutionen, die im Laufe der Zeit auf dem Areal angesiedelt waren: Ab Mitte der 1930er Jahre befand sich hier die Walther-Wever-Kaserne, in der ab 1943 die Luftnachrichtenabteilung Oberbefehlshaber der Luftwaffe untergebracht war. 1951 zog eine Ausbildungseinrichtung des Ministeriums f{\"u}r Staatssicherheit ein, die - unter verschiedenen Namen - bis 1989 bestand. Im Juli 1991 {\"u}bernahm die neu gegr{\"u}ndete Universit{\"a}t Potsdam die Liegenschaften, die heute Teil des Wissenschaftsparks Golm sind. Das Buch f{\"u}hrt durch die Geschichte des Standortes und l{\"a}dt ein zu einem Spaziergang {\"u}ber den heutigen Campus der Universit{\"a}t. Mit {\"u}ber 110 Fotos und einem detaillierten Lageplan.},
  language  = {de}
}
@book{FuhrmannSchubarthSchulzeReicheltetal.2019,
  author    = {Fuhrmann, Michaela and Schubarth, Wilfried and Schulze-Reichelt, Friederike and Mauermeister, Sylvi and Seidel, Andreas and Hartmann, Nina and Erdmann, Melinda and Apostolow, Benjamin and Wagner, Laura and Berndt, Sarah and Wippermann, Melanie and Ratzlaff, Olaf and Lumpe, Matthias and Kirjuchina, Ljuba and Rost, Sophia and Zurek, Peter Paul and Faaß, Marcel and Schellhorn, Sebastian and Frank, Mario and Kreitz, Christoph and Wagner, Nelli and Jenneck, Julia and Kleemann, Katrin and Vock, Miriam and Schr{\"o}der, Christian and Erdmann, Kathrin and Koziol, Matthias and Meißner, Marlen and Dibiasi, Anna and Unger, Martin and Piskunova, Elena V. and Bahmutskiy, Andrey E. and Bessonova, Ekatarina A. and Borovik, Ludmila K.},
  title     = {Alles auf Anfang!},
  series = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  number    = {4},
  editor    = {Schubarth, Wilfried and Mauermeister, Sylvi and Schulze-Reichelt, Friederike and Seidel, Andreas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-452-4},
  issn      = {2192-1075},
  doi       = {10.25932/publishup-42296},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-422965},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {373},
  year      = {2019},
  abstract  = {Im Zuge der Bologna-Reform ist an Hochschulen vieles in Bewegung gekommen. Studium und Lehre sind st{\"a}rker ins Blickfeld ger{\"u}ckt. Dabei kommt der Studieneingangsphase besondere Bedeutung zu, werden doch hier die Weichen f{\"u}r ein erfolgreiches Studium gestellt. Deshalb ist es verst{\"a}ndlich, dass die Hauptanstrengungen der Hochschulen auf den Studieneingang gerichtet sind - ganz nach dem Motto: „Auf den Anfang kommt es an!". Konsens herrscht dahingehend, dass der Studieneingang neu zu gestalten ist, doch beim „Wie?" gibt es unterschiedliche Antworten. Zugleich wird immer deutlicher, dass eine wirksame Neugestaltung der Eingangsphase nur mit einer umfassenden Reform des Studiums gelingen kann. Ziel des vierten Bandes der Potsdamer Beitr{\"a}ge zur Hochschulforschung ist es, eine Zwischenbilanz der Debatte zum Studieneingang zu ziehen. Auf der Basis empirischer Studien werden unterschiedliche Perspektiven auf den Studieneingang eingenommen und Empfehlungen zur Optimierung des Studieneingangs abgeleitet. Die zahlreichen Untersuchungsergebnisse Potsdamer Forschergruppen werden durch weitere nationale sowie internationale Perspektiven erg{\"a}nzt. Der Band richtet sich an alle, die sich f{\"u}r die Entwicklung an Hochschulen interessieren.},
  language  = {de}
}
@book{MeinelRenzLuderichetal.2019,
  author    = {Meinel, Christoph and Renz, Jan and Luderich, Matthias and Malyska, Vivien and Kaiser, Konstantin and Oberl{\"a}nder, Arne},
  title     = {Die HPI Schul-Cloud},
  number    = {125},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-453-1},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-42306},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-423062},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {57},
  year      = {2019},
  abstract  = {Die digitale Transformation durchdringt alle gesellschaftlichen Ebenen und Felder, nicht zuletzt auch das Bildungssystem. Dieses ist auf die Ver{\"a}nderungen kaum vorbereitet und begegnet ihnen vor allem auf Basis des Eigenengagements seiner Lehrer*innen. Strukturelle Reaktionen auf den Mangel an qualitativ hochwertigen Fortbildungen, auf schlecht ausgestattete Unterrichtsr{\"a}ume und nicht professionell gewartete Computersysteme gibt es erst seit kurzem. Doch auch wenn Beharrungskr{\"a}fte unter P{\"a}dagog*innen verbreitet sind, erfordert die Transformation des Systems Schule auch eine neue Mentalit{\"a}t und neue Arbeits- und Kooperationsformen. Zeitgem{\"a}ßer Unterricht ben{\"o}tigt moderne Technologie und zeitgem{\"a}ße IT-Architekturen. Nur Systeme, die f{\"u}r Lehrer*innen und Sch{\"u}ler*innen problemlos verf{\"u}gbar, benutzerfreundlich zu bedienen und didaktisch flexibel einsetzbar sind, finden in Schulen Akzeptanz. Hierf{\"u}r haben wir die HPI Schul-Cloud entwickelt. Sie erm{\"o}glicht den einfachen Zugang zu neuesten, professionell gewarteten Anwendungen, verschiedensten digitalen Medien, die Vernetzung verschiedener Lernorte und den rechtssicheren Einsatz von Kommunikations- und Kollaborationstools. Die Entwicklung der HPI Schul-Cloud ist umso notwendiger, als dass rechtliche Anforderungen - insbesondere aus der Datenschutzgrundverordnung der EU herr{\"u}hrend - den Einsatz von Cloud-Anwendungen, die in der Arbeitswelt verbreitet sind, in Schulen unm{\"o}glich machen. Im Bildungsbereich verbreitete Anwendungen sind gr{\"o}ßtenteils technisch veraltet und nicht benutzerfreundlich. Dies n{\"o}tigt die Bundesl{\"a}nder zu kostspieligen Eigenentwicklungen mit Aufw{\"a}nden im zweistelligen Millionenbereich - Projekte die teilweise gescheitert sind. Dank der modularen Micro-Service-Architektur k{\"o}nnen die Bundesl{\"a}nder zuk{\"u}nftig auf die HPI Schul-Cloud als technische Grundlage f{\"u}r ihre Eigen- oder Gemeinschaftsprojekte zur{\"u}ckgreifen. Hierf{\"u}r gilt es, eine nachhaltige Struktur f{\"u}r die Weiterentwicklung der Open-Source-Software HPI Schul-Cloud zu schaffen. Dieser Bericht beschreibt den Entwicklungsstand und die weiteren Perspektiven des Projekts HPI Schul-Cloud im Januar 2019. 96 Schulen deutschlandweit nutzen die HPI Schul-Cloud, bereitgestellt durch das Hasso-Plattner-Institut. Weitere 45 Schulen und Studienseminare nutzen die Nieders{\"a}chsische Bildungscloud, die technisch auf der HPI Schul-Cloud basiert. Das vom Bundesministerium f{\"u}r Bildung und Forschung gef{\"o}rderte Projekt l{\"a}uft in der gegenw{\"a}rtigen Roll-Out-Phase bis zum 31. Juli 2021. Gemeinsam mit unserem Kooperationspartner MINT-EC streben wir an, die HPI Schul-Cloud m{\"o}glichst an allen Schulen des Netzwerks einzusetzen.},
  language  = {de}
}
@book{HoemkeForstKloeckneretal.2019,
  author    = {H{\"o}mke, Nicola and Forst, Alexandra and Kl{\"o}ckner, Anja and Kr{\"u}ssel, Hermann and Ryndin, Thilo and H{\"o}rty, Markus and Becher, Crischan and Ludwig, Viktoria and Herholc, Gloria and Stolpe, Franziska},
  title     = {www.BrAnD.2.Begegnung mit dem Fremden. Die R{\"o}mer in den Provinzen},
  series = {Potsdamer Lateintage},
  journal   = {Potsdamer Lateintage},
  number    = {11},
  editor    = {H{\"o}mke, Nicola and Forst, Alexandra},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-439-5},
  issn      = {1860-5206},
  doi       = {10.25932/publishup-41420},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414203},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {147},
  year      = {2019},
  abstract  = {„Begegnung mit dem Fremden" ist das Thema einer Zusatzrunde des zweiten Brandenburger Antike-Denkwerks, das Lateinsch{\"u}ler ausgew{\"a}hlter Brandenburger Gymnasien f{\"u}r die Antike begeistern will und von der Robert Bosch Stiftung gef{\"o}rdert wird. Der vorliegende Band enth{\"a}lt die Impulsvortr{\"a}ge des 13. Potsdamer Lateintages im Oktober und des Sonderlateintages im Dezember 2017: Prof. Dr. Anja Kl{\"o}ckner er{\"o}rtert den Einfluss des Mithras-Kults auf die r{\"o}misch-germanische Bev{\"o}lkerung am Limes; PD Dr. Nicola H{\"o}mke stellt Originalbriefe r{\"o}mischer Soldaten vor, die vom nordenglischen Hadrianswall stammen, wo Legion{\"a}re und keltische Einheimische aufeinandertrafen. Dr. Hermann Kr{\"u}ssel pr{\"a}sentiert anhand des Poblicius-Denkmals seine Erkenntnisse zum Leben im augusteischen K{\"o}ln. Außerdem sind die kreativen und fachlich fundierten Pr{\"a}sentationen dokumentiert, die die Sch{\"u}ler zusammen mit ihren studentischen Mentoren im Laufe mehrerer Monate erarbeiteten und auf einem eigenen Sch{\"u}lerkongress im M{\"a}rz 2018 vorstellten.},
  language  = {de}
}
@book{GeisslerGruenbergTrzaska2018,
  author    = {Geißler-Gr{\"u}nberg, Anke and Trzaska, Lisa},
  title     = {NS-Raubgut},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-445-6},
  doi       = {10.25932/publishup-41607},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-416079},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {107},
  year      = {2018},
  abstract  = {NS-Raubgut in der Universit{\"a}tsbibliothek Potsdam? Das Gr{\"u}ndungsdatum 1991 der dazugeh{\"o}rigen Universit{\"a}t ließe eigentlich nur den Schluss zu, diese Frage mit „Nein" zu beantworten. Dennoch wurden hier B{\"u}cher, die im Verdacht standen zwischen 1933 und 1945 verfolgungsbedingt entzogen worden zu sein, gefunden. Ein vom Deutschen Zentrum Kulturgutverluste gef{\"o}rdertes Projekt untersuchte daraufhin mehr als 6.000 B{\"u}cher des judaistischen Buchbestandes. Die vorliegende Publikation blickt auf das Entstehen dieser Sammlung zur{\"u}ck, erkl{\"a}rt die einzelnen Schritte der Provenienzrecherche und zeigt deren Ergebnisse anhand ausgew{\"a}hlter Beispiele, die gleichsam die breite Palette der zu bew{\"a}ltigenden Herausforderungen veranschaulicht.},
  language  = {de}
}
@book{AckermannAhlgrimmApelojgetal.2018,
  author    = {Ackermann, Peter and Ahlgrimm, Frederik and Apelojg, Benjamin and B{\"o}rnert-Ringleb, Moritz and Borowski, Andreas and Ehlert, Antje and Eichler, Constanze and Frohn, Julia and Gehrmann, Marie-Luise and Gerlach, Erin and Goetz, Ilka and Goral, Johanna and Gronostaj, Anna and Grubert, Jana and G{\"u}lery{\"u}z, Burak and Hacke, Alexander and Heck, Sebastian and Hermanns, Jolanda and Hochmuth, J{\"o}rg and Jennek, Julia and Jostes, Brigitte and Jurczok, Anne and Kleemann, Katrin and Kortenkamp, Ulrich and Krauskopf, Karsten and K{\"u}choll, Denise and Kulawiak, Pawel R. and Lauterbach, Wolfgang and Lazarides, Rebecca and Linka, Tim and L{\"o}weke, Sebastian and Lohse-Bossenz, Hendrik and Maar, Verena and Nowak, Anna and Ratzlaff, Olaf and Reitz-Koncebovski, Karen and Rother, Stefanie and Scherreiks, Lynn and Schroeder, Christoph and Schwalbe, Anja and Schwill, Andreas and Tosch, Frank and Vock, Miriam and Wagner, Luisa and Westphal, Andrea and Wilbert, J{\"u}rgen},
  title     = {PSI-Potsdam},
  series = {Potsdamer Beitr{\"a}ge zur Lehrerbildung und Bildungsforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Lehrerbildung und Bildungsforschung},
  number    = {1},
  editor    = {Borowski, Andreas and Ehlert, Antje and Prechtl, Helmut},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-442-5},
  issn      = {2626-3556},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414542},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {354},
  year      = {2018},
  abstract  = {In Brandenburg kommt der Universit{\"a}t Potsdam eine besondere Rolle zu: Sie ist die einzige, an der zuk{\"u}nftige Lehrerinnen und Lehrer die erste Phase ihres Werdegangs - das Lehramtsstudium - absolvieren k{\"o}nnen. Vor diesem Hintergrund wurde bereits kurz nach der Gr{\"u}ndung im Jahr 1991 das „Potsdamer Modell der Lehrerbildung" entwickelt. Dieses Modell strebt fortlaufend eine enge Verzahnung von Theorie und Praxis {\"u}ber das gesamte Studium hinweg an und bindet hierf{\"u}r die schulpraktischen Studienanteile in besonderer Weise ein. Eine erneute St{\"a}rkung erfuhr die Lehrerbildung im Dezember 2014 mit der Gr{\"u}ndung des Zentrums f{\"u}r Lehrerbildung und Bildungsforschung (ZeLB). Aus der koordinierenden Arbeit des Zentrums entstand das fakult{\"a}ts{\"u}bergreifende Projekt „Professionalisierung - Schulpraktische Studien - Inklusion" (PSI-Potsdam) das im Rahmen der Qualit{\"a}tsoffensive Lehrerbildung des Bundesministeriums f{\"u}r Bildung und Forschung erfolgreich gef{\"o}rdert wurde (2015-2018) und dessen Verl{\"a}ngerung (2019-2023) bewilligt ist. Der vorliegende Band vermittelt in den drei großen Kapiteln „Erhebungsinstrumente", „Seminarkonzepte" und „Vernetzungen" einen {\"U}berblick {\"u}ber einige der praxisnahen Forschungszug{\"a}nge, hochschuldidaktischen Ans{\"a}tze und Strategien zur Vernetzung innerhalb der Lehrerbildung, die im Rahmen von PSI-Potsdam entwickelt und umgesetzt wurden. Die Beitr{\"a}ge wurden mit dem Ziel verfasst, Kolleginnen und Kollegen an Universit{\"a}ten und Hochschulen, Akteur_innen des Vorbereitungsdiensts sowie der Fort- und Weiterbildung von Lehrkr{\"a}ften m{\"o}glichst konkrete Einblicke zu gew{\"a}hren. Unter der Herausgeberschaft von Prof. Dr. Andreas Borowski (Fachdidaktik Physik), Prof. Dr. Antje Ehlert (Inklusionsp{\"a}dagogik mit dem F{\"o}rderschwerpunkt Lernen) und Prof. Dr. Helmut Prechtl (Fachdidaktik Biologie) vereinen sich Autor_innen mit breit gestreuter fachdidaktischer und bildungswissenschaftlicher Expertise.},
  language  = {de}
}
@book{MeinelGayvoronskayaSchnjakin2018,
  author    = {Meinel, Christoph and Gayvoronskaya, Tatiana and Schnjakin, Maxim},
  title     = {Blockchain},
  number    = {124},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-441-8},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414525},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {102},
  year      = {2018},
  abstract  = {The term blockchain has recently become a buzzword, but only few know what exactly lies behind this approach. According to a survey, issued in the first quarter of 2017, the term is only known by 35 percent of German medium-sized enterprise representatives. However, the blockchain technology is very interesting for the mass media because of its rapid development and global capturing of different markets. For example, many see blockchain technology either as an all-purpose weapon— which only a few have access to—or as a hacker technology for secret deals in the darknet. The innovation of blockchain technology is found in its successful combination of already existing approaches: such as decentralized networks, cryptography, and consensus models. This innovative concept makes it possible to exchange values in a decentralized system. At the same time, there is no requirement for trust between its nodes (e.g. users). With this study the Hasso Plattner Institute would like to help readers form their own opinion about blockchain technology, and to distinguish between truly innovative properties and hype. The authors of the present study analyze the positive and negative properties of the blockchain architecture and suggest possible solutions, which can contribute to the efficient use of the technology. We recommend that every company define a clear target for the intended application, which is achievable with a reasonable cost-benefit ration, before deciding on this technology. Both the possibilities and the limitations of blockchain technology need to be considered. The relevant steps that must be taken in this respect are summarized /summed up for the reader in this study. Furthermore, this study elaborates on urgent problems such as the scalability of the blockchain, appropriate consensus algorithm and security, including various types of possible attacks and their countermeasures. New blockchains, for example, run the risk of reducing security, as changes to existing technology can lead to lacks in the security and failures. After discussing the innovative properties and problems of the blockchain technology, its implementation is discussed. There are a lot of implementation opportunities for companies available who are interested in the blockchain realization. The numerous applications have either their own blockchain as a basis or use existing and widespread blockchain systems. Various consortia and projects offer "blockchain-as-a-service{\"a}nd help other companies to develop, test and deploy their own applications. This study gives a detailed overview of diverse relevant applications and projects in the field of blockchain technology. As this technology is still a relatively young and fast developing approach, it still lacks uniform standards to allow the cooperation of different systems and to which all developers can adhere. Currently, developers are orienting themselves to Bitcoin, Ethereum and Hyperledger systems, which serve as the basis for many other blockchain applications. The goal is to give readers a clear and comprehensive overview of blockchain technology and its capabilities.},
  language  = {en}
}
@book{GieseMaximovaSakizloglouetal.2018,
  author    = {Giese, Holger and Maximova, Maria and Sakizloglou, Lucas and Schneider, Sven},
  title     = {Metric temporal graph logic over typed attributed graphs},
  number    = {123},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-433-3},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-411351},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {29},
  year      = {2018},
  abstract  = {Various kinds of typed attributed graphs are used to represent states of systems from a broad range of domains. For dynamic systems, established formalisms such as graph transformations provide a formal model for defining state sequences. We consider the extended case where time elapses between states and introduce a logic to reason about these sequences. With this logic we express properties on the structure and attributes of states as well as on the temporal occurrence of states that are related by their inner structure, which no formal logic over graphs accomplishes concisely so far. Firstly, we introduce graphs with history by equipping every graph element with the timestamp of its creation and, if applicable, its deletion. Secondly, we define a logic on graphs by integrating the temporal operator until into the well-established logic of nested graph conditions. Thirdly, we prove that our logic is equally expressive to nested graph conditions by providing a suitable reduction. Finally, the implementation of this reduction allows for the tool-based analysis of metric temporal properties for state sequences.},
  language  = {en}
}
@book{vanderWaltOdunAyoBastianetal.2018,
  author    = {van der Walt, Estee and Odun-Ayo, Isaac and Bastian, Matthias and Eldin Elsaid, Mohamed Esam},
  title     = {Proceedings of the Fifth HPI Cloud Symposium "Operating the Cloud" 2017},
  number    = {122},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-432-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-411330},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {70},
  year      = {2018},
  abstract  = {Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Operating the Cloud. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. Operating the Cloud aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. In these proceedings, the results of the fifth HPI cloud symposium Operating the Cloud 2017 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2018.},
  language  = {en}
}
@book{BossenLippJanketal.2018,
  author    = {Bossen, Anja and Lipp, Alexander and Jank, Birgit and Wysujack, Jan and Godau, Marc and Haacker, Frances and Wagner, Robert and M{\"o}hle, Jutta and Nikolayeva, Natalija},
  title     = {Musikarbeit im Kontext von Inklusion und Integration},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {6/2},
  editor    = {Bossen, Anja and Jank, Birgit},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-436-4},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-413625},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {218},
  year      = {2018},
  abstract  = {Die zweiteilige Publikation „Musikarbeit im Kontext von Inklusion und Integration" der Potsdamer Schriftenreihe zur Musikp{\"a}dagogik beinhaltet Ertr{\"a}ge aus Veranstaltungen und Qualifikationsarbeiten mehrerer Jahre, die am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik der Universit{\"a}t Potsdam entstanden sind. Beide B{\"a}nde enthalten neben theoretischen Beitr{\"a}gen auch Beitr{\"a}ge aus Praxis und Ausbildung in verschiedenen Berufsfeldern, die das besondere Potenzial musikalischer Bet{\"a}tigung f{\"u}r Inklusion und Integration anhand von best-practise-Beispielen darstellen und sind somit als umfassendes Studienmaterial konzipiert. Der zweite Band erweitert den im ersten Teil auf die Potenziale von Musik f{\"u}r Inklusion gesetzten Schwerpunkt um die Darstellung integrativer und inklusiver Potenziale einzelner ausgew{\"a}hlter musikalischer Aktivit{\"a}ten und Umgangsweisen mit Musik. Stand im ersten Band die Dokumentation der 2013 am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik durchgef{\"u}hrten internationalen Fachtagung „Musikarbeit im Kontext von Inklusion und Integration" im Fokus, schließt der zweite Teil mit der Dokumentation eines interdisziplin{\"a}r und mehrperspektivisch angelegten Projektseminars an, das im Wintersemester 2016/2017 unter der Leitung von Prof. Dr. Birgit Jank durchgef{\"u}hrt wurde. Dieses Seminar setzte neue Impulse f{\"u}r die Entstehung weiterer musikp{\"a}dagogischer Forschungsarbeiten, aus denen konkrete Handlungsempfehlungen f{\"u}r die Musikarbeit in integrativen und inklusiven Unterrichtssettings abgeleitet werden k{\"o}nnen.},
  language  = {de}
}
@book{WeissMuerbeZichyetal.2018,
  author    = {Weiß, Norman and M{\"u}rbe, Ulrike and Zichy, Michael and Jeutner, Valentin and Heinrichs, Bert and Risse, Verena and Brunozzi, Philippe and Gerson, Oliver Harry and Martinsen, Franziska and Link, Jochen and Pollmann, Arnd and Wildfeuer, Dennis and Lauk{\"o}tter, Sebastian and John, Emanuel and Baranzke, Heike and Schoellner, Karsten and Sch{\"u}es, Christina and Koppe, David},
  title     = {Philosophie der Menschenrechte in Theorie und Praxis},
  series = {Studien zu Grund- und Menschenrechten},
  journal   = {Studien zu Grund- und Menschenrechten},
  editor    = {M{\"u}rbe, Ulrike and Weiß, Norman},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-419-7},
  issn      = {1435-9154},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-402732},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {307},
  year      = {2018},
  abstract  = {In welcher Beziehung steht die praktische Philosophie zur Wirklichkeit der Menschenrechtsfragen in Recht und Politik? Wie kann und soll sie sich ihrem komplexen Gegenstand n{\"a}hern? Inwieweit kommt ihr die Aufgabe zu, politisches Geschehen konkret zu kommentieren und Vorschl{\"a}ge f{\"u}r die Implementierung menschenrechtstheoretischer Annahmen zu machen? Wie l{\"a}sst sie sich als anwendungsorientierte Disziplin denken, die jenseits reiner Begr{\"u}ndungsdiskurse einen Beitrag zur globalen St{\"a}rkung der Menschenrechtsidee leistet? Der vorliegende Sammelband geht diesen und verwandten Fragen in acht Beitr{\"a}gen mit jeweils einem Kommentar nach und regt damit zum Nachdenken {\"u}ber das Selbstverst{\"a}ndnis zeitgen{\"o}ssischer Menschenrechtsphilosophie an.},
  language  = {de}
}
@book{LudwigMarxTaschetal.2018,
  author    = {Ludwig, Joachim and Marx, Silvia and Tasch, Markus and Utech, Henry},
  title     = {d.art},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-413642},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {149},
  year      = {2018},
  abstract  = {Der Konzeptband dokumentiert den Aufbau und die Durchf{\"u}hrung der p{\"a}dagogischen Weiterbildung „d.art". Der Band richtet sich an zuk{\"u}nftige Weiterbildungsanbietende und Weiterbildende, die {\"a}hnliche p{\"a}dagogische Weiterbildungen durchf{\"u}hren wollen. Das vom BMBF (Bundesministerium f{\"u}r Bildung und Forschung) gef{\"o}rderte Projekt umfasste zwei Teilprojekte: erstens die Entwicklung eines Konzepts f{\"u}r die p{\"a}dagogische Weiterbildung von Kunstschaffenden und zweitens die Evaluation der Bildungs- und Lernprozesse, welche die Kunstschaffenden im Verlauf der Weiterbildung durchliefen. Es werden Anregungen und Begr{\"u}ndungen f{\"u}r eine p{\"a}dagogische Weiterbildung von Kunstschaffenden geboten, mit der die Qualit{\"a}t {\"a}sthetischer Bildungsprojekte steigt. Die Professur f{\"u}r Erwachsenenbildung an der Universit{\"a}t Potsdam (Prof. Dr. Joachim Ludwig) hat mit insgesamt 41 Brandenburger und Berliner K{\"u}nstler*innen (KuK) aller Kunstsparten in drei Weiterbildungsdurchg{\"a}ngen (2014-2017) dieses Konzept erprobt und entwickelt. Die KuK planen im Rahmen der Weiterbildung außerunterrichtliche Angebote {\"a}sthetischer Bildung an Ganztagsschulen, f{\"u}hren zwei Praxisprojekte durch und reflektieren in den Workshops ihre Erfahrungen. Eine Didaktik vom Standpunkt der Lernenden ist die Leitidee der Weiterbildung. Die Selbstbildungsprozesse der KuK werden in dieser Weiterbildung zum Ausgangspunkt gemacht, unterst{\"u}tzt und begleitet. Aus der Perspektive der Weiterbildungsanbietenden standen vier Themenfelder im Vordergrund, die mit den Anliegen der KuK gekoppelt wurden. Dabei f{\"a}llt auf, dass methodische Fragen weitgehend ausgespart wurden. Dies war m{\"o}glich, weil KuK eigene {\"a}sthetische Weltzug{\"a}nge anbieten k{\"o}nnen. Stattdessen wurde die p{\"a}dagogische Beziehung mit ihren grundlegenden Spannungsverh{\"a}ltnissen in den Vordergrund gestellt. Im ersten Teil des Bandes werden der Weiterbildungsverlauf, die Inhalte der vier Themenfelder (k{\"u}nstlerisches Selbstverst{\"a}ndnis, {\"a}sthetische Bildung, didaktische Herausforderungen, Schule als Projektraum) und die Lernbegleitungsformate detailliert vorgestellt. Im zweiten Teil werden ausf{\"u}hrliche bildungs- und lerntheoretische Grundlagen beschrieben, auf denen das Konzept aufbaut.},
  language  = {de}
}
@book{OPUS4-40576,
  title     = {www.BrAnD2.Wissen.},
  number    = {10},
  editor    = {H{\"o}mke, Nicola},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-424-1},
  issn      = {1860-5206},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-405764},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {248},
  year      = {2018},
  abstract  = {Mit „Wissen" kommt der zweite Durchgang des insgesamt dreij{\"a}hrigen Brandenburger Antike-Denkwerks zum Abschluss, das der Zusammenarbeit zwischen der Klassischen Philologie der Universit{\"a}t Potsdam und ausgew{\"a}hlten Brandenburger Gymnasien dient und von der Robert Bosch Stiftung gef{\"o}rdert wird. Der vorliegende Band enth{\"a}lt zum einen die beiden Impulsvortr{\"a}ge vom Potsdamer Lateintag im Oktober 2017: Prof. Dr. Claudia Tiersch zeigt, inwiefern sich im antiken Rom Raumwissen als Raumpolitik offenbarte, und Frau PD Dr. Nicola H{\"o}mke beleuchtet den Streit um die „richtige" Wissensvermittlung an r{\"o}mische Sch{\"u}ler in der ausgehenden Republik. Zum anderen sind die fantasievollen Ergebnisse dokumentiert, die die Sch{\"u}ler zusammen mit ihren studentischen Mentoren in der mehrmonatigen Projektphase zum Thema „Wissen" erarbeiteten und auf einem eigenen Sch{\"u}lerkongress im M{\"a}rz 2018 pr{\"a}sentierten.},
  language  = {de}
}
@book{Holtmann2018,
  author    = {Holtmann, Dieter},
  title     = {The development of living standards after the world financial crisis in 43 countries and six welfare regimes},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {43},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414833},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {77},
  year      = {2018},
  language  = {de}
}
@book{Holtmann2018,
  author    = {Holtmann, Dieter},
  title     = {Die Entwicklung des Lebensstandards nach der Weltfinanzkrise in 43 L{\"a}ndern und sechs Wohlfahrtsregimen},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {42},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414703},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2018},
  language  = {de}
}
@book{ReschkeTaeumelPapeetal.2018,
  author    = {Reschke, Jakob and Taeumel, Marcel and Pape, Tobias and Niephaus, Fabio and Hirschfeld, Robert},
  title     = {Towards version control in object-based systems},
  volume    = {121},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-430-2},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-410812},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {100},
  year      = {2018},
  abstract  = {Version control is a widely used practice among software developers. It reduces the risk of changing their software and allows them to manage different configurations and to collaborate with others more efficiently. This is amplified by code sharing platforms such as GitHub or Bitbucket. Most version control systems track files (e.g., Git, Mercurial, and Subversion do), but some programming environments do not operate on files, but on objects instead (many Smalltalk implementations do). Users of such environments want to use version control for their objects anyway. Specialized version control systems, such as the ones available for Smalltalk systems (e.g., ENVY/Developer and Monticello), focus on a small subset of objects that can be versioned. Most of these systems concentrate on the tracking of methods, classes, and configurations of these. Other user-defined and user-built objects are either not eligible for version control at all, tracking them involves complicated workarounds, or a fixed, domain-unspecific serialization format is used that does not equally suit all kinds of objects. Moreover, these version control systems that are specific to a programming environment require their own code sharing platforms; popular, well-established platforms for file-based version control systems cannot be used or adapter solutions need to be implemented and maintained. To improve the situation for version control of arbitrary objects, a framework for tracking, converting, and storing of objects is presented in this report. It allows editions of objects to be stored in an exchangeable, existing backend version control system. The platforms of the backend version control system can thus be reused. Users and objects have control over how objects are captured for the purpose of version control. Domain-specific requirements can be implemented. The storage format (i.e. the file format, when file-based backend version control systems are used) can also vary from one object to another. Different editions of objects can be compared and sets of changes can be applied to graphs of objects. A generic way for capturing and restoring that supports most kinds of objects is described. It models each object as a collection of slots. Thus, users can begin to track their objects without first having to implement version control supplements for their own kinds of objects. The proposed architecture is evaluated using a prototype implementation that can be used to track objects in Squeak/Smalltalk with Git. The prototype improves the suboptimal standing of user objects with respect to version control described above and also simplifies some version control tasks for classes and methods as well. It also raises new problems, which are discussed in this report as well.},
  language  = {en}
}
@book{Birk2016,
  author    = {Birk, Dolores},
  title     = {Mikrofinanzinstitutionen und ihre soziale Performance - eine Literaturdiskussion},
  series = {Schriftenreihe f{\"u}r Public und Nonprofit Management},
  journal   = {Schriftenreihe f{\"u}r Public und Nonprofit Management},
  issn      = {2190-4561},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-410856},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {III, 44},
  year      = {2016},
  abstract  = {Die vorliegende Arbeit besch{\"a}ftigt sich mit dem Einfluss der Organisationsform von Mikrofinanzinstitutionen (MFIs) auf deren soziale Performance. In diesem Kontext wird die soziale Performance als die direkte {\"U}bersetzung der sozialen Mission der MFIs in die Praxis verstanden. Konkret wird die soziale Performance der zwei Organisationsformen Shareholder Owned Firm (SOF) sowie Non-Governmental Organisation (NGO) betrachtet und verglichen. Dieser Vergleich st{\"u}tzt sich auf die in der Fachwelt h{\"a}ufig vertretene Annahme, dass NGO MFIs eine h{\"o}here soziale Performance aufweisen als SOF MFIs, da sie dem Nonprofit-Sektor zugeschrieben werden k{\"o}nnen. Die bis dato vorhandenen relevanten empirischen Forschungen zu dem Thema werden anhand einer Literaturdiskussion analysiert. Bislang existiert nur eine relativ geringe Anzahl an empirischen Forschungen in diesem Themenfeld, da die Erforschung der sozialen Performance von MFIs ein recht neues Forschungsgebiet darstellt. Die Ergebnisse der Literaturdiskussion verdeutlichen zudem, dass hinsichtlich des Einflusses der Organisationsform von MFIs auf deren soziale Performance keine eindeutige Aussage getroffen werden kann, da die betrachteten Studien zu unterschiedlichen Resultaten kommen. Die Ergebnisse deuten jedoch darauf hin, dass in einigen geografischen Regionen der Welt NGO MFIs eine bessere soziale Performance aufweisen als SOF MFIs. Insgesamt liefert die Arbeit einen wichtigen {\"U}berblick {\"u}ber den Forschungsstand auf diesem Forschungsgebiet und deckt diverse Forschungsl{\"u}cken auf, welche in zuk{\"u}nftigen Untersuchungen ber{\"u}cksichtigt werden sollten.},
  language  = {de}
}
@book{Holtmann2018,
  author    = {Holtmann, Dieter},
  title     = {Politics, economy and society},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {41},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-411536},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {III, 202},
  year      = {2018},
  language  = {en}
}
@book{Zhuchok2018,
  author    = {Zhuchok, Anatolii V.},
  title     = {Relatively free doppelsemigroups},
  number    = {5},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-427-2},
  issn      = {2199-4951},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-407719},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {vii, 78},
  year      = {2018},
  abstract  = {A doppelalgebra is an algebra defined on a vector space with two binary linear associative operations. Doppelalgebras play a prominent role in algebraic K-theory. We consider doppelsemigroups, that is, sets with two binary associative operations satisfying the axioms of a doppelalgebra. Doppelsemigroups are a generalization of semigroups and they have relationships with such algebraic structures as interassociative semigroups, restrictive bisemigroups, dimonoids, and trioids. In the lecture notes numerous examples of doppelsemigroups and of strong doppelsemigroups are given. The independence of axioms of a strong doppelsemigroup is established. A free product in the variety of doppelsemigroups is presented. We also construct a free (strong) doppelsemigroup, a free commutative (strong) doppelsemigroup, a free n-nilpotent (strong) doppelsemigroup, a free n-dinilpotent (strong) doppelsemigroup, and a free left n-dinilpotent doppelsemigroup. Moreover, the least commutative congruence, the least n-nilpotent congruence, the least n-dinilpotent congruence on a free (strong) doppelsemigroup and the least left n-dinilpotent congruence on a free doppelsemigroup are characterized. The book addresses graduate students, post-graduate students, researchers in algebra and interested readers.},
  language  = {en}
}
@book{Holtmann2018,
  author    = {Holtmann, Dieter},
  title     = {Die Performanz von Politik, Wirtschaft und Gesellschaft f{\"u}r 43 L{\"a}nder und 6 Wohlfahrtsregime},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {40},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-410430},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {III, 213},
  year      = {2018},
  language  = {de}
}
@book{Holtmann2018,
  author    = {Holtmann, Dieter},
  title     = {Zum Wandel der Wohlstands- und Wohlfahrtsdimensionen nach der Weltfinanzkrise},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {39},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-409480},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {141},
  year      = {2018},
  language  = {de}
}
@book{Marienfeldt2016,
  author    = {Marienfeldt, Justine},
  title     = {Qualit{\"a}tsmanagement in Nonprofit-Organisationen},
  series = {Schriftenreihe f{\"u}r Public und Nonprofit Management},
  journal   = {Schriftenreihe f{\"u}r Public und Nonprofit Management},
  issn      = {2190-4561},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-408877},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {I, 30},
  year      = {2016},
  abstract  = {Die vorliegende Arbeit besch{\"a}ftigt sich mit Qualit{\"a}tsmanagementsystemen in Nonprofit-Organisationen. Sie stellt dabei das Spannungsfeld verschiedener Akteursinteressen innerhalb von Nonprofit-Organisationen in den Vordergrund. Dies erfolgt anhand des mikropolitischen Ansatzes, der allen Akteuren innerhalb einer Organisation eigene Interessen zugesteht, die sie durch Taktiken und Strategien in Machtk{\"a}mpfen versuchen durchzusetzen. Untersucht wird der Prozess der Entstehung und Evaluation von konkreten Maßnahmen, den sogenannten Qualit{\"a}tszielen, und den Einfluss von p{\"a}dagogischen Mitarbeitenden auf deren Formulierung. Dies erfolgt anhand einer Einzelfallstudie. Mithilfe von qualitativen Interviews wurde untersucht, inwieweit p{\"a}dagogische Mitarbeitende die Einflussm{\"o}glichkeiten des Qualit{\"a}tsmanagementsystems zur strategischen Organisationsentwicklung und Durchsetzung eigener Interessen nutzen. Die Ergebnisse zeigen, dass es zwei Typen von Mitarbeitenden gibt, aktive und passive, die entweder einen Machtgewinn oder -verlust erleben. Aufgrund der kooperativen Art der Kommunikation und Entscheidungsfindung sowie kaum divergierenden Interessen zwischen den verschiedenen Akteuren bleiben die vorhandenen Einflussm{\"o}glichkeiten im Sinne von organisationsinternen Machtk{\"a}mpfen und mikropolitischen Taktiken bisher jedoch weitestgehend ungenutzt. Diese Falleigenschaften erkl{\"a}ren, wieso der mikropolitische Ansatz bei der Analyse nicht zu den antizipierten Resultaten gef{\"u}hrt hat.},
  language  = {de}
}
@book{GaertnerTierschBuettnervonStuelpnageletal.2018,
  author    = {G{\"a}rtner, Ursula and Tiersch, Claudia and B{\"u}ttner-von St{\"u}lpnagel, Stefan and Reinhardt, Cindy and Glockemann, Brunhild and Neuber, Birthe and Preiß, Benjamin and S{\"o}chting, Hagen and Hamann, Mirja and Hoffmann, Stephanie and Hof, Alexander and Okonek, Philipp},
  title     = {www.BrAnD2.W{\"u}rde.},
  number    = {9},
  editor    = {G{\"a}rtner, Ursula},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-400-5},
  issn      = {1860-5206},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-397253},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {241},
  year      = {2018},
  abstract  = {Das Zweite Brandenburger Antike-Denkwerk zielt auf die Zusammenarbeit der Klassischen Philologie der Universit{\"a}t Potsdam mit f{\"u}nf landesweit ausgew{\"a}hlten Schulen. 2015/6 war das Projekt dem Thema „W{\"u}rde" gewidmet. Erste Aspekte beleuchteten Prof. Dr. Claudia Tiersch und PD Dr. Stefan B{\"u}ttner-von St{\"u}lpnagel auf dem Potsdamer Lateintag. Anschließend wurde das Thema von den am Projekt beteiligten Sch{\"u}lerinnen und Sch{\"u}lern unter der Leitung von Prof. Dr. Ursula G{\"a}rtner in ganz unterschiedlichen Produkten umgesetzt. Alle diese Beitr{\"a}ge versammelt der vorliegende Band. Das Projekt wird von der der Robert-Bosch-Stiftung gef{\"o}rdert.},
  language  = {de}
}
@book{Thimm2018,
  author    = {Thimm, Tobias},
  title     = {Die Migration bulgarischer Staatsb{\"u}rger nach Deutschland},
  series = {WeltTrends Thesis},
  journal   = {WeltTrends Thesis},
  number    = {20},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-425-8},
  issn      = {1866-0738},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-404713},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {114},
  year      = {2018},
  abstract  = {Viele der mittelost- und s{\"u}dosteurop{\"a}ischen L{\"a}nder haben mit der Migration ihrer Staatsb{\"u}rger nach Westeuropa zu k{\"a}mpfen und beklagen den brain drain ihrer jungen und gut ausgebildeten Generation. Dieses Buch widmet sich der Migration bulgarischer Staatsb{\"u}rger nach Deutschland und analysiert die positiven sowie negativen Auswirkungen der Migration auf Bulgarien als Herkunftsland selbst. Es werden die Daten, Personengruppen und Ursachen der Migration unter Ber{\"u}cksichtigung der Push- und Pull-Faktoren beider L{\"a}nder seit dem EU-Beitritt 2007, insbesondere seit der EU-Arbeitnehmerfreiz{\"u}gigkeit 2014, analysiert. Ferner steht die Frage im Vordergrund, wie der bulgarische Staat und die Zivilgesellschaft mit dem Ph{\"a}nomen der Massenmigration umgehen und was zus{\"a}tzlich getan werden k{\"o}nnte, um die Migration gezielter zu steuern und so mehr Bulgaren f{\"u}r eine Zukunft in der Heimat zu begeistern.},
  language  = {de}
}
@book{BauerSzewczykPopowskaetal.2018,
  author    = {Bauer, Hartmut and Szewczyk, Marek and Popowska, Bożena and Meier, Michael and Abromeit, Wolfgang and Fuks, Adrian and Lissoń, Piotr and Kruś, Maciej and Princ, Marcin and Staniszewska, Lucyna and Pawłowski, Sławomir and Jędrzejczak, Maria},
  title     = {Publizisierung {\"o}ffentlicher Aufgaben},
  series = {KWI Schriften},
  journal   = {KWI Schriften},
  number    = {11},
  editor    = {Bauer, Hartmut and Szewczyk, Marek and Popowska, Bożena and Meier, Michael and Fuks, Adrian},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-417-3},
  issn      = {1867-951X},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-402270},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {197},
  year      = {2018},
  abstract  = {Die Privatisierungseuphorie der vergangenen Jahrzehnte ist heute weitgehend verflogen. Nicht nur die Finanz- und Wirtschaftskrise hat das Vertrauen in die Leistungsf{\"a}higkeit der M{\"a}rkte ersch{\"u}ttert. Auch haben bei weitem nicht alle Privatisierungsmaßnahmen die in sie gesetzten Erwartungen erf{\"u}llt. Daher war schon vor vielen Jahren eine Trendwende weg von der Privatisierung und hin zu dem gegenl{\"a}ufigen Prozess der Rekommunalisierung zu beobachten. Die R{\"u}ckkehr zum {\"O}ffentlichen beschr{\"a}nkt sich aber nicht auf den kommunalen Bereich, sondern ist l{\"a}ngst auch auf Landes-, Bundes-, EU- und sogar globaler Ebene zu beobachten. Ebenen{\"u}bergreifend l{\"a}sst sich dieser Trend zu Rekommunalisierung und R{\"u}ckverstaatlichung mit dem neuen Begriff der „Publizisierung" erfassen. Freilich ist die Trendwende „hin zum {\"O}ffentlichen" kein durchg{\"a}ngiges Ph{\"a}nomen. Vielmehr gibt es daneben auch Bestrebungen, die auf k{\"u}nftige Privatisierungen abzielen - etwa im Infrastrukturbereich. An diesen gegenl{\"a}ufigen Entwicklungstendenzen setzt der vorliegende Tagungsband an. Er dokumentiert den Gedankenaustausch zwischen polnischen und deutschen Verwaltungsrechtswissenschaftlern auf einer Tagung, die im Juni 2017 an der Uniwersytet im. Adama Mickiewicza (Adam-Mickiewicz-Universit{\"a}t, UAM) in Poznań stattgefunden hat. Dieses Symposium ist Teil einer Kooperation zwischen der UAM und dem Kommunalwissenschaftlichen Institut (KWI) der Universit{\"a}t Potsdam, die sich mit dem umfassenderen Programm einer „Modernisierung des Gemeinwesens" besch{\"a}ftigt und dabei den Fokus insbesondere auf die beiden Modernisierungsans{\"a}tze „Privatisierung" und „Publizisierung" richtet.},
  language  = {de}
}
@book{GayvoronskayaMeinelSchnjakin2018,
  author    = {Gayvoronskaya, Tatiana and Meinel, Christoph and Schnjakin, Maxim},
  title     = {Blockchain},
  number    = {113},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-394-7},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-103141},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {109},
  year      = {2018},
  abstract  = {Der Begriff Blockchain ist in letzter Zeit zu einem Schlagwort geworden, aber nur wenige wissen, was sich genau dahinter verbirgt. Laut einer Umfrage, die im ersten Quartal 2017 ver{\"o}ffentlicht wurde, ist der Begriff nur bei 35 Prozent der deutschen Mittelst{\"a}ndler bekannt. Dabei ist die Blockchain-Technologie durch ihre rasante Entwicklung und die globale Eroberung unterschiedlicher M{\"a}rkte f{\"u}r Massenmedien sehr interessant. So sehen viele die Blockchain-Technologie entweder als eine Allzweckwaffe, zu der aber nur wenige einen Zugang haben, oder als eine Hacker-Technologie f{\"u}r geheime Gesch{\"a}fte im Darknet. Dabei liegt die Innovation der Blockchain-Technologie in ihrer erfolgreichen Zusammensetzung bereits vorhandener Ans{\"a}tze: dezentrale Netzwerke, Kryptographie, Konsensfindungsmodelle. Durch das innovative Konzept wird ein Werte-Austausch in einem dezentralen System m{\"o}glich. Dabei wird kein Vertrauen zwischen dessen Knoten (z.B. Nutzer) vorausgesetzt. Mit dieser Studie m{\"o}chte das Hasso-Plattner-Institut den Lesern helfen, ihren eigenen Standpunkt zur Blockchain-Technologie zu finden und dabei dazwischen unterscheiden zu k{\"o}nnen, welche Eigenschaften wirklich innovativ und welche nichts weiter als ein Hype sind. Die Autoren der vorliegenden Arbeit analysieren positive und negative Eigenschaften, welche die Blockchain-Architektur pr{\"a}gen, und stellen m{\"o}gliche Anpassungs- und L{\"o}sungsvorschl{\"a}ge vor, die zu einem effizienten Einsatz der Technologie beitragen k{\"o}nnen. Jedem Unternehmen, bevor es sich f{\"u}r diese Technologie entscheidet, wird dabei empfohlen, f{\"u}r den geplanten Anwendungszweck zun{\"a}chst ein klares Ziel zu definieren, das mit einem angemessenen Kosten-Nutzen-Verh{\"a}ltnis angestrebt werden kann. Dabei sind sowohl die M{\"o}glichkeiten als auch die Grenzen der Blockchain-Technologie zu beachten. Die relevanten Schritte, die es in diesem Zusammenhang zu beachten gilt, fasst die Studie f{\"u}r die Leser {\"u}bersichtlich zusammen. Es wird ebenso auf akute Fragestellungen wie Skalierbarkeit der Blockchain, geeigneter Konsensalgorithmus und Sicherheit eingegangen, darunter verschiedene Arten m{\"o}glicher Angriffe und die entsprechenden Gegenmaßnahmen zu deren Abwehr. Neue Blockchains etwa laufen Gefahr, geringere Sicherheit zu bieten, da {\"A}nderungen an der bereits bestehenden Technologie zu Schutzl{\"u}cken und M{\"a}ngeln f{\"u}hren k{\"o}nnen. Nach Diskussion der innovativen Eigenschaften und Probleme der Blockchain-Technologie wird auf ihre Umsetzung eingegangen. Interessierten Unternehmen stehen viele Umsetzungsm{\"o}glichkeiten zur Verf{\"u}gung. Die zahlreichen Anwendungen haben entweder eine eigene Blockchain als Grundlage oder nutzen bereits bestehende und weitverbreitete Blockchain-Systeme. Zahlreiche Konsortien und Projekte bieten „Blockchain-as-a-Service" an und unterst{\"u}tzen andere Unternehmen beim Entwickeln, Testen und Bereitstellen von Anwendungen. Die Studie gibt einen detaillierten {\"U}berblick {\"u}ber zahlreiche relevante Einsatzbereiche und Projekte im Bereich der Blockchain-Technologie. Dadurch, dass sie noch relativ jung ist und sich schnell entwickelt, fehlen ihr noch einheitliche Standards, die Zusammenarbeit der verschiedenen Systeme erlauben und an die sich alle Entwickler halten k{\"o}nnen. Aktuell orientieren sich Entwickler an Bitcoin-, Ethereum- und Hyperledger-Systeme, diese dienen als Grundlage f{\"u}r viele weitere Blockchain-Anwendungen. Ziel ist, den Lesern einen klaren und umfassenden {\"U}berblick {\"u}ber die Blockchain-Technologie und deren M{\"o}glichkeiten zu vermitteln.},
  language  = {de}
}
@book{KellerRotherBartkowiaketal.2018,
  author    = {Keller, Henry and Rother, Philipp and Bartkowiak, Michael and Rauch, Sebastian and Zehl, Rebecca and Ballentin, Josefine and K{\"a}hler, Claudia and Appelt, Franziska and Kochan, Robert and Pfitzner, Tom and Rogge, Lisa and Kurth, Anne-Kathrin and Hiller, Chris},
  title     = {Geographien des Fußballs},
  editor    = {Wilhelm, Jan Lorenz},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-416-6},
  issn      = {2194-1599},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-401497},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {231},
  year      = {2018},
  abstract  = {In Deutschland erscheint Fußball als omnipr{\"a}sent: Fußballprofis gelten als Vorbilder und Werbetr{\"a}ger, Fußballvereine fungieren als regionale und teilweise als globale Wirtschaftsunternehmen, Fußballspiele als gesellschaftliche Ereignisse und Fußballmannschaften - sowohl auf regionaler als auch auf nationaler Ebene - als identit{\"a}tsstiftend. Unbestritten weist das Ph{\"a}nomen Fußball eine große Gesellschaftsrelevanz auf, und so verwundert es nicht, dass es als Gegenstand wissenschaftlicher und eben auch geographischer Abhandlungen fungiert. Der vorliegende Band richtet sich nun an Geographiestudenten und Fußballinteressierte, die sich verwundert fragen m{\"o}gen, was Geographien des Fußballs bedeuten k{\"o}nnte. Der Band veranschaulicht exemplarisch, was geographische Perspektiven auf den Forschungsgegenstand Fußball auszeichnen und welche Themenfelder und Fragestellungen sich f{\"u}r eine Erforschung anbieten. Dabei reicht das in diesem Band vorgestellte Themenspektrum von raumbezogenen Sprachcodierungen in Spielanalysen {\"u}ber Stadionatmosph{\"a}re und Fanidentit{\"a}ten bis hin zu medial erzeugten Unsicherheitsr{\"a}umen.},
  language  = {de}
}
@book{Coppoletta2017,
  author    = {Coppoletta, Friedmar},
  title     = {„Und er b{\"u}ckte sich wieder und schrieb auf die Erde"},
  publisher = {Universi{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-415-9},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-402510},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2017},
  abstract  = {In der vorliegenden Arbeit wird die Funktion verschiedener Bibelbez{\"u}ge im Romanwerk Theodor Fontanes untersucht. Dabei wird die These vertreten, dass Fontanes Verweise auf biblische Texte nicht etwa bloß als theologische Positionierungen zu lesen seien, sondern dass er die Bibel als Speicher an kulturellem Wissen in Form von Narrativen, Personen, Gefl{\"u}gelten Worten etc. begreift, den er in seiner Leserschaft voraussetzen kann und durch den er Themen wie Normativit{\"a}t und Diskursivit{\"a}t mit einer besonderen Tiefe in der Spannung von Text und Pr{\"a}text verhandeln kann. Im Zentrum der Untersuchung stehen dabei Verwendungen von Bibelbez{\"u}gen als hochkommunikative Diskursschablonen f{\"u}r poetologische Selbstreflexionen sowie f{\"u}r politische oder fr{\"o}mmigkeits-praktische Kontroversen.},
  language  = {de}
}
@book{OPUS4-10026,
  title     = {Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering},
  number    = {111},
  editor    = {Meinel, Christoph and Plattner, Hasso and D{\"o}llner, J{\"u}rgen Roland Friedrich and Weske, Mathias and Polze, Andreas and Hirschfeld, Robert and Naumann, Felix and Giese, Holger and Baudisch, Patrick and Friedrich, Tobias and M{\"u}ller, Emmanuel},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-390-9},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-100260},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {vi, 255},
  year      = {2016},
  abstract  = {Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.},
  language  = {en}
}
@book{BossenHoeftTaenzeretal.2017,
  author    = {Bossen, Anja and H{\"o}ft, Tina and T{\"a}nzer, Bianca and Gerischer, Christiane and Platz, Jessica and Ferchow, Carolin and Tellisch, Christin and Peschel, Kathrin and Budweis, Birk},
  title     = {Musikarbeit im Kontext von Inklusion und Integration},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {6/1},
  editor    = {Jank, Birgit and Bossen, Anja},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-411-1},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-400066},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {237},
  year      = {2017},
  abstract  = {Die zweiteilige Publikation „Musikarbeit im Kontext von Inklusion und Integration" der Potsdamer Schriftenreihe zur Musikp{\"a}dagogik beinhaltet Ertr{\"a}ge aus Veranstaltungen und Qualifikationsarbeiten mehrerer Jahre, die am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik der Universit{\"a}t Potsdam entstanden sind. Beide B{\"a}nde enthalten neben theoretischen Beitr{\"a}gen auch Beitr{\"a}ge aus Praxis und Ausbildung in verschiedenen Berufsfeldern, die das besondere Potenzial musikalischer Bet{\"a}tigung f{\"u}r Inklusion und Integration anhand von best-practise-Beispielen darstellen und sind somit als umfassendes Studienmaterial konzipiert. Der erste Band legt den Schwerpunkt auf die Dokumentation der am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik durchgef{\"u}hrten internationalen Fachtagung „Musik in sozialen Feldern und Inklusionskontexten" sowie auf Qualifikationsarbeiten, die im Anschluss an die Tagung entstanden sind. Die Ver{\"o}ffentlichung der vorliegenden Arbeits- und Forschungsergebnisse wurde durch die Unterst{\"u}tzung des Ministeriums f{\"u}r Arbeit, Soziales, Gesundheit, Frauen und Familie des Landes Brandenburg und der Integrationsbeauftragten sowie durch die Universit{\"a}tsgesellschaft Potsdam e. V. erm{\"o}glicht.},
  language  = {de}
}
@book{BossenBiegholdtTellischetal.2017,
  author    = {Bossen, Anja and Biegholdt, Georg and Tellisch, Christin and Steinmann, Brigitte},
  title     = {Sprache im Musikunterricht},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {5},
  editor    = {Bossen, Anja and Jank, Birgit},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-410-4},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-399125},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {153},
  year      = {2017},
  abstract  = {Mit dem vorliegenden Band 5 der Potsdamer Schriftenreihe zur Musikp{\"a}dagogik wird die bildungspolitische Diskussion um den Stellenwert bewussten Sprachhandelns im Fach aufgegriffen. Ausgehend vom aktuellen Forschungsstand zum Thema „Sprache und Sprechen im Musikunterricht" werden Forschungsarbeiten vorgestellt, die in diesem Kontext zwischen 2013 und 2016 am Lehrstuhl f{\"u}r Musikp{\"a}dagogik und Musikdidaktik der Universit{\"a}t Potsdam entstanden sind. Die Beitr{\"a}ge skizzieren sowohl M{\"o}glichkeiten zur Umsetzung eines sprachbildenden Fachunterrichts Musik als auch soziale Aspekte sprachlichen Lehrerhandelns und setzen damit neue Impulse im musikp{\"a}dagogischen Diskurs. Die Ver{\"o}ffentlichung der vorliegenden Forschungsergebnisse wurde durch die Unterst{\"u}tzung des Ministeriums f{\"u}r Arbeit, Soziales, Gesundheit, Frauen und Familie des Landes Brandenburg und der Integrationsbeauftragten sowie durch die Universit{\"a}tsgesellschaft Potsdam e. V. erm{\"o}glicht.},
  language  = {de}
}
@book{MaximovaGieseKrause2017,
  author    = {Maximova, Maria and Giese, Holger and Krause, Christian},
  title     = {Probabilistic timed graph transformation systems},
  number    = {118},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-405-0},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-397055},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {34},
  year      = {2017},
  abstract  = {Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behaviour also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far. To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.},
  language  = {en}
}
@book{AmbauenArnoldBeckeretal.2017,
  author    = {Ambauen, Ladina and Arnold, Maren and Becker, Christian and Chahrour, Mohamed Chaker and Destanovic, Edis and Fretter, Alexandra and Geißler, Marc and Gr{\"u}nberg, Uwe and Habl, Moritz and Hoffmann, Sandra and Juchler, Ingo and Jurkatis, Lena Christine and Keitel, Bernhard and Losensky, Nikolai and Mrowietz, Christian and Nadol, Dominic and Naumann, Asja and Ockenga, Imke and Pohlandt, Anne and P{\"u}rschel, Tobias and Recktenwald, Michelle and Stephan, Roswitha and Tuchel, Johannes and Weinkamp, Christina and Weiß, Christian and Wiecking, Ole and Wockenfuß, Patricia and Zalitatsch, Nora Lina},
  title     = {Mildred Harnack und die Rote Kapelle in Berlin},
  editor    = {Juchler, Ingo},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-407-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-398166},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {170},
  year      = {2017},
  abstract  = {Mildred Harnack, geb. Fish, stammte urspr{\"u}nglich aus Milwaukee, Wisconsin. Zusammen mit ihrem Ehemann Arvid Harnack zog sie nach Deutschland und lebte seit 1930 in Berlin. Hier lehrte die Literaturwissenschaftlerin an der Friedrich-Wilhelms-Universit{\"a}t (heute Humboldt-Universit{\"a}t) und am Berliner Abendgymnasium (heute Peter A. Silbermann-Schule). Bereits kurz nach der Macht{\"u}bernahme von Adolf Hitler hatte sich um das Ehepaar Harnack ein Kreis von Freunden gebildet, der gegen die Herrschaft der Nationalsozialisten opponierte. Dazu z{\"a}hlten auch Karl Behrens und Bodo Schl{\"o}singer, die beide Sch{\"u}ler Mildred Harnacks am Berliner Abendgymnasium waren. Mildred Harnack konnte mit Hilfe ihrer Kontakte zur amerikanischen Botschaft ihren Sch{\"u}lern im nationalsozialistischen Deutschland ansonsten nicht zug{\"a}ngliche Informationen besorgen. Aufgrund von Funkkontakten des Freundeskreises zur Sowjetunion wurde die Gruppe von den Nationalsozialisten Rote Kapelle genannt - „rot" bezog sich auf deren linke Haltung und mit „Kapelle" wurden Funker assoziiert, die wie Pianisten in einer Kapelle spielen. Der Berliner Oppositionszirkel umfasste bis zu seiner Zerschlagung durch die Nationalsozialisten etwa 150 Personen verschiedenster Berufsgruppen, unterschiedlicher parteipolitischer Einstellungen und Konfessionen. Die Gruppe verfertigte oppositionelle Flugbl{\"a}tter und lieferte Informationen an die amerikanische Botschaft sowie an die Sowjetunion. Mildred Harnack wurde - wie viele ihrer Mitstreiterinnen und Mitstreiter - nach ihrer Verhaftung vom Reichskriegsgericht zum Tode verurteilt und am 16. Februar 1943 in Pl{\"o}tzensee guillotiniert. In diesem Band stellen Studierende der Universit{\"a}t Potsdam sowie H{\"o}rerinnen und H{\"o}rer der Peter A. Silbermann-Schule (Berlin) nach einem kurzen {\"U}berblick zum Widerstand gegen den Nationalsozialismus in Deutschland das Netzwerk der Roten Kapelle sowie die Biographien von Mildred Harnack und ihren Sch{\"u}lern Karl Behrens und Bodo Schl{\"o}singer vom Berliner Abendgymnasium eindr{\"u}cklich vor.},
  language  = {de}
}
@book{BernerHoffmannMuehlbaueretal.2017,
  author    = {Berner, Elisabeth and Hoffmann, Michael and M{\"u}hlbauer, Evelyn and H{\"o}fner, Marion and Weber, Carina and Giers, Ursula and Wiese, Heike and Freywald, Ulrike and Mayr, Katharina and Nowak, Měto and F{\"o}llner, Ursula and Luther, Saskia and Goltz, Reinhard},
  title     = {Region - Sprache - Literatur},
  editor    = {Berner, Elisabeth},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-400098},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2017},
  abstract  = {Mit dem neuen Rahmenlehrplan f{\"u}r die L{\"a}nder Brandenburg und Berlin wird der Kompetenzentwicklung der Sch{\"u}lerinnen und Sch{\"u}ler unter den Bedingungen lebensweltlicher Erfahrungen ein besonderer Stellenwert beigemessen. Der Sammelband enth{\"a}lt Beitr{\"a}ge, in denen den Lehrerinnen und Lehrern vielf{\"a}ltige Unterrichtsmaterialien und didaktische Anregungen f{\"u}r einen praxisnahen, entdeckenden Unterricht in der Primar- und Sekundarstufe f{\"u}r den Deutschunterricht vorgestellt werden. Diese reichen von theoretischen Grundlagen, {\"u}ber einzelne Unterrichtssequenzen und Projekte bis zur Darstellung einer Lernspirale f{\"u}r die Jahrgangsstufen 1 bis 10. Vielf{\"a}ltige, auch multimediale Zug{\"a}nge bis zum spielerischen Umgang mit der Sprache zeigen, dass Sprache kein „trockener" Lerngegenstand sein muss. Die Beitr{\"a}ge geben dar{\"u}ber hinaus Einblicke in die fachlichen Hintergr{\"u}nde, die helfen sollen, den Zugang zu den einzelnen Gegenst{\"a}nden zu erleichtern. Das thematische Zentrum „Region" bildet den Ausgangspunkt f{\"u}r die Einbeziehung des Niederdeutschen, Sorbischen, Berlinischen, Kiezdeutschen sowie der Dialekte. Dabei werden sowohl literarische als auch Sachtexte ber{\"u}cksichtigt.},
  language  = {de}
}
@book{Schinck2016,
  author    = {Schinck, Kai Philipp},
  title     = {Erfolgsfaktor Qualit{\"a}tsmanagement? Die effektive Implementierung von Qualit{\"a}tsmanagementsystemen in {\"o}ffentlichen Organisationen},
  issn      = {2190-4561},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-400520},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {54},
  year      = {2016},
  abstract  = {Diese Arbeit ist im Bereich des Qualit{\"a}tsmanagements (QM) in {\"o}ffentlichen Organisationen zu verorten. Sie fragt konkret, welche Faktoren eine effektive Implementierung des QM-Systems Common Assessment Framework (CAF) in Deutschen Bundesbeh{\"o}rden beeinflussen. Auf der Basis des soziologischen Neo-Institutionalismus wurden Hypothesen zu m{\"o}glichen Einflussfaktoren aufgestellt. Im Rahmen einer systematischen Fallauswahl wurden folgende Organisationen untersucht: das Bundeskartellamt, das Bundeszentralamt f{\"u}r Steuern sowie die Staatsbibliothek zu Berlin. F{\"u}r den empirischen Teil dieser Arbeit wurden halbstrukturierte Leitfadeninterviews mit Experten der ausgew{\"a}hlten Organisationen gef{\"u}hrt. Im Rahmen einer qualitativen Inhaltsanalyse wurden diese dann ausgewertet und mit einer „cross case synthesis" nach Yin (2014) anschließend theoriegeleitet analysiert. Es lassen sich letztendlich drei entscheidende Bedingungen f{\"u}r eine effektive CAF-Implementierung in Bundesbeh{\"o}rden ableiten: Zum einen die formale Unterst{\"u}tzung der jeweiligen Hausleitung, die eine aktive Rolle innerhalb des CAF-Projektes einnimmt und dabei auch alle mittleren F{\"u}hrungsspitzen zielf{\"u}hrend mit einbinden sollte, beispielsweise durch die {\"U}bernahme der QM-Projektleitung. Zum anderen ist es f{\"u}r eine zielkoh{\"a}rente Handlungsweise aller Organisationsmitgliedern vonn{\"o}ten, die verschiedenen Steuerungsinstrumente im Rahmen einer mittelfristigen Gesamtstrategie miteinander zu verzahnen und so formal zu institutionalisieren. Außerdem ist die formale Institutionalisierung einer QM-Einheit, nahe der Hausleitung außerhalb der Fachabteilungen angesiedelt, zu empfehlen. Es hat sich im Rahmen der untersuchten Fallbeispiele gezeigt, dass diese Einheiten ein gr{\"o}ßeres Potential aufweisen, sich zu QM- und CAF-Kompetenzzentren zu entwickeln und unn{\"o}tige Arbeiten, die das CAF-Engagement der Mitarbeiterschaft schm{\"a}lern w{\"u}rden, von eben jener fernzuhalten. Durch diese Ergebnisse konnte die Arbeit zwei entscheidende Beitr{\"a}ge leisten: Die Forschungslandkarte der QM- und CAF-Forschung in {\"o}ffentlichen Organisationen wies, speziell auf Bundesebene, vorab verschiedenste weiße Flecken auf, die von dieser Arbeit teilweise gef{\"u}llt werden konnten. Zum anderen ist es auf Basis dieser Forschungsarbeit nun m{\"o}glich, Verwaltungspraktikern konkrete Handlungsempfehlungen an die Hand zu geben, wenn diese erstmals CAF in ihrer Organisation implementieren m{\"o}chten oder bei einer schon erfolgten Einf{\"u}hrung des QM-Instruments nachsteuern m{\"o}chten.},
  language  = {de}
}
@book{OPUS4-39791,
  title     = {E‑Learning-Strategie 2017-2021},
  organization    = {Strategiegruppe E-Learning i. A. des Pr{\"a}sidiums der Universit{\"a}t},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-397916},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {16},
  year      = {2017},
  abstract  = {Die E-Learning-Strategie beschreibt zun{\"a}chst das Selbstverst{\"a}ndnis, was unter E-Learning verstanden werden soll, die aktuelle Situation an der Universit{\"a}t Potsdam und Eckpunkte von strategischen Ans{\"a}tzen f{\"u}r E-Learning-Entwicklung. Die Universit{\"a}t Potsdam versteht sich demnach als eine Hochschule im digitalen Zeitalter, die den umfassenden Einsatz von E-Learning als gelebte Lehr-/Lernkultur f{\"u}r alle Studierenden, Lehrenden und Mitarbeiter(innen) verwirklichen will. Ausgehend von dem relativ hohen Niveau, dass die E-Learning-Aktivit{\"a}ten bereits aufweisen, wird der Schwerpunkt der kommenden Jahre in der Verstetigung, Vernetzung und B{\"u}ndelung der Aktivit{\"a}ten gesehen. Auf Basis dieser Vor{\"u}berlegungen werden m{\"o}gliche Handlungsfelder und Maßnahmen f{\"u}r die E-Learning Entwicklung der n{\"a}chsten Jahre an der Universit{\"a}t Potsdam vorgeschlagen. Die Handlungsfelder lauten: "Austausch und Vernetzung", "Content", "Innovation und Verstetigung", "Medienkompetenz", "Organisationsstrukturen", "Qualitätsentwicklung" und "UP und die Welt". Die Priorisierung und Umsetzung der Maßnahmen wird durch eine Steuerungsgruppe initiiert und begleitet. Die Strategie wurde auf der 247. Sitzung des Senats der Universität Potsdam am 25.01.2017 beschlossen.},
  language  = {de}
}
@book{KlauckMaschlerTausche2017,
  author    = {Klauck, Stefan and Maschler, Fabian and Tausche, Karsten},
  title     = {Proceedings of the Fourth HPI Cloud Symposium "Operating the Cloud" 2016},
  number    = {117},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-401-2},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-394513},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {32},
  year      = {2017},
  abstract  = {Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. On the occasion of this symposium we called for submissions of research papers and practitioner's reports. A compilation of the research papers realized during the fourth HPI cloud symposium "Operating the Cloud" 2016 are published in this proceedings. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium later in the year. Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic "Operating the Cloud". Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI's Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. "Operating the Cloud" aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.},
  language  = {en}
}
@book{DyckGiese2017,
  author    = {Dyck, Johannes and Giese, Holger},
  title     = {k-Inductive invariant checking for graph transformation systems},
  number    = {119},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-406-7},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-397044},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {45},
  year      = {2017},
  abstract  = {While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context. To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties. To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm.},
  language  = {en}
}
@book{SchubarthSeidelMauermeisteretal.2017,
  author    = {Schubarth, Wilfried and Seidel, Andreas and Mauermeister, Sylvi and Fuhrmann, Michaela and Faaß, Marcel and Niproschke, Saskia and Zylla, Birgitta and Ulbricht, Juliane and Schulze-Reichelt, Friederike and K{\"o}hler, Anke and Erdmann, Melinda and Ratzlaff, Olaf and Kottmann, Andrea and Unger, Martin and Dibiasi, Anna and Grzywacz, Małgorzata and Miłkowska, Grażyna and Piorunek, Magdalena and Sałaciński, Lech and Grecmanov{\´a}, Helena and Dopita, Miroslav and Kantorov{\´a}, Jana and Wippermann, Melanie and Skopalov{\´a}, Jitka and V'junova, Natalja Ivanovna and Ivanova, Olga Anatol'evna and Apostolow, Benjamin},
  title     = {Studium nach Bologna},
  series = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Hochschulforschung},
  number    = {3},
  editor    = {Schubarth, Wilfried and Mauermeister, Sylvi and Seidel, Andreas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-399-2},
  issn      = {2192-1075},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-103998},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {302},
  year      = {2017},
  abstract  = {Ziel des vorliegenden dritten Bandes der Potsdamer Beitr{\"a}ge zur Hochschulforschung ist es, ausgew{\"a}hlte Aspekte der Hochschuldebatte um Studium und Lehre zu beleuchten und mit empirischen Befunden zu vertiefen. Im ­Fokus stehen solche aktuellen Debatten wie die Gestaltung des Studieneingangs, die Erh{\"o}hung der Besch{\"a}ftigungsbef{\"a}higung, die Qualit{\"a}t der Praktika sowie Probleme der Lehrerbildung. Dabei wird die Hochschuldebatte in Deutschland durch einschl{\"a}gige Beitr{\"a}ge aus anderen, west- und osteurop{\"a}ischen L{\"a}ndern erweitert. Die Reihe versteht sich als Forum verschiedener Akteure aus der Hochschulforschung, die die Diskussion zur Qualit{\"a}tsentwicklung in Lehre und Studium mit ihren Impulsen aus Analysen und empirischen Ergebnissen bereichern sollen. Der Band richtet sich an alle, die sich f{\"u}r die Entwicklung an Hochschulen interessieren.},
  language  = {de}
}
@book{RodriguezQuilesyGarciadeVugtOebelsbergeretal.2017,
  author    = {Rodr{\´i}guez-Quiles y Garc{\´i}a, Jos{\´e} A. and de Vugt, Adri and Oebelsberger, Monika and Medňansk{\´a}, Irena and Dymon, Mirosław and Jank, Birgit and Garc{\´i}a, Jos{\´e} M. and Garc{\´i}a, Mar{\´i}a S. and Ar{\´u}s, Eug{\`e}nia and Vicente, Manuel R. and D{\´i}az, Ana and Gonz{\´a}lez, Germ{\´a}n and Guti{\´e}rrez, Carmen J. and del Fresno, Beatriz Mart{\´i}nez and Garc{\´i}a-Fl{\´o}rez, Llori{\´a}n and Quijano, Luc{\´i}a and Ca{\~n}as, Manuel},
  title     = {Internationale Perspektiven zur Musik(lehrer)ausbildung in Europa},
  editor    = {Rodr{\´i}guez-Quiles y Garc{\´i}a, Jos{\´e} A.},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-378-7},
  issn      = {2196-5080},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-100717},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {292},
  year      = {2017},
  abstract  = {Das Bildungsgesetz der spanischen Regierung aus dem Jahre 2013 (sp. LOMCE) gilt als Todesstoß f{\"u}r k{\"u}nstlerische F{\"a}cher an allgemein bildenden Schulen: Erst 1990 als Pflichtfach eingef{\"u}hrt, wird Musik nun nur noch als Wahlfach angeboten. Auch die Musiklehrerausbildung an den Hochschulen verzeichnet massive Einbußen. Besonders irritierend daran ist, dass die betroffenen Universit{\"a}tsgremien zu dieser politischen Entscheidung nicht geh{\"o}rt wurden. Damit verschwindet in Spanien das Studienfach Lehramt Musik je nach Universit{\"a}t nach nicht einmal 18 bis 20 Jahren aus dem Studienangebot.},
  language  = {de}
}
@book{BuschmannJankPrengeletal.2017,
  author    = {Buschmann, Jana and Jank, Birgit and Prengel, Annedore and Spychiger, Maria and K{\"a}hler, Claudia and B{\"o}hme, Juliane},
  title     = {Belcantare Brandenburg. Jedes Kind kann singen!},
  series = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  journal   = {Potsdamer Schriftenreihe zur Musikp{\"a}dagogik},
  number    = {3/2},
  editor    = {Buschmann, Jana and Jank, Birgit},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-254-4},
  issn      = {1861-8529},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-65303},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {259},
  year      = {2017},
  abstract  = {Dieser Band kn{\"u}pft an die repr{\"a}sentative Dokumentation des Fortbildungsprojektes Belcantare Brandenburg. Jedes Kind kann singen! f{\"u}r musikunterrichtende Grundschullehrkr{\"a}fte im Land Brandenburg und seine begleitendende Evaluationsforschung an. Inhaltlicher Schwerpunkt dieses Bandes ist die Vorstellung der explorativen Evaluationsstudie mit ihren sensiblen Konzepten, Fragenstellungen, ihrem triangulierenden Forschungsdesign und ausgew{\"a}hlten Forschungsergebnissen aus den Staffeln 1 und 2. Die fachdidaktischen, musikpsychologischen und methodischen Kontexte der Evaluationsforschung werden durch Fachartikel entsprechender Autoren in diesem Band transparent und bereichern ihn im besonderen Maße. Die Mitwirkung von Studierenden am Forschungsprozess erforderte Anwendungsleitf{\"a}den zur methodischen Handhabung verschiedener Erhebungsinstrumente und Auswertungsmethoden zu entwickeln, denen hier der Raum zur Ver{\"o}ffentlichung gegeben wurde.},
  language  = {de}
}
@book{Holtmann2017,
  author    = {Holtmann, Dieter},
  title     = {Prosperity and welfare dimensions in change},
  series = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  journal   = {Potsdamer Beitr{\"a}ge zur Sozialforschung},
  number    = {38},
  issn      = {1612-6602},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-395282},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {125},
  year      = {2017},
  language  = {en}
}
@book{SchneiderLambersOrejas2017,
  author    = {Schneider, Sven and Lambers, Leen and Orejas, Fernando},
  title     = {Symbolic model generation for graph properties},
  number    = {115},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-396-1},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-103171},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {48},
  year      = {2017},
  abstract  = {Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. In particular, we want to be able to check automatically if a given graph property is satisfiable. Actually, in most application scenarios it is desirable to be able to explore graphs satisfying the graph property if they exist or even to get a complete and compact overview of the graphs satisfying the graph property. We show that the tableau-based reasoning method for graph properties as introduced by Lambers and Orejas paves the way for a symbolic model generation algorithm for graph properties. Graph properties are formulated in a dedicated logic making use of graphs and graph morphisms, which is equivalent to firstorder logic on graphs as introduced by Courcelle. Our parallelizable algorithm gradually generates a finite set of so-called symbolic models, where each symbolic model describes a set of finite graphs (i.e., finite models) satisfying the graph property. The set of symbolic models jointly describes all finite models for the graph property (complete) and does not describe any finite graph violating the graph property (sound). Moreover, no symbolic model is already covered by another one (compact). Finally, the algorithm is able to generate from each symbolic model a minimal finite model immediately and allows for an exploration of further finite models. The algorithm is implemented in the new tool AutoGraph.},
  language  = {en}
}
@book{Mueller2017,
  author    = {M{\"u}ller, Dorothee},
  title     = {Der Berufswahlprozess von Informatiklehrkr{\"a}ften},
  number    = {11},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-392-3},
  issn      = {1868-0844},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-101819},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {xiv, 299},
  year      = {2017},
  abstract  = {Seit Jahren ist der Mangel an Informatiklehrkr{\"a}ften bekannt und wird fachdidaktisch und politisch diskutiert. Aufgrund der geringen Anzahl von Studierenden mit dem Berufsziel Informatiklehrkraft ist eine Vergr{\"o}ßerung des Mangels vorhersehbar. Es stellt sich die Frage, warum so wenige Studierende sich f{\"u}r das Studienziel Lehramt Informatik entscheiden. Das Ziel der vorliegenden Arbeit ist es, die Berufswahl von Informatiklehrkr{\"a}ften aus der individuellen, biographischen Perspektive der Beteiligten zu erforschen und dabei Faktoren zu identifizieren, die die Berufswahl Informatiklehrkraft positiv oder negativ beeinflussen. Der Forschungsschwerpunkt liegt auf der qualitativen empirischen Untersuchung des Berufswahlprozesses, w{\"a}hrend eine quantitative Befragung aktiver Informatiklehrkr{\"a}fte zu berufswahlrelevanten Aspekten des Berufsbildes diese erg{\"a}nzt. Das Forschungskonzept der qualitativen Untersuchung orientiert sich an der Grounded Theory. Es wurden angehende Informatiklehrkr{\"a}fte zu ihrem Berufswahlprozess befragt, wobei die Daten durch m{\"u}ndliche Interviews, Gruppendiskussionen und schriftliche Berufswahlbiographien erhoben wurden. Die Datenauswertung orientiert sich zudem methodisch an der dokumentarischen Methode nach Ralf Bohnsack. Die Ergebnisse der Untersuchung zeigen, dass der Berufswahlprozess von angehenden Informatiklehrkr{\"a}ften h{\"a}ufig mit Umwegen in Form von Studienzielwechseln verbunden ist. Neben dem eigenen Bild der Informatik und dem Informatikselbstkonzept kommt dem Informatikunterricht der eigenen Schulzeit eine wichtige Rolle in diesem Prozess zu. Von der Lehrerforschung werden die Unterrichtserfahrungen w{\"a}hrend der eigenen Schulzeit im sp{\"a}ter studierten Fach als entscheidend f{\"u}r die Fachwahl identifiziert. Dies best{\"a}tigt sich in den Berufswahlbiographien derjenigen angehenden Informatiklehrkr{\"a}fte, die den Informatikunterricht ihrer eigenen Schulzeit positiv erinnern. Diese streben meist direkt in ihrem ersten Studium das Berufsziel Informatiklehrkraft an. Sie hatten zur Schulzeit ein positives Bild der Informatik und ein hohes Informatikselbstkonzept. Der Informatiklehrkraft ihrer Schulzeit bescheinigen sie oft eine berufliche Vorbildfunktion. Allerdings hatten die meisten der befragten angehenden Informatiklehrkr{\"a}fte selbst keinen Informatikunterricht oder erinnern diesen negativ. Der Weg zum Studium Informatiklehrkraft f{\"u}hrt bei diesen Befragten h{\"a}ufig {\"u}ber den Umweg von zun{\"a}chst anderen Studienentscheidungen, meistens {\"u}ber ein Lehramtsstudium mit anderen F{\"a}chern oder ein Informatikstudium. Die Informatikstudierenden haben zum Zeitpunkt ihrer ersten Studienwahl ein positives Bild der Informatik und ein hohes Informatikselbstkonzept aber kein positives Berufsbild Informatiklehrkraft. Ihr Wechsel von einem Informatikstudium zum Studium mit dem Berufsziel Informatiklehrkraft wird in der Regel durch den Wunsch nach einer st{\"a}rkeren sozialen Komponente im sp{\"a}teren Berufsalltag ausgel{\"o}st. Bei den Lehramtsstudierenden, die h{\"a}ufig zun{\"a}chst ein niedriges Informatikselbstkonzept und/oder ein negatives Bild der Informatik haben, kann es zu einer Umorientierung hin zum Studienziel Informatiklehrkraft kommen, wenn diese Vorstellungen sich w{\"a}hrend des ersten Studiums - z. B. durch den Besuch von universit{\"a}ren Lehrveranstaltungen zu informatischen Inhalten - {\"a}ndern. Die letztliche Entscheidung f{\"u}r den Beruf Informatiklehrkraft wird von denjenigen, die ihr Studienziel wechselten, mit Recht als durch Zuf{\"a}lle bestimmt empfunden.},
  language  = {de}
}
@book{DyckGieseLambers2017,
  author    = {Dyck, Johannes and Giese, Holger and Lambers, Leen},
  title     = {Automatic verification of behavior preservation at the transformation level for relational model transformation},
  number    = {112},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-391-6},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-100279},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {viii, 112},
  year      = {2017},
  abstract  = {The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation. In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.},
  language  = {en}
}
@book{EbkeZanfiKruegeretal.2017,
  author    = {Ebke, Thomas and Zanfi, Caterina and Kr{\"u}ger, Hans-Peter and Sommer, Christian and Viennet, Thomas and Johannßen, Dennis and Balzaretti, Ugo and Toussaint Ondoua, Herv{\´e} and Agard, Olivier and Henckmann, Wolfhart and Simonotti, Edoardo and Hand, Annika and Tavakkoli, Amirpasha and Hackbarth, Daniel and Edinger, Sebastian and Schollmeyer, Justus and von Kalckreuth, Moritz Alexander and Schmieg, Gregor and Batista Rates, Bruno and Kressmann, Philipp and Hilt, Annette and van Buuren, Jasper and Keusch, Juliane and Guzun, Mădălina and Bruff, Kyla and Stahl, Marion and Held, Lukas},
  title     = {Das Leben im Menschen oder der Mensch im Leben?},
  editor    = {Ebke, Thomas and Zanfi, Caterina},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-382-4},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-95409},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {514 Seiten},
  year      = {2017},
  abstract  = {In der Philosophie des 20. Jahrhunderts wird deutlich, dass es in Frankreich und in Deutschland voneinander abweichende Sichtweisen auf die Frage gibt, ob der Mensch eine "Sonderstellung" in der Dynamik des biologischen und geschichtlichen Lebens genießt. W{\"a}hrend sich in Deutschland die Tradition eines anthropologischen Denkens neu formiert, ist in Frankreich eine scharfe Skepsis gegen{\"u}ber dem Erbe des Humanismus charakteristisch. Die Beitr{\"a}ge dieses zweisprachigen Buches untersuchen diese deutsch-franz{\"o}sische Konstellation von Fragen und Autoren, und aktualisieren die Reflexion auf die (Grenzen der) Singularit{\"a}t des Menschen.},
  language  = {de}
}
@book{TietzPelchenMeineletal.2017,
  author    = {Tietz, Christian and Pelchen, Chris and Meinel, Christoph and Schnjakin, Maxim},
  title     = {Management Digitaler Identit{\"a}ten},
  number    = {114},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-395-4},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-103164},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {65},
  year      = {2017},
  abstract  = {Um den zunehmenden Diebstahl digitaler Identit{\"a}ten zu bek{\"a}mpfen, gibt es bereits mehr als ein Dutzend Technologien. Sie sind, vor allem bei der Authentifizierung per Passwort, mit spezifischen Nachteilen behaftet, haben andererseits aber auch jeweils besondere Vorteile. Wie solche Kommunikationsstandards und -Protokolle wirkungsvoll miteinander kombiniert werden k{\"o}nnen, um dadurch mehr Sicherheit zu erreichen, haben die Autoren dieser Studie analysiert. Sie sprechen sich f{\"u}r neuartige Identit{\"a}tsmanagement-Systeme aus, die sich flexibel auf verschiedene Rollen eines einzelnen Nutzers einstellen k{\"o}nnen und bequemer zu nutzen sind als bisherige Verfahren. Als ersten Schritt auf dem Weg hin zu einer solchen Identit{\"a}tsmanagement-Plattform beschreiben sie die M{\"o}glichkeiten einer Analyse, die sich auf das individuelle Verhalten eines Nutzers oder einer Sache st{\"u}tzt. Ausgewertet werden dabei Sensordaten mobiler Ger{\"a}te, welche die Nutzer h{\"a}ufig bei sich tragen und umfassend einsetzen, also z.B. internetf{\"a}hige Mobiltelefone, Fitness-Tracker und Smart Watches. Die Wissenschaftler beschreiben, wie solche Kleincomputer allein z.B. anhand der Analyse von Bewegungsmustern, Positionsund Netzverbindungsdaten kontinuierlich ein „Vertrauens-Niveau" errechnen k{\"o}nnen. Mit diesem ermittelten „Trust Level" kann jedes Ger{\"a}t st{\"a}ndig die Wahrscheinlichkeit angeben, mit der sein aktueller Benutzer auch der tats{\"a}chliche Besitzer ist, dessen typische Verhaltensmuster es genauestens „kennt". Wenn der aktuelle Wert des Vertrauens-Niveaus (nicht aber die biometrischen Einzeldaten) an eine externe Instanz wie einen Identit{\"a}tsprovider {\"u}bermittelt wird, kann dieser das Trust Level allen Diensten bereitstellen, welche der Anwender nutzt und dar{\"u}ber informieren will. Jeder Dienst ist in der Lage, selbst festzulegen, von welchem Vertrauens-Niveau an er einen Nutzer als authentifiziert ansieht. Erf{\"a}hrt er von einem unter das Limit gesunkenen Trust Level, kann der Identit{\"a}tsprovider seine Nutzung und die anderer Services verweigern. Die besonderen Vorteile dieses Identit{\"a}tsmanagement-Ansatzes liegen darin, dass er keine spezifische und teure Hardware ben{\"o}tigt, um spezifische Daten auszuwerten, sondern lediglich Smartphones und so genannte Wearables. Selbst Dinge wie Maschinen, die Daten {\"u}ber ihr eigenes Verhalten per Sensor-Chip ins Internet funken, k{\"o}nnen einbezogen werden. Die Daten werden kontinuierlich im Hintergrund erhoben, ohne dass sich jemand darum k{\"u}mmern muss. Sie sind nur f{\"u}r die Berechnung eines Wahrscheinlichkeits-Messwerts von Belang und verlassen niemals das Ger{\"a}t. Meldet sich ein Internetnutzer bei einem Dienst an, muss er sich nicht zun{\"a}chst an ein vorher festgelegtes Geheimnis - z.B. ein Passwort - erinnern, sondern braucht nur die Weitergabe seines aktuellen Vertrauens-Wertes mit einem „OK" freizugeben. {\"A}ndert sich das Nutzungsverhalten - etwa durch andere Bewegungen oder andere Orte des Einloggens ins Internet als die {\"u}blichen - wird dies schnell erkannt. Unbefugten kann dann sofort der Zugang zum Smartphone oder zu Internetdiensten gesperrt werden. K{\"u}nftig kann die Auswertung von Verhaltens-Faktoren noch erweitert werden, indem z.B. Routinen an Werktagen, an Wochenenden oder im Urlaub erfasst werden. Der Vergleich mit den live erhobenen Daten zeigt dann an, ob das Verhalten in das {\"u}bliche Muster passt, der Benutzer also mit h{\"o}chster Wahrscheinlichkeit auch der ausgewiesene Besitzer des Ger{\"a}ts ist. {\"U}ber die Techniken des Managements digitaler Identit{\"a}ten und die damit verbundenen Herausforderungen gibt diese Studie einen umfassenden {\"U}berblick. Sie beschreibt zun{\"a}chst, welche Arten von Angriffen es gibt, durch die digitale Identit{\"a}ten gestohlen werden k{\"o}nnen. Sodann werden die unterschiedlichen Verfahren von Identit{\"a}tsnachweisen vorgestellt. Schließlich liefert die Studie noch eine zusammenfassende {\"U}bersicht {\"u}ber die 15 wichtigsten Protokolle und technischen Standards f{\"u}r die Kommunikation zwischen den drei beteiligten Akteuren: Service Provider/Dienstanbieter, Identit{\"a}tsprovider und Nutzer. Abschließend wird aktuelle Forschung des Hasso-Plattner-Instituts zum Identit{\"a}tsmanagement vorgestellt.},
  language  = {de}
}
@book{BauerHajaschLuebkingetal.2017,
  author    = {Bauer, Hartmut and Hajasch, Lydia and L{\"u}bking, Uwe and Stein, Ursula and Roth, Roland and Sippel, Hanns-J{\"o}rg and Bock, Stephanie and Friesecke, Frank and Kleger, Heinz and Vowe, Gerhard and Utz, Stephanie Sophia and Buchmann, Madeleine and L{\"o}ffler, Roland and Zielske, Johanna},
  title     = {Partizipation in der B{\"u}rgerkommune},
  series = {KWI Schriften},
  journal   = {KWI Schriften},
  number    = {10},
  editor    = {Bauer, Hartmut and B{\"u}chner, Christiane and Hajasch, Lydia},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-371-8},
  issn      = {1867-951X},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-101601},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {214},
  year      = {2017},
  abstract  = {Konzepte, nach denen sich die demokratische Mitwirkung der B{\"u}rger vornehmlich in Wahlen ersch{\"o}pft, geh{\"o}ren sp{\"a}testens seit „Stuttgart 21" der Vergangenheit an. Indes ist die B{\"u}rgerbeteiligung auch jenseits solcher Großprojekte l{\"a}ngst zu einem beherrschenden Thema der Zeit herangewachsen. Das gilt zumal f{\"u}r die kommunale Ebene. Dort werden traditionsreiche Partizipationsformen nicht nur intensiv genutzt, sondern zunehmend um neue Beteiligungsvarianten erg{\"a}nzt und in innovativen Modellprojekten fortentwickelt. Dabei treten zwei Antriebskr{\"a}fte besonders hervor. Zum einen fordern die B{\"u}rger nach den Maximen „Mitmachen, Mitwirken, Mitentscheiden" deutlich verbesserte Partizipationsm{\"o}glichkeiten ein. Zum anderen setzen die Kommunen verst{\"a}rkt auf b{\"u}rgerschaftliches Engagement zur Erschließung Ressourcen privater Akteure f{\"u}r die Bereitstellung {\"o}ffentlicher Leistungen. {\"U}bergreifende Perspektive ist die Ausbildung einer Neuen Partizipationskultur in der B{\"u}rgerkommune zur Optimierung des Gemeinwohls. F{\"u}r die kommunale Praxis ist das partizipationsgest{\"u}tzte Miteinander von Verwaltung. Politik und B{\"u}rgerschaft in Systementw{\"u}rfen, Leitbildern, Organisations- und Verfahrensmodellen sowie lokalen Beteiligungsformaten konkretisiert. Doch verbinden sich mit den alten und neuen Ans{\"a}tzen der B{\"u}rgerbeteiligung noch eine ganze Reihe offener Fragen - so etwa nach den rechtlichen M{\"o}glichkeiten und Grenzen der neuen kommunalen Beteiligungskultur, nach Erfolgsbedingungen und konkreten Erfahrungen mit der Umsetzung von Partizipationsmodellen. Auf der 21. Fachtagung des Kommunalwissenschaftlichen Instituts (KWI) der Universit{\"a}t Potsdam wurden Schl{\"u}sselthemen der Neuen Partizipationskultur in der B{\"u}rgerkommune, namentlich der normativen Rahmenbedingungen und politischen Direktiven, Modernisierungsimpulse und Aktivierungsstrategien, Erfolgsbedingungen und spezifische Problemlagen einschließlich der Fallstricke in der Praxis und nicht zuletzt ausgew{\"a}hlter Einsatzfelder mit den dazugeh{\"o}rigen Erfahrungen diskutiert.},
  language  = {de}
}