ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6436 Publications

2017 | Published | Journal Article | IST-REx-ID: 1367 |

Manteaux P, Wojtan C, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. Computer Graphics Forum. 2017;36(6):312-337. doi:10.1111/cgf.12941

[Submitted Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1407 |

Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi:10.1016/j.nahs.2016.04.006

2017 | Published | Conference Paper | IST-REx-ID: 14205 |

Locatello F, Khanna R, Tschannen M, Jaggi M. A unified optimization view on generalized matching pursuit and Frank-Wolfe. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics. Vol 54. ML Research Press; 2017:860-868.

[Preprint] View | Download Preprint (ext.) | arXiv

2017 | Published | Conference Paper | IST-REx-ID: 14206 |

Locatello F, Tschannen M, Rätsch G, Jaggi M. Greedy algorithms for cone constrained optimization with convergence guarantees. In: Advances in Neural Information Processing Systems. ; 2017.

[Preprint] View | Download Preprint (ext.) | arXiv

2017 | Published | Journal Article | IST-REx-ID: 1433 |

Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2017 | Published | Conference Paper | IST-REx-ID: 18286 |

Litany O, Remez T, Rodola E, Bronstein A, Bronstein M. Deep functional maps: Structured prediction for dense shape correspondence. In: 2017 IEEE International Conference on Computer Vision (ICCV). Vol 31. IEEE; 2017. doi:10.1109/iccv.2017.603

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Published | Journal Article | IST-REx-ID: 1228 |

Sauerzopf U, Sacco R, Novarino G, et al. Are reprogrammed cells a useful tool for studying dopamine dysfunction in psychotic disorders? A review of the current evidence. European Journal of Neuroscience. 2017;45(1):45-57. doi:10.1111/ejn.13418

2017 | Published | Conference Abstract | IST-REx-ID: 12905 |

Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHPC17 – Austrian HPC Meeting 2017. FSP Scientific Computing; 2017:28.

[Published Version] View | Files available | Download Published Version (ext.)

2017 | Published | Journal Article | IST-REx-ID: 1294 |

Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009

[Published Version] View | Files available | DOI | WoS

2017 | Published | Conference Paper | IST-REx-ID: 13160 |

Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2017 | Published | Journal Article | IST-REx-ID: 2016 |

Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 2017;44(2):285-306. doi:10.1111/sjos.12251

2017 | Published | Thesis | PhD | IST-REx-ID: 202 |

Pleska M. Biology of restriction-modification systems at the single-cell and population level. 2017. doi:10.15479/AT:ISTA:th_916

[Published Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 1528 |

Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y

[Published Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1063 |

Uecker H. Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. 2017;71(4):845-858. doi:10.1111/evo.13191

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2017 | Published | Journal Article | IST-REx-ID: 1065 |

Chatterjee K, Osang GF. Pushdown reachability with constant treewidth. Information Processing Letters. 2017;122:25-29. doi:10.1016/j.ipl.2017.02.003

[Submitted Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1066 |

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2017 | Published | Journal Article | IST-REx-ID: 1067 |

Morita H, Grigolon S, Bock M, Krens G, Salbreux G, Heisenberg C-PJ. The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. 2017;40(4):354-366. doi:10.1016/j.devcel.2017.01.010

[Published Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1072 |

Bauer U, Edelsbrunner H. The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. 2017;369(5):3741-3762. doi:10.1090/tran/6991

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2017 | Published | Journal Article | IST-REx-ID: 1073 |

Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 2017;54(4):915-965. doi:10.1007/s00454-016-9855-6

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2017 | Published | Journal Article | IST-REx-ID: 1074 |

Ringbauer H, Coop G, Barton NH. Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics. 2017;205(3):1335-1351. doi:10.1534/genetics.116.196220

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options