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 | 
T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in Proceedings of the 17th international conference on Hybrid systems: computation and control, Berlin, Germany, 2014, pp. 213–222.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
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 | Journal Article | IST-REx-ID: 19475
T. Fothergill 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, pp. 1138–1151, 2014.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Book Chapter | IST-REx-ID: 2245
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, and J. 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, vol. 1056, G. Hicks and S. Robert, Eds. Springer, 2014, pp. 255–264.
View
| DOI
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 | Journal Article | IST-REx-ID: 2080
M. Bächer, E. Whiting, B. Bickel, and O. Sorkine Hornung, “Spin-It: Optimizing moment of inertia for spinnable objects,” ACM Transactions on Graphics, vol. 33, no. 4. ACM, 2014.
View
| Files available
| DOI
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 | Journal Article | IST-REx-ID: 1990
M. Loose and T. Mitchison, “The bacterial cell division proteins ftsA and ftsZ self-organize into dynamic cytoskeletal patterns,” Nature Cell Biology, vol. 16. Nature Publishing Group, pp. 38–46, 2014.
View
| DOI
| PubMed | Europe PMC
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 | Journal Article | IST-REx-ID: 254
T. D. Browning, “The polynomial sieve and equal sums of like polynomials,” International Mathematics Research Notices, vol. 2015, no. 7. Oxford University Press, pp. 1987–2019, 2014.
View
| Files available
| DOI
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.)