Saarland

Results: 3122



#Item
161

Unifying Worlds and Resources Ralf Jung, Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS), Saarland University August 30th

Add to Reading List

Source URL: people.mpi-sws.org

- Date: 2015-10-16 08:02:26
    162

    Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Masters Thesis

    Add to Reading List

    Source URL: gnunet.org

    - Date: 2015-11-16 03:18:34
      163

      P2P Mixing and Unlinkable Bitcoin Transactions∗ Anonymity of the people, by the people, and for the people Tim Ruffing Pedro Moreno-Sanchez

      Add to Reading List

      Source URL: crypsys.mmci.uni-saarland.de

      - Date: 2016-08-22 08:13:46
        164

        Toward compact abstractions for processor pipelines∗ Sebastian Hahn, Jan Reineke Informatik, Saarland University Saarbr¨ ucken

        Add to Reading List

        Source URL: www.avacs.org

        - Date: 2015-08-04 04:16:38
          165

          J. Functional Programming 7 (5): 549–554, SeptemberPrinted in the United Kingdom 549

          Add to Reading List

          Source URL: www.st.cs.uni-saarland.de

          - Date: 2014-03-23 18:36:35
            166

            The Software Architecture for the First Challenge on Generating Instructions in Virtual Environments Alexander Koller Saarland University Donna Byron

            Add to Reading List

            Source URL: www.coli.uni-saarland.de

            - Date: 2016-10-19 11:44:45
              167

              Liar, Liar, Coins on Fire! Penalizing Equivocation by Loss of Bitcoins ∗ Tim Ruffing

              Add to Reading List

              Source URL: crypsys.mmci.uni-saarland.de

              - Date: 2016-02-26 11:20:02
                168

                PDF Document

                Add to Reading List

                Source URL: www.uni-saarland.de

                - Date: 2016-11-15 05:41:08
                  169

                  S AARLAND U NIVERSITY Binary Search Trees, Rectangles and Patterns László KOZMA

                  Add to Reading List

                  Source URL: scidok.sulb.uni-saarland.de

                  - Date: 2016-09-26 05:30:37
                    170

                    Markov Automata and Distribution Bisimulations Christian Eisentraut Dependable Systems and Software Group Saarland University

                    Add to Reading List

                    Source URL: www.ips.tu-braunschweig.de

                    - Date: 2013-08-13 02:41:30
                      UPDATE