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.
7012 Publications
2013 |Published| Conference Paper | IST-REx-ID: 10898
Haas, Andreas, et al. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.” Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, no. 5, 17, ACM Press, 2013, doi:10.1145/2482767.2482789.
View
| DOI
2013 |Published| Book Chapter | IST-REx-ID: 10899
Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–15, doi:10.1016/b978-0-12-384719-5.00031-9.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 115
Waitukaitis, Scott R., and Heinrich Jaeger. “In Situ Granular Charge Measurement by Free-Fall Videography.” Review of Scientific Instruments, vol. 84, no. 2, 025104, AIP, 2013, doi:10.1063/1.4789496.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 116
Waitukaitis, Scott R., et al. “Dynamic Jamming Fronts.” EPL, vol. 102, no. 4, 44001, Elsevier, 2013, doi:10.1209/0295-5075/102/44001.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 117
Jaeger, Heinrich, et al. “From Nanoscale Cohesion to Macroscale Entanglement: Opportunities for Designing Granular Aggregate Behaviour by Tailoring Grain Shape and Interactions.” AIP Conference Proceedings, vol. 1542, AIP, 2013, pp. 3–6, doi:10.1063/1.4811858.
View
| DOI
2013 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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.)
2013 |Published| Book Chapter | IST-REx-ID: 1443 |
Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1469
Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 1470 |
De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
View
| DOI
| Download (ext.)
2013 |Published| Journal Article | IST-REx-ID: 1726
Kahane, Nitza, et al. “The Transition from Differentiation to Growth during Dermomyotome-Derived Myogenesis Depends on Temporally Restricted Hedgehog Signaling.” Development, vol. 140, no. 8, Company of Biologists, 2013, pp. 1740–50, doi:10.1242/dev.092726.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 1727
Kicheva, Anna, et al. “Quantitative Imaging of Morphogen Gradients in Drosophila Imaginal Discs.” Cold Spring Harbor Protocols, vol. 8, no. 5, Cold Spring Harbor Laboratory Press, 2013, pp. 387–403, doi:10.1101/pdb.top074237.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 1760 |
Ares, Natalia, et al. “SiGe Quantum Dots for Fast Hole Spin Rabi Oscillations.” Applied Physics Letters, vol. 103, no. 26, American Institute of Physics, 2013, doi:10.1063/1.4858959.
View
| DOI
| Download (ext.)