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 | 
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
2014 | Published | Technical Report | IST-REx-ID: 5416 |
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.
2014 | Draft | Working Paper | IST-REx-ID: 7038 |
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
[Published Version]
View
| Files available
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
2014 | Published | Journal Article | IST-REx-ID: 19475
Netrin-DCC signaling regulates corpus callosum formation through attraction of pioneering axons and by modulating Slit2-mediated repulsion
T. Fothergill, A.-L.S. Donahoo, A.M. Douglass, O. Zalucki, J. Yuan, T. Shu, G.J. Goodhill, L.J. Richards, Cerebral Cortex 24 (2014) 1138–1151.
View
| DOI
| PubMed | Europe PMC
T. Fothergill, A.-L.S. Donahoo, A.M. Douglass, O. Zalucki, J. Yuan, T. Shu, G.J. Goodhill, L.J. Richards, Cerebral Cortex 24 (2014) 1138–1151.
2014 | Published | Book Chapter | IST-REx-ID: 2245
Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
View
| DOI
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
2014 | Published | Conference Paper | IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 | Published | Journal Article | IST-REx-ID: 892 |
A structural perspective of compensatory evolution
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
View
| DOI
| Download None (ext.)
D. Ivankov, A. Finkelstein, F. Kondrashov, Current Opinion in Structural Biology 26 (2014) 104–112.
2014 | Published | Journal Article | IST-REx-ID: 2080
Spin-It: Optimizing moment of inertia for spinnable objects
M. Bächer, E. Whiting, B. Bickel, O. Sorkine Hornung, ACM Transactions on Graphics 33 (2014).
View
| Files available
| DOI
M. Bächer, E. Whiting, B. Bickel, O. Sorkine Hornung, ACM Transactions on Graphics 33 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 2051 |
Multilabel structured output learning with random spanning trees of max-margin Markov networks
M. Marchand, S. Hongyu, E. Morvant, J. Rousu, J. Shawe Taylor, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2014.
[Published Version]
View
| Download Published Version (ext.)
M. Marchand, S. Hongyu, E. Morvant, J. Rousu, J. Shawe Taylor, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2014.
2014 | Published | Journal Article | IST-REx-ID: 2115
Facial performance enhancement using dynamic shape space analysis
A. Bermano, D. Bradley, T. Beeler, F. Zund, D. Nowrouzezahrai, I. Baran, O. Sorkine Hornung, H. Pfister, R. Sumner, B. Bickel, M. Groß, ACM Transactions on Graphics 33 (2014).
View
| DOI
A. Bermano, D. Bradley, T. Beeler, F. Zund, D. Nowrouzezahrai, I. Baran, O. Sorkine Hornung, H. Pfister, R. Sumner, B. Bickel, M. Groß, ACM Transactions on Graphics 33 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2132 |
Gradient flow structures for discrete porous medium equations
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.
2014 | Published | Journal Article | IST-REx-ID: 2131 |
Approximating rough stochastic PDEs
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
View
| DOI
| Download None (ext.)
| arXiv
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
2014 | Published | Journal Article | IST-REx-ID: 1990
The bacterial cell division proteins ftsA and ftsZ self-organize into dynamic cytoskeletal patterns
M. Loose, T. Mitchison, Nature Cell Biology 16 (2014) 38–46.
View
| DOI
| PubMed | Europe PMC
M. Loose, T. Mitchison, Nature Cell Biology 16 (2014) 38–46.
2014 | Published | Journal Article | IST-REx-ID: 1989
Spatial organization of cytokinesis signaling reconstituted in a cell-free system
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.
View
| DOI
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.
2014 | Published | Preprint | IST-REx-ID: 2017 |
Exact formulas for the normalizing constants of Wishart distributions for graphical models
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
2014 | Published | Journal Article | IST-REx-ID: 254
The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
View
| Files available
| DOI
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
2014 | Published | Technical Report | IST-REx-ID: 5425 |
Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Optimal Cost Almost-Sure Reachability in POMDPs, IST Austria, 2014.
2014 | Research Data Reference | IST-REx-ID: 9740 |
Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).