@book{HustedtTiessen2006,
  author    = {Hustedt, Thurid and Tiessen, Jan},
  title     = {Central government coordination in Denmark, Germany and Sweden : an institutional policy perspective},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-939469-26-1},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-8135},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {62},
  year      = {2006},
  abstract  = {The paper analyses the processes of central government coordination in Denmark, Germany and Sweden. First it gives an account of the existing coordination patterns, second it analyses changes within these coordination patterns over time and finally it asks, whether these changes can be attributed to an intentional institutional design. To answer this set of questions, we introduce an institutional policy analytic perspective to the study of central government change. This perspective focuses on central actors, interests, strategic motivations and the degree of the actors reflexivity as a promoter of intentional institutional change in government coordination. The empirical analysis shows the prevalence of negative coordination as the dominant pattern of coordination in all three countries. However, country-specific constitutional and political traditions result in a variety of different coordination techniques actually used. The paper concludes by identifying three different patterns of change, depending on the degree of change and the reflexivity involved : "fragmented institutional politics" in Denmark, "policy-driven institutional politics" in Germany and "adaptive and symbolic institutional politics" in the case of Sweden.},
  language  = {de}
}
@book{BauerErnstFroehlichetal.2006,
  author    = {Bauer, Steffen and Ernst, Ren{\´e}e and Fr{\"o}hlich, Manuel and H{\"a}ußler, Ulf and Loges, Bastian and Menzel, Ulrich and Schopp-Schilling, Hanna Beate and Weinz, Irene},
  title     = {Chancen f{\"u}r eine Reform der Vereinten Nationen?},
  series = {Potsdamer UNO-Konferenzen},
  journal   = {Potsdamer UNO-Konferenzen},
  number    = {6},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-937786-97-1},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-90240},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {134},
  year      = {2006},
  abstract  = {Am 24. und 25. Juni 2005 fand die siebte Konferenz des Forschungskreises Vereinte Nationen an der Universit{\"a}t Potsdam statt. Die Konferenz befaßte sich mit dem Thema „Chancen f{\"u}r eine Reform der Vereinten Nationen? Bilanz zum 60. Geburtstag der Weltorganisation". Die Verbindung von Wissenschaft und Praxis auf der einen und die Beteiligung unterschiedlicher Disziplinen auf der anderen Seite sind f{\"u}r die „Potsdamer UNO-Konferenzen" kennzeichnend. Die sieben Referate, die jeweils mit Zusammenfassungen der anschließenden Diskussionen dokumentiert werden, tragen dementsprechend dazu bei, wichtige T{\"a}tigkeitsbereiche und Strukturfragen der Vereinten Nationen aus unterschiedlichen Blickwinkeln zu diskutieren. Diese Brosch{\"u}re soll allen Interessierten die M{\"o}glichkeit geben, wichtige Aspekte der Diskussion {\"u}ber - beispielsweise - Strukturreformen im Bereich der Menschenrechtsvertragsaussch{\"u}sse, die Zukunft humanit{\"a}rer Interventionen, das Verh{\"a}ltnis von Friedenssicherung und Friedenskonsolidierung oder konkrete Reformbestrebungen beim Umweltprogramm UNEP kennenzulernen. Der Forschungskreis dankt der Juristischen Fakult{\"a}t der Universit{\"a}t Potsdam f{\"u}r die Gastfreundschaft und dem MenschenRechtsZentrum der Universit{\"a}t Potsdam f{\"u}r die Kooperation bei der Organisation der traditionell am letzten Wochenende im Juni stattfindenden Konferenz. Besonderer Dank gilt der Deutschen Gesellschaft der Vereinten Nationen, Landesverband Berlin-Brandenburg, die die Konferenz finanziell unterst{\"u}tzt hat. Anl{\"a}ßlich des 60. Jahrestages der Unterzeichnung der Charta der Vereinten Nationen, in dessen zeitlicher N{\"a}he die Konferenz stattfand, lud die Deutsche Gesellschaft f{\"u}r die Vereinten Nationen am ersten Konferenztag zu einem Sektempfang; ihr sei hierf{\"u}r herzlich gedankt.},
  language  = {de}
}
@book{Postel2005,
  author    = {Postel, Berit},
  title     = {Charakterisierung von Lebensstilen durch Wertorientierungen},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10760},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2005},
  abstract  = {Die Aufgaben dieser Arbeit liegen in der Ermittlung einer Lebensstiltypologie f{\"u}r Gesamtdeutschland, der Untersuchung des Zusammenhangs zwischen sozialstrukturellen Merkmalen und dem Lebensstil und der Ermittlung der Wertorientierung der eruierten Lebensstile an Hand der Semiometrie. Inhalt: 1. Einleitung 2. Lebensstile 3. Ermittlung einer Lebensstiltypologie 3.1 Operationalisierung des Lebensstilkonzepts 3.2 Stichprobe 3.3 Faktorenanalyse 3.3.1 Faktoren und Faktorladungen 3.4 Clusteranalyse 3.4.1 Ermittlung der optimalen Clusterzahl 3.5 Sechs Lebensstile 3.5.1 Lebensstil der Ausschließlich kulturell Interessierten 3.5.2 Lebensstil der Einfachen Unbeteiligten 3.5.3 Lebensstil der Universell Aktiven 3.5.4 Lebensstil der Geselligen Spannungsorientierten 3.5.5 Lebensstil der Agilen Informationshungrigen 3.5.6 Lebensstil der Elektronikgeneigten Actionsuchenden 3.5.7 Vergleich der eruierten Lebensstile 4. Lebensstil im Zusammenhang mit sozialstrukturellen Merkmalen 4.1 Diskriminanzanalytische Ergebnisse 4.2 Zusammenfassung 5. Die Wertorientierung der Lebensstile 5.1 Methodik der Semiometrie 5.2 Wertsystem der Ausschließlich kulturell Interessierten 5.3 Wertsystem der Einfachen Unbeteiligten 5.4 Wertsystem der Universell Aktiven 5.5 Wertsystem der Geselligen Spannungsorientierten 5.6 Wertsystem der Agilen Informationshungrigen 5.7 Wertsystem der Elektronikgeneigten Actionsuchenden 5.8 {\"U}berblickspositionierung der Lebensstile und sozialstruktureller Merkmale 5.9 Fazit 6. Res{\"u}mee},
  language  = {de}
}
@book{Huber2011,
  author    = {Huber, Stefan},
  title     = {Citizens participation in Latvia : still a long road to go?},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49715},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2011},
  abstract  = {On the 20.01.1991 the Latvian people defended the Latvian political elite from the Soviet OMON troops in order to achieve independence. After this impressive sign of civil society the people fell asleep, the level of mobility and the satisfaction with the functioning of democracy therefore is rather weak. The referendum (2008), to gain the right to dissolve the Parliament by the people, initiated by the Trade Unions can be assessed as a sign that there is something on the move. This paper is trying to give an impression of the situation of the civil society in terms of participation in the decision- making process. Hereby the focus lays on NGOs: What is the legal base and which problems do they face. To learn more about the situation interviews were organized with representatives of NGOs from different sectors like community development; Social inclusion; advocating gender issues as well as environment and sustainable development. As a result of the research it can be said that the civil society made some steps forward but it is still struggling with a high level of corruption, lack of interested from the elite and the ordinary people and the insecure financial state.},
  language  = {en}
}
@book{OPUS4-6813,
  title     = {Cloud security mechanisms},
  number    = {87},
  editor    = {Neuhaus, Christian and Polze, Andreas},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-281-0},
  issn      = {1613-5652},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-68168},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {78},
  year      = {2014},
  abstract  = {Cloud computing has brought great benefits in cost and flexibility for provisioning services. The greatest challenge of cloud computing remains however the question of security. The current standard tools in access control mechanisms and cryptography can only partly solve the security challenges of cloud infrastructures. In the recent years of research in security and cryptography, novel mechanisms, protocols and algorithms have emerged that offer new ways to create secure services atop cloud infrastructures. This report provides introductions to a selection of security mechanisms that were part of the "Cloud Security Mechanisms" seminar in summer term 2013 at HPI.},
  language  = {en}
}
@book{Huber2010,
  author    = {Huber, Stefan},
  title     = {Community Organizing in Deutschland : Eine "neue" M{\"o}glichkeit zur Vitalisierung Lokaler Demokratie?},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-075-5},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-43835},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {107},
  year      = {2010},
  abstract  = {Als Instrument der B{\"u}rgerbeteiligung wurde Community Organizing von Saul D. Alinsky zum ersten Mal 1939 in Chicago/Illinois erfolgreich umgesetzt. Konzeptionell speist es sich aus der Stadtsoziologie, der sozialen Arbeit sowie einer interkulturell ausgerichteten, politischen Erwachsenenbildung. In den USA hat es sich seitdem auf lokaler und {\"u}berregionaler Ebene etabliert und wird nun auch in Deutschland rezipiert und zunehmend projekthaft umgesetzt. Diese Arbeit beschreibt das Konzept des Community Organizing in Deutschland explorativ und zeigt f{\"o}rdernde und hemmende Faktoren f{\"u}r dessen Umsetzung auf. Zudem wird das Konzept f{\"u}r den deutschen Fall bez{\"u}glich partizipativer Demokratietheorien theoretisch diskutiert und verortet: Kann Community Organizing der Theorie der partizipativen Demokratie zugeordnet werden? Hierf{\"u}r wurde die Auspr{\"a}gung der Kriterien Deliberation, direkter Demokratie im weitesten Sinne, Dezentralisierung, Segmentierung und Delegation untersucht und bewertet. Die zweite Frage setzt sich mit der Wirksamkeit von umgesetzten Community Organizing-Projekten auseinander: Kann es als erfolgreiches B{\"u}rgerbeteiligungsinstrument auf lokaler Ebene betrachtet werden und inwiefern k{\"o}nnen dabei die demokratietheoretischen Kriterien Legitimit{\"a}t, Effektivit{\"a}t und Qualifizierung der B{\"u}rgerinnen und B{\"u}rger erf{\"u}llt werden?},
  language  = {de}
}
@book{MaximovaSchneiderGiese2020,
  author    = {Maximova, Maria and Schneider, Sven and Giese, Holger},
  title     = {Compositional analysis of probabilistic timed graph transformation systems},
  number    = {133},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-501-9},
  issn      = {1613-5652},
  doi       = {10.25932/publishup-49013},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-490131},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {53},
  year      = {2020},
  abstract  = {The analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces. We present an approach for the analysis of large scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.},
  language  = {en}
}
@book{OPUS4-3143,
  title     = {Conceptual architecture patterns : FMC-based representations},
  editor    = {Gr{\"o}ne, Bernhard and Keller, Frank},
  isbn      = {978-3-935024-98-3},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-33173},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2004},
  abstract  = {This document presents the results of the seminar "Coneptual Arachitecture Patterns" of the winter term 2002 in the Hasso-Plattner-Institute. It is a compilation of the student's elaborations dealing with some conceptual architecture patterns which can be found in literature. One important focus laid on the runtime structures and the presentation of the patterns. 1. Introduction 1.1. The Seminar 1.2. Literature 2 Pipes and Filters (Andr{\´e} Langhorst and Martin Steinle) 3 Broker (Konrad H{\"u}bner and Einar L{\"u}ck) 4 Microkernel (Eiko B{\"u}ttner and Stefan Richter) 5 Component Configurator (Stefan R{\"o}ck and Alexander Gierak) 6 Interceptor (Marc F{\"o}rster and Peter Aschenbrenner) 7 Reactor (Nikolai Cieslak and Dennis Eder) 8 Half-Sync/Half-Async (Robert Mitschke and Harald Schubert) 9 Leader/Followers (Dennis Klemann and Steffen Schmidt)},
  language  = {en}
}
@book{Weikard1997,
  author    = {Weikard, Hans-Peter},
  title     = {Contractarian approaches to intergenerational justice},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-8529},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {1997},
  abstract  = {In modern political philosophy social contract theory is the most prominent approach to individual rights and fair institutions. According to social contract theory the system of rights in a society ought to be justified by reconstructing its basic features as a contract between the mutually unconcerned members of society. This paper explores whether social contract theory can successfully be applied to justify rights of future generations. Three competing views are analysed: Rawls's theory of justice, Hobbes's radical liberalism and Gauthier's bargaining framework based on the Lockean proviso.},
  language  = {en}
}
@book{BeckerGieseNeumann2009,
  author    = {Becker, Basil and Giese, Holger and Neumann, Stefan},
  title     = {Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations},
  organization    = {System Analysis and Modeling Group},
  isbn      = {978-3-940793-91-1},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30473},
  publisher      = {Universit{\"a}t Potsdam},
  year      = {2009},
  abstract  = {Service-oriented modeling employs collaborations to capture the coordination of multiple roles in form of service contracts. In case of dynamic collaborations the roles may join and leave the collaboration at runtime and therefore complex structural dynamics can result, which makes it very hard to ensure their correct and safe operation. We present in this paper our approach for modeling and verifying such dynamic collaborations. Modeling is supported using a well-defined subset of UML class diagrams, behavioral rules for the structural dynamics, and UML state machines for the role behavior. To be also able to verify the resulting service-oriented systems, we extended our former results for the automated verification of systems with structural dynamics [7, 8] and developed a compositional reasoning scheme, which enables the reuse of verification results. We outline our approach using the example of autonomous vehicles that use such dynamic collaborations via ad-hoc networking to coordinate and optimize their joint behavior.},
  language  = {en}
}