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.

12224 Publications


2011 | Published | Journal Article | IST-REx-ID: 18411
Bronstein, Michael M., and Alex M. Bronstein. “Shape Recognition with Spectral Distances.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 33, no. 5, Institute of Electrical and Electronics Engineers, 2011, pp. 1065–71, doi:10.1109/tpami.2010.210.
View | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 18433
Bronstein, Alex M., et al. “Shape Google: Geometric Words and Expressions for Invariant Shape Retrieval.” ACM Transactions on Graphics, vol. 30, no. 1, Association for Computing Machinery, 2011, pp. 1–20, doi:10.1145/1899404.1899405.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 22061 | OA
Killip, Rowan, and Monica Vişan. “The Radial Defocusing Energy-Supercritical Nonlinear Wave Equation in All Space Dimensions.” Proceedings of the American Mathematical Society, vol. 139, no. 5, American Mathematical Society, 2011, pp. 1805–17, doi:10.1090/s0002-9939-2010-10615-9.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation for Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger, Thomas A., et al. “Static Scheduling in Clouds.” 3rd USENIX Workshop on Hot Topics in Cloud Computing, Usenix Association, 2011, pp. 1–6.
[Submitted Version] View | Files available
 

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems, vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic, vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
[Published Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi: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, vol. 77, no. 1–2, Springer Nature, 2011, pp. 359–67, doi:10.1007/BF03651375.
View | DOI
 

2011 | Published | Conference Abstract | IST-REx-ID: 3383 | OA
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” The FEBS Journal, vol. 278, no. S1, Wiley, 2011, pp. 24–24, doi:10.1111/j.1742-4658.2011.08136.x.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, et al. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS, vol. 108, no. 3, National Academy of Sciences, 2011, pp. E9–10, doi:10.1073/pnas.1010767108.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, Marcus, et al. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters, vol. 36, no. 7, Optica Publishing Group, 2011, pp. 1260–62, doi:10.1364/OL.36.001260.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3393 | OA
Barton, Nicholas H., and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist, vol. 178, no. 3, University of Chicago Press, 2011, pp. E48–75, doi:10.1086/661246.
[Submitted Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 22556
Fatichi, Simone, et al. “Simulation of Future Climate Scenarios with a Weather Generator.” Advances in Water Resources, vol. 34, no. 4, Elsevier, 2011, pp. 448–67, doi:10.1016/j.advwatres.2010.12.013.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3375 | OA
de Vladar, Harold, and Nicholas H. Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface, vol. 8, no. 58, Royal Society, 2011, pp. 720–39, doi:10.1098/rsif.2010.0438.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, Régis, et al. “ABC: Algebraic Bound Computation for Loops.” Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, vol. 6355, Springer Nature, 2010, pp. 103–18, doi:10.1007/978-3-642-17511-4_7.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed