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.
10945 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2217 | 
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.” Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi:10.1145/2562059.2562130.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
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 | Journal Article | IST-REx-ID: 19475
Fothergill, Thomas, et al. “Netrin-DCC Signaling Regulates Corpus Callosum Formation through Attraction of Pioneering Axons and by Modulating Slit2-Mediated Repulsion.” Cerebral Cortex, vol. 24, no. 5, Oxford University Press, 2014, pp. 1138–51, doi:10.1093/cercor/bhs395.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Book Chapter | IST-REx-ID: 2245
Simon, Sibu, et al. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, vol. 1056, Springer, 2014, pp. 255–64, doi:10.1007/978-1-62703-592-7_23.
View
| DOI
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 | Journal Article | IST-REx-ID: 2080
Bächer, Moritz, et al. “Spin-It: Optimizing Moment of Inertia for Spinnable Objects.” ACM Transactions on Graphics, vol. 33, no. 4, 96, ACM, 2014, doi:10.1145/2601097.2601157.
View
| Files available
| DOI
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: 2115
Bermano, Amit, et al. “Facial Performance Enhancement Using Dynamic Shape Space Analysis.” ACM Transactions on Graphics, vol. 33, no. 2, 13, ACM, 2014, doi:10.1145/2546276.
View
| DOI
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 | Journal Article | IST-REx-ID: 1990
Loose, Martin, and Timothy Mitchison. “The Bacterial Cell Division Proteins FtsA and FtsZ Self-Organize into Dynamic Cytoskeletal Patterns.” Nature Cell Biology, vol. 16, Nature Publishing Group, 2014, pp. 38–46, doi:10.1038/ncb2885.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1989
Nguyen, Phuong, et al. “Spatial Organization of Cytokinesis Signaling Reconstituted in a Cell-Free System.” Science, vol. 346, no. 6206, American Association for the Advancement of Science, 2014, pp. 244–47, doi:10.1126/science.1256773.
View
| DOI
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 | Journal Article | IST-REx-ID: 254
Browning, Timothy D. “The Polynomial Sieve and Equal Sums of like Polynomials.” International Mathematics Research Notices, vol. 2015, no. 7, Oxford University Press, 2014, pp. 1987–2019, doi:10.1093/imrn/rnt350.
View
| Files available
| DOI
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.)