Inductive invariant checking with partial negative application conditionsJohannes DyckAusverkauft4,3Bewachen
Proceedings of the Third HPI Cloud Symposium "Operating the Cloud" 2015David BartokAusverkauft4,3Bewachen
Extending a dynamic programming language and runtime environment with access controlPhilipp TessenowAusverkauft4,3Bewachen
On the operationalization of graph queries with generalized discrimination networksThomas BeyhlAusverkauft4,3Bewachen
Automatic verification of behavior preservation at the transformation level for relational model transformationJohannes DyckAusverkauft4,3Bewachen
Multivariate Approximation and high-dimensional sparse FFT based on rank-1 lattice samplingToni VolkmerAusverkauft4,3Bewachen
Holistic-lightweight approach for actuation systems of the next generation aircraftTaehun SeungAusverkauft4,3Bewachen
Dritte Woche des Russischen Rechts, Potsdam, 13.-17.10.2014, mit der Moskauer Staatlichen Juristischen O.E. Kutafin Universität (Akademie)Viktor Vladimirovic Blaz eevAusverkauft4,3Bewachen