Rasmus Jensen - PDFSEARCH.IO - Document Search Engine

Rasmus Jensen
Results: 31

#	Item
1	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 Genealogy Rasmussen Jensen Rasmus Nelson
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
10	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 Sustainability Environment Low-energy building Building engineering Heat transfer Passive house Natural ventilation Ventilation Thermal mass Heating ventilating and air conditioning Architecture Sustainable building