Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7296 Publications
2014 | Published | Technical Report | IST-REx-ID: 5416 | 
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Draft | Working Paper | IST-REx-ID: 7038 |
K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 1876 |
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3. Independent University of Moscow, pp. 491–504, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 8044 |
R. Seiringer, “Structure of the excitation spectrum for many-body quantum systems,” in Proceeding of the International Congress of Mathematicans, Seoul, South Korea, 2014, vol. 3, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 892 |
D. Ivankov, A. Finkelstein, and F. Kondrashov, “A structural perspective of compensatory evolution,” Current Opinion in Structural Biology, vol. 26. Elsevier, pp. 104–112, 2014.
View
| DOI
| Download None (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2051 |
M. Marchand, S. Hongyu, E. Morvant, J. Rousu, and J. Shawe Taylor, “Multilabel structured output learning with random spanning trees of max-margin Markov networks,” in Advances in Neural Information Processing Systems, Montreal, Canada, 2014, vol. 27.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2132 |
M. Erbar and J. Maas, “Gradient flow structures for discrete porous medium equations,” Discrete and Continuous Dynamical Systems- Series A, vol. 34, no. 4. Southwest Missouri State University, pp. 1355–1374, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2131 |
M. Hairer, J. Maas, and H. Weber, “Approximating rough stochastic PDEs,” Communications on Pure and Applied Mathematics, vol. 67, no. 5. Wiley, pp. 776–870, 2014.
View
| DOI
| Download None (ext.)
| arXiv
2014 | Published | Preprint | IST-REx-ID: 2017 |
C. Uhler, A. Lenkoski, and D. Richards, “ Exact formulas for the normalizing constants of Wishart distributions for graphical models,” ArXiv. 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Technical Report | IST-REx-ID: 5425 |
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Optimal cost almost-sure reachability in POMDPs. IST Austria, 2014.
[Published Version]
View
| Files available
2014 | Research Data Reference | IST-REx-ID: 9740 |
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host.” Dryad, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2028 |
K. Bodova, D. Paydarfar, and D. Forger, “Characterizing spiking in noisy type II neurons,” Journal of Theoretical Biology, vol. 365. Academic Press, pp. 40–54, 2014.
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2165 |
E. Morvant, “Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling,” Pattern Recognition Letters, vol. 51. Elsevier, pp. 37–43, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 | Published | Technical Report | IST-REx-ID: 5415 |
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
G. Fuchsbauer, M. Konstantinov, K. Z. Pietrzak, and V. Rao, “Adaptive security of constrained PRFs,” in 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, 2014, vol. 8874, pp. 82–101.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1854 |
P. Guerrero, T. Auzinger, M. Wimmer, and S. Jeschke, “Partial shape matching using transformation parameter similarity,” Computer Graphics Forum, vol. 34, no. 1. Wiley, pp. 239–252, 2014.
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 3263 |
G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2261 |
F. Zhu et al., “DICE, an efficient system for iterative genomic editing in human pluripotent stem cells,” Nucleic Acids Research, vol. 42, no. 5. Oxford University Press, 2014.
[Preprint]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2285 |
J. Hosp et al., “Morpho-physiological criteria divide dentate gyrus interneurons into classes,” Hippocampus, vol. 23, no. 2. Wiley-Blackwell, pp. 189–203, 2014.
[Published Version]
View
| Files available
| DOI
| WoS