Rasmus Jensen

Results: 31



#Item
1Genealogy / Rasmussen / Jensen / Rasmus / Nelson

0 Sexton’s Book Union Cemetery Association Blooming Prairie, Minnesota

Add to Reading List

Source URL: garyjacobson.org

Language: English - Date: 2016-03-24 19:37:59
2

The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games Krishnendu Chatterjee (IST Austria) Rasmus Ibsen-Jensen (IST Austria)

Add to Reading List

Source URL: www.cs.au.dk

Language: English - Date: 2015-08-11 05:53:51
    3

    A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

    Add to Reading List

    Source URL: cs.au.dk

    Language: English - Date: 2013-01-11 18:40:10
      4

      The complexity of solving reachability games using value and strategy iteration ∗ Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, and Peter Bro Miltersen Aarhus University {arnsfelt,rij,pbmiltersen}@cs.au.dk

      Add to Reading List

      Source URL: www.cs.au.dk

      Language: English - Date: 2015-08-11 05:53:51
        5

        The computational complexity of ecological and evolutionary spatial dynamics Rasmus Ibsen-Jensen, IST Austria Krishnendu Chatterjee, IST Austria, Martin A. Nowak, Harvard University March 7, 2016

        Add to Reading List

        Source URL: www.cs.au.dk

        Language: English - Date: 2016-03-07 08:29:44
          6

          Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee† Rasmus Ibsen-Jensen† †

          Add to Reading List

          Source URL: www.cs.au.dk

          Language: English - Date: 2015-08-11 05:53:51
            7

            Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

            Add to Reading List

            Source URL: www.cs.au.dk

            Language: English - Date: 2015-08-11 05:53:51
              8

              A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†

              Add to Reading List

              Source URL: www.cs.au.dk

              Language: English - Date: 2015-08-11 05:53:51
                9

                Solving simple stochastic games with few coin toss positions∗ Rasmus Ibsen-Jensen Department of Computer Scinece Aarhus University Peter Bro Miltersen

                Add to Reading List

                Source URL: www.cs.au.dk

                Language: English
                  10Sustainability / Environment / Low-energy building / Building engineering / Heat transfer / Passive house / Natural ventilation / Ventilation / Thermal mass / Heating /  ventilating /  and air conditioning / Architecture / Sustainable building

                  The Comfort Houses - Measurements and analysis of the indoor environment and energy consumption in 8 passive housesTine Steen Larsen Rasmus Lund Jensen

                  Add to Reading List

                  Source URL: www.es-so.com

                  Language: English - Date: 2015-05-22 05:42:59
                  UPDATE