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.” In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014. https://doi.org/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. https://doi.org/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, n.d.
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal. Independent University of Moscow, 2014. https://doi.org/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, Amber-Lee S. Donahoo, Amelia M. Douglass, Oressia Zalucki, Jiajia Yuan, Tianzhi Shu, Geoffrey J. Goodhill, and Linda J. Richards. “Netrin-DCC Signaling Regulates Corpus Callosum Formation through Attraction of Pioneering Axons and by Modulating Slit2-Mediated Repulsion.” Cerebral Cortex. Oxford University Press, 2014. https://doi.org/10.1093/cercor/bhs395.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Book Chapter | IST-REx-ID: 2245
Simon, Sibu, Petr Skůpa, Petre Dobrev, Jan Petrášek, Eva Zažímalová, and Jiří Friml. “Analyzing the in Vivo Status of Exogenously Applied Auxins: A HPLC-Based Method to Characterize the Intracellularly Localized Auxin Transporters.” In Plant Chemical Genomics, edited by Glenn Hicks and Stéphanie Robert, 1056:255–64. Methods in Molecular Biology. Springer, 2014. https://doi.org/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.” In Proceeding of the International Congress of Mathematicans, 3:1175–94. International Congress of Mathematicians, 2014.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 892 |
Ivankov, Dmitry, Alexei Finkelstein, and Fyodor Kondrashov. “A Structural Perspective of Compensatory Evolution.” Current Opinion in Structural Biology. Elsevier, 2014. https://doi.org/10.1016/j.sbi.2014.05.004.
View
| DOI
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2080
Bächer, Moritz, Emily Whiting, Bernd Bickel, and Olga Sorkine Hornung. “Spin-It: Optimizing Moment of Inertia for Spinnable Objects.” ACM Transactions on Graphics. ACM, 2014. https://doi.org/10.1145/2601097.2601157.
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 2051 |
Marchand, Mario, Su Hongyu, Emilie Morvant, Juho Rousu, and John Shawe Taylor. “Multilabel Structured Output Learning with Random Spanning Trees of Max-Margin Markov Networks.” In 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, Derek Bradley, Thabo Beeler, Fabio Zund, Derek Nowrouzezahrai, Ilya Baran, Olga Sorkine Hornung, et al. “Facial Performance Enhancement Using Dynamic Shape Space Analysis.” ACM Transactions on Graphics. ACM, 2014. https://doi.org/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. Southwest Missouri State University, 2014. https://doi.org/10.3934/dcds.2014.34.1355 .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2131 |
Hairer, Martin, Jan Maas, and Hendrik Weber. “Approximating Rough Stochastic PDEs.” Communications on Pure and Applied Mathematics. Wiley, 2014. https://doi.org/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. Nature Publishing Group, 2014. https://doi.org/10.1038/ncb2885.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1989
Nguyen, Phuong, Aaron Groen, Martin Loose, Keisuke Ishihara, Martin Wühr, Christine Field, and Timothy Mitchison. “Spatial Organization of Cytokinesis Signaling Reconstituted in a Cell-Free System.” Science. American Association for the Advancement of Science, 2014. https://doi.org/10.1126/science.1256773.
View
| DOI
2014 | Published | Preprint | IST-REx-ID: 2017 |
Uhler, Caroline, Alex Lenkoski, and Donald Richards. “ Exact Formulas for the Normalizing Constants of Wishart Distributions for Graphical Models.” ArXiv, 2014. https://doi.org/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. Oxford University Press, 2014. https://doi.org/10.1093/imrn/rnt350.
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.” In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014. https://doi.org/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, 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 |
Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Dryad, 2014. https://doi.org/10.5061/dryad.vm0vc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)