Technical University of Munich

Results: 206



#Item
1

Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, Rupak Majumdar, and

Add to Reading List

Source URL: www.lsv.fr

Language: English - Date: 2017-05-22 04:51:19
    2

    IgorFs: A Distributed P2P File System Johanna Amann, Benedikt Elser, Yaser Houri, and Thomas Fuhrmann Computer Science Department Technical University of Munich Munich, Germany {ja|elser|houri|fuhrmann}@net.in.tum.de

    Add to Reading List

    Source URL: www.icir.org

    Language: English - Date: 2017-10-16 19:29:52
      3

      Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar

      Add to Reading List

      Source URL: www7.in.tum.de

      Language: English - Date: 2015-09-15 08:28:52
        4

        TUM School of Life Sciences Technical University of Munich PhD student/postdoc in Sensory and Behavioral Neuroscience The labs of Julijana Gjorgjieva (Max PIanck Institute for Brain Research, Frankfurt, Germany) and Ilon

        Add to Reading List

        Source URL: www.cns.wzw.tum.de

        Language: English - Date: 2018-02-25 11:51:25
          5

          CindyGL: Authoring GPU-based interactive mathematical content Aaron Montag and J¨ urgen Richter-Gebert? Technical University of Munich, Germany {montag,richter}@ma.tum.de,

          Add to Reading List

          Source URL: cindyjs.org

          - Date: 2016-12-12 08:43:18
            6

            Mean-payoff objectives for Markov Decision Processes Pranav Ashok1 , Krishnendu Chatterjee2 , Przemysław Daca2 , Jan Kˇret´ınsk´y1 and Tobias Meggendorfer1 1 Technical University of Munich, Germany

            Add to Reading List

            Source URL: qapl17.doc.ic.ac.uk

            - Date: 2017-04-20 09:16:43
              7

              A Non-Convex Variational Approach to Photometric Stereo under Inaccurate Lighting Yvain Q U E´ AU, Tao W U Technical University of Munich, Germany Franc¸ois L AUZE

              Add to Reading List

              Source URL: openaccess.thecvf.com

              - Date: 2017-05-30 20:42:41
                8

                Push Away Your Privacy: Precise User Tracking Based on TLS Client Certificate Authentication Matthias Wachs, Quirin Scheitle, Georg Carle Chair of Network Architectures and Services Technical University of Munich (TUM) E

                Add to Reading List

                Source URL: tma.ifip.org

                - Date: 2017-06-17 09:11:30
                  9

                  Real-Time Visual Odometry from Dense RGB-D Images Frank Steinbrücker Jürgen Sturm Daniel Cremers Department of Computer Science, Technical University of Munich, Germany {steinbrf,sturmju,cremers}@in.tum.de

                  Add to Reading List

                  Source URL: vision.in.tum.de

                  - Date: 2011-11-22 09:44:36
                    10

                    Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract

                    Add to Reading List

                    Source URL: home.in.tum.de

                    - Date: 2016-12-02 10:40:04
                      UPDATE