|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
Chatterjee, Krishnendu and Dvorák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika (2016) Conditionally optimal algorithms for generalized Büchi Games. In: MFCS: International Symposium on Mathematical Foundations of Computer Science , August 22-26, 2016, Krakow, POL.
Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2016) Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: ESA: European Symposium on Algorithms , August 22-26, 2016, Aarhus, DK.
Chonev, Ventsislav and Ouaknine, Joël and Worrell, James (2016) On the skolem problem for continuous linear dynamical systems. In: ICALP: International Colloquium on Automata, Languages, and Programming , July 11-15, 2016, Rome, IT.
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.
Pentina, Anastasia (2016) Theoretical foundations of multi-task lifelong learning. PhD thesis, IST Austria.
Pentina, Anastasia and Urner, Ruth (2016) Lifelong learning with weighted majority votes. In: NIPS: Neural Information Processing Systems, December 5-10, 2016, Barcelona, Spain.
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.
Reite, Johannes G and Makohon-Moore, Alvin P and Gerold, Jeffrey M and Bozic, Ivana and Chatterjee, Krishnendu and Iacobuzio-Donahue, Christine A and Vogelstein, Bert and Nowak, Martin A (2017) Reconstructing metastatic seeding patterns of human cancers. Nature Communications, 8. Article number: 14114 . ISSN 2041-1723
Wies, Thomas and Muñiz, Marco and Kuncak, Viktor (2011) On an efficient decision procedure for imperative tree data structures. Technical Report. IST Austria.