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

Source URL: www.cs.au.dk

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

Source URL: www.cs.au.dk

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

Source URL: www.cs.au.dk

The complexity of interior point methods for solving discounted turn-based stochastic games Thomas Dueholm Hansen1,2 1 Rasmus Ibsen-Jensen1

Source URL: cs.au.dk

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

Source URL: www.cs.au.dk

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

Source URL: www.cs.au.dk

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

Source URL: www.cs.au.dk

In memoriam Gerd Aarsland Rosander (1934–2014) For those of us working together with her, her energy made us try harder and to do better.

Source URL: network.icom.museum

• Galina
• Gastroesophageal reflux disease
• Geography of Europe
• Europe
• Norway
• Ibsen Museum
• Henrik Ibsen
• Oslo

KänguRuh e.V. Henrik–Ibsen–StraßeRostock Antrag auf Mitgliedschaft Name:

Source URL: www.kaenguruh-rostock.de

Idéer til innovativ undervisning – interview med Elin Ibsen fra Sct. Jørgens Skole i Holstebro Af Michael Breum Jakobsen Elin Ibsen er lærer i 10. klasse på Sct. Jørgens Skole i Holstebro. Hun underviser i dansk o

Source URL: www.pionerprisen.dk