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.
9087 Publications
2013 | Journal Article | IST-REx-ID: 12641 | 
Heynen, Martin, et al. “Parameter Sensitivity of a Distributed Enhanced Temperature-Index Melt Model.” Annals of Glaciology, vol. 54, no. 63, International Glaciological Society, 2013, pp. 311–21, doi:10.3189/2013aog63a537.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 1304
Haikala, Väinö, et al. “Optogenetic Control of Fly Optomotor Responses.” Journal of Neuroscience, vol. 33, no. 34, Society for Neuroscience, 2013, pp. 13927–34, doi:10.1523/JNEUROSCI.0340-13.2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1305
Jösch, Maximilian A., et al. “Functional Specialization of Parallel Motion Detection Circuits in the Fly.” Journal of Neuroscience, vol. 33, no. 3, Society for Neuroscience, 2013, pp. 902–05, doi:10.1523/JNEUROSCI.3374-12.2013.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1308
Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1307
Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.
View
| DOI
2013 | Journal Article | IST-REx-ID: 1310
Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 1374 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1385 |
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 1387 |
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 1442 |
Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View
| DOI
| Download (ext.)