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 | 
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Draft | Working Paper | IST-REx-ID: 7038 |
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi:10.17323/1609-4514-2014-14-3-491-504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 8044 |
Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” Proceeding of the International Congress of Mathematicans, vol. 3, International Congress of Mathematicians, 2014, pp. 1175–94.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 892 |
Ivankov, Dmitry, et al. “A Structural Perspective of Compensatory Evolution.” Current Opinion in Structural Biology, vol. 26, Elsevier, 2014, pp. 104–12, doi:10.1016/j.sbi.2014.05.004.
View
| DOI
| Download None (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2051 |
Marchand, Mario, et al. “Multilabel Structured Output Learning with Random Spanning Trees of Max-Margin Markov Networks.” Advances in Neural Information Processing Systems, vol. 27, Neural Information Processing Systems Foundation, 2014.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2132 |
Erbar, Matthias, and Jan Maas. “Gradient Flow Structures for Discrete Porous Medium Equations.” Discrete and Continuous Dynamical Systems- Series A, vol. 34, no. 4, Southwest Missouri State University, 2014, pp. 1355–74, doi:10.3934/dcds.2014.34.1355 .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2131 |
Hairer, Martin, et al. “Approximating Rough Stochastic PDEs.” Communications on Pure and Applied Mathematics, vol. 67, no. 5, Wiley, 2014, pp. 776–870, doi:10.1002/cpa.21495.
View
| DOI
| Download None (ext.)
| arXiv
2014 | Published | Preprint | IST-REx-ID: 2017 |
Uhler, Caroline, et al. “ Exact Formulas for the Normalizing Constants of Wishart Distributions for Graphical Models.” ArXiv, 1406.4901, 2014, doi:10.48550/arXiv.1406.4901.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Technical Report | IST-REx-ID: 5425 |
Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
[Published Version]
View
| Files available
2014 | Research Data Reference | IST-REx-ID: 9740 |
Konrad, Matthias, et al. Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host. Dryad, 2014, doi:10.5061/dryad.vm0vc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2028 |
Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54, doi:10.1016/j.jtbi.2014.09.041.
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2165 |
Morvant, Emilie. “Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling.” Pattern Recognition Letters, vol. 51, Elsevier, 2014, pp. 37–43, doi:10.1016/j.patrec.2014.08.013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 | Published | Technical Report | IST-REx-ID: 5415 |
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
Fuchsbauer, Georg, et al. “Adaptive Security of Constrained PRFs.” 20th International Conference on the Theory and Application of Cryptology and Information Security, vol. 8874, Springer Nature, 2014, pp. 82–101, doi:10.1007/978-3-662-45608-8_5.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1854 |
Guerrero, Paul, et al. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum, vol. 34, no. 1, Wiley, 2014, pp. 239–52, doi:10.1111/cgf.12509.
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 3263 |
Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2261 |
Zhu, Fangfang, et al. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.” Nucleic Acids Research, vol. 42, no. 5, e34, Oxford University Press, 2014, doi:10.1093/nar/gkt1290.
[Preprint]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2285 |
Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.” Hippocampus, vol. 23, no. 2, Wiley-Blackwell, 2014, pp. 189–203, doi:10.1002/hipo.22214.
[Published Version]
View
| Files available
| DOI
| WoS