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.
337 Publications
2011 |
Published |
Journal Article |
IST-REx-ID: 22061 |
Killip, Rowan, and Monica Vişan. “The Radial Defocusing Energy-Supercritical Nonlinear Wave Equation in All Space Dimensions.” Proceedings of the American Mathematical Society. American Mathematical Society, 2011. https://doi.org/10.1090/s0002-9939-2010-10615-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |
Published |
Journal Article |
IST-REx-ID: 3315 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science. International Federation for Computational Logic, 2011. https://doi.org/10.2168/LMCS-7(4:8)2011.
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Conference Paper |
IST-REx-ID: 3302 |
Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey. “Static Scheduling in Clouds.” In 3rd USENIX Workshop on Hot Topics in Cloud Computing, 1–6. Usenix Association, 2011.
[Submitted Version]
View
| Files available
earlier version | 2011 |
Published |
Conference Paper |
IST-REx-ID: 3356 |
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.
[Submitted Version]
View
| Files available
| DOI
| WoS
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5385 |
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5381 |
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 3353 |
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems. ACM, 2011. https://doi.org/10.1145/1985342.1985345.
[Submitted Version]
View
| Files available
| DOI
| WoS
earlier version | 2011 |
Published |
Journal Article |
IST-REx-ID: 3354
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic. ACM, 2011. https://doi.org/10.1145/1970398.1970404.
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3396 |
Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.071233.
[Published Version]
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3379 |
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology. Elsevier, 2011. https://doi.org/10.1016/j.ydbio.2011.03.025.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Scientiarum Mathematicarum. Springer Nature, 2011. https://doi.org/10.1007/BF03651375.
View
| DOI
2011 |
Published |
Conference Abstract |
IST-REx-ID: 3383 |
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” In The FEBS Journal, 278:24–24. Wiley, 2011. https://doi.org/10.1111/j.1742-4658.2011.08136.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 3368 |
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1010767108.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 3373 |
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters. Optica Publishing Group, 2011. https://doi.org/10.1364/OL.36.001260.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 3393 |
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist. University of Chicago Press, 2011. https://doi.org/10.1086/661246.
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 22556
Fatichi, Simone, Valeriy Y. Ivanov, and Enrica Caporali. “Simulation of Future Climate Scenarios with a Weather Generator.” Advances in Water Resources. Elsevier, 2011. https://doi.org/10.1016/j.advwatres.2010.12.013.
View
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 3375 |
Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface. Royal Society, 2011. https://doi.org/10.1098/rsif.2010.0438.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC