Skip to contents

  1. Beckert, Bernhard [Author]; Bormer, Thorsten [Author]; Gocht, Stephan [Author]; Herda, Mihai [Author]; Lentzsch, Daniel [Author]; Ulbrich, Mattias [Author] ; Karlsruher Institut für Technologie Fakultät für Informatik

    Using relational verification for program slicing

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

    Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2019,5

  2. Beckert, Bernhard [Author]; Budurushi, Jurlind [Author]; Grunwald, Armin [Author]; Krimmer, Robert [Author]; Kulyk, Oksana [Author]; Küsters, Ralf [Author]; Mayer, Andreas [Author]; Müller-Quade, Jörn [Author]; Neumann, Stephan [Author]; Volkamer, Melanie [Author]

    Recent Developments in the Context of Online Elections and Digital Polls in Germany

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Gesellschaft für Informatik, 2022-02-01

  3. Beckert, Bernhard [Author]; Budurushi, Jurlind [Author]; Grunwald, Armin [Author]; Krimmer, Robert [Author]; Kulyk, Oksana [Author]; Küsters, Ralf [Author]; Mayer, Andreas [Author]; Müller-Quade, Jörn [Author]; Neumann, Stephan [Author]; Volkamer, Melanie [Author]

    Aktuelle Entwicklungen im Kontext von Online-Wahlen und digitalen Abstimmungen - [Version 1.0]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Karlsruhe, [10.09.2021]

  4. Faust, Heiko [Author]; Schwarze, Stefan [Author]; Beckert, Barbara [Author]; Brümmer, Bernhard [Author]; Dittrich, Christoph [Author]; Euler, Michael [Author]; Gatto, Marcel [Author]; Hauser-Schäublin, Brigitta [Author]; Hein, J. [Author]; Holtkamp, Anna Mareike [Author]; Ibanez-Diaz, Marcela [Author]; Klasen, Stephan [Author]; Kopp, Thomas [Author]; Krishna, Vijesh [Author]; Kunz, Y. [Author]; Lay, Jann [Author]; Mußhoff, Oliver [Author]; Qaim, Matin [Author]; Steinebach, Stefanie [Author]; Vorlaufer, Miriam [Author]

    Assessment of socio-economic functions of tropical lowland transformation systems in Indonesia - sampling framework and methodological approach

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Göttingen: GOEDOC, Dokumenten- und Publikationsserver der Georg-August-Universität, 2013