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
Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.
View
| DOI
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.
2013 |Published| Book Chapter | IST-REx-ID: 10899
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
2013 |Published| Journal Article | IST-REx-ID: 115
In situ granular charge measurement by free-fall videography
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
View
| DOI
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
2013 |Published| Journal Article | IST-REx-ID: 116
Dynamic jamming fronts
S.R. Waitukaitis, L. Roth, V. Vitelli, H. Jaeger, EPL 102 (2013).
View
| DOI
S.R. Waitukaitis, L. Roth, V. Vitelli, H. Jaeger, EPL 102 (2013).
2013 |Published| Conference Paper | IST-REx-ID: 117
From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions
H. Jaeger, M. Miskin, S.R. Waitukaitis, in:, AIP Conference Proceedings, AIP, 2013, pp. 3–6.
View
| DOI
H. Jaeger, M. Miskin, S.R. Waitukaitis, in:, AIP Conference Proceedings, AIP, 2013, pp. 3–6.
2013 |Published| Journal Article | IST-REx-ID: 1304
Optogenetic control of fly optomotor responses
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
View
| DOI
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
2013 |Published| Journal Article | IST-REx-ID: 1305
Functional specialization of parallel motion detection circuits in the fly
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
View
| DOI
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
2013 |Published| Journal Article | IST-REx-ID: 1308
Advection-driven support shrinking in a chemotaxis model with degenerate mobility
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
View
| DOI
J.L. Fischer, SIAM Journal on Mathematical Analysis 45 (2013) 1585–1615.
2013 |Published| Journal Article | IST-REx-ID: 1307
Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
View
| DOI
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
2013 |Published| Journal Article | IST-REx-ID: 1310
Optimal lower bounds on asymptotic support propagation rates for the thin-film equation
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
View
| DOI
J.L. Fischer, Journal of Differential Equations 255 (2013) 3127–3149.
2013 |Published| Conference Paper | IST-REx-ID: 1374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 |Published| Conference Paper | IST-REx-ID: 1385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 |Published| Journal Article | IST-REx-ID: 1442 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
2013 |Published| Book Chapter | IST-REx-ID: 1443 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
View
| Download (ext.)
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
2013 |Published| Journal Article | IST-REx-ID: 1469
Arithmetic harmonic analysis on character and quiver varieties II
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
View
| DOI
T. Hausel, E. Letellier, F. Rodríguez Villegas, Advances in Mathematics 234 (2013) 85–128.
2013 |Published| Journal Article | IST-REx-ID: 1470 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Journal of Singularities 7 (2013) 23–38.
2013 |Published| Journal Article | IST-REx-ID: 1726
The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, C. Kalcheim, Development 140 (2013) 1740–1750.
View
| DOI
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, C. Kalcheim, Development 140 (2013) 1740–1750.
2013 |Published| Journal Article | IST-REx-ID: 1727
Quantitative imaging of morphogen gradients in drosophila imaginal discs
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, M. González Gaitán, Cold Spring Harbor Protocols 8 (2013) 387–403.
View
| DOI
A. Kicheva, L. Holtzer, O. Wartlick, T. Schmidt, M. González Gaitán, Cold Spring Harbor Protocols 8 (2013) 387–403.
2013 |Published| Journal Article | IST-REx-ID: 1760 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
SiGe quantum dots for fast hole spin Rabi oscillations
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).
View
| DOI
| Download (ext.)
N. Ares, G. Katsaros, V. Golovach, J. Zhang, A. Prager, L. Glazman, O. Schmidt, S. De Franceschi, Applied Physics Letters 103 (2013).