|Up a level|
Anonymous, 1 and Anonymous, 2 and Anonymous, 3 (2016) Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. Technical Report. Anonymous. (Submitted)
Anonymous, 1 and Anonymous, 2 and Anonymous, 3 (2016) Termination and Worst-Case Analysis of Recursive Programs. Technical Report. Anonymous. (Submitted)
Bojsen-Hansen, Morten (2016) Tracking, Correcting and Absorbing Water Surface Waves. PhD thesis, IST Austria.
Brázdil, Tomáš and Chatterjee, Krishnendu and Forejt, Vojtěch and Kučera, Antonín (2017) Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences, 84. pp. 144-1170. ISSN 1090-2724
Du, Tao and Schulz, Adriana and Zhu, Bo and Bickel, Bernd and Matusik, Wojciech (2016) Computational multicopter design. In: SIGGRAPH: International Conference on Computer Graphics and Interactive Techniques, December 5-8, 2016 , Macao, CHN.
Giacobbe, Mirco and Guet, Cǎlin C and Gupta, Ashutosh K and Henzinger, Thomas A and Paixão, Tiago and Petrov, Tatjana (2016) Model checking the evolution of gene regulatory networks. Acta Informatica. ISSN 1432-0525
Hilbe, Christian and Hagel, Kristin and Milinski, Manfred (2016) Asymmetric power boosts extortion in an economic experiment. PLoS One, 11 (10). Article number: e0163867 . ISSN 1932-6203
Miguel, Eder and Lepoutre, Mathias and Bickel, Bernd (2016) Computational design of stable planar-rod structures. In: ACM SIGGRAPH, July 24-28, 2016, Anaheim, CA, USA.
Quadrianto, Novi and Sharmanska, Viktoriia and Knowles, David A and Ghahramani, Zoubin (2013) The supervised IBP: Neighbourhood preserving infinite latent feature models. In: UAI: Uncertainty in Artificial Intelligence, July 11-15, 2013, Bellevue, Washington, USA.
Wies, Thomas and Muñiz, Marco and Kuncak, Viktor (2011) On an efficient decision procedure for imperative tree data structures. Technical Report. IST Austria.