Technical University of Munich

Results: 206



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

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
    2IgorFs: 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

    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
      3Verification of Population Protocols Javier Esparza Technical University of Munich Joint work with Pierre Ganty, J´erˆome Leroux, and Rupak Majumdar

      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
        4TUM 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

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

          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
            6Mean-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

            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
              7A 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

              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
                8Push 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

                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
                  9Real-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

                  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
                    10Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract

                    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