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 TA, Otop J. Model measuring for hybrid systems. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. Springer; 2014:213-222. doi:10.1145/2562059.2562130
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2014 | Published | Technical Report | IST-REx-ID: 5416 |
Henzinger TA, Otop J. 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 K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 2014;14(3):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 T, Donahoo A-LS, Douglass AM, et al. Netrin-DCC signaling regulates corpus callosum formation through attraction of pioneering axons and by modulating Slit2-mediated repulsion. Cerebral Cortex. 2014;24(5):1138-1151. doi:10.1093/cercor/bhs395
View
| DOI
| PubMed | Europe PMC
2014 | Published | Book Chapter | IST-REx-ID: 2245
Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Hicks G, Robert S, eds. Plant Chemical Genomics. Vol 1056. Methods in Molecular Biology. Springer; 2014:255-264. doi:10.1007/978-1-62703-592-7_23
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 8044 |
Seiringer R. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. International Congress of Mathematicians; 2014:1175-1194.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 892 |
Ivankov D, Finkelstein A, Kondrashov F. A structural perspective of compensatory evolution. Current Opinion in Structural Biology. 2014;26:104-112. doi:10.1016/j.sbi.2014.05.004
View
| DOI
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2080
Bächer M, Whiting E, Bickel B, Sorkine Hornung O. Spin-It: Optimizing moment of inertia for spinnable objects. ACM Transactions on Graphics. 2014;33(4). doi:10.1145/2601097.2601157
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 2051 |
Marchand M, Hongyu S, Morvant E, Rousu J, Shawe Taylor J. 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 A, Bradley D, Beeler T, et al. Facial performance enhancement using dynamic shape space analysis. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2546276
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2132 |
Erbar M, Maas J. Gradient flow structures for discrete porous medium equations. Discrete and Continuous Dynamical Systems- Series A. 2014;34(4):1355-1374. doi:10.3934/dcds.2014.34.1355
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2131 |
Hairer M, Maas J, Weber H. Approximating rough stochastic PDEs. Communications on Pure and Applied Mathematics. 2014;67(5):776-870. doi:10.1002/cpa.21495
View
| DOI
| Download None (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1990
Loose M, Mitchison T. The bacterial cell division proteins ftsA and ftsZ self-organize into dynamic cytoskeletal patterns. Nature Cell Biology. 2014;16:38-46. doi:10.1038/ncb2885
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1989
Nguyen P, Groen A, Loose M, et al. Spatial organization of cytokinesis signaling reconstituted in a cell-free system. Science. 2014;346(6206):244-247. doi:10.1126/science.1256773
View
| DOI
2014 | Published | Preprint | IST-REx-ID: 2017 |
Uhler C, Lenkoski A, Richards D. Exact formulas for the normalizing constants of Wishart distributions for graphical models. ArXiv. 2014. doi:10.48550/arXiv.1406.4901
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 254
Browning TD. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2014;2015(7):1987-2019. doi:10.1093/imrn/rnt350
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular games. In: VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014: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, Anonymous 2, Anonymous 3, Anonymous 4. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria; 2014.
[Published Version]
View
| Files available
2014 | Research Data Reference | IST-REx-ID: 9740 |
Konrad M, Grasse AV, Tragust S, Cremer S. Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. 2014. doi:10.5061/dryad.vm0vc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)