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.
5982 Publications
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4243 | 
Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.” Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi:10.1214/EJP.v15-741.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3867 |
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3868 |
Chatterjee, Krishnendu, et al. “Algorithms for Game Metrics.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Bendich, Paul, et al. “Computing Robustness and Persistence for Images.” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 4134
Bridle, Jon, et al. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.” Ecology Letters, vol. 13, no. 4, Wiley-Blackwell, 2010, pp. 485–94, doi:10.1111/j.1461-0248.2010.01442.x.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 4157 |
Papusheva, Ekaterina, and Carl-Philipp J. Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.” EMBO Journal, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2753–68, doi:10.1038/emboj.2010.182.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2010 | Published | Conference Paper | IST-REx-ID: 3860 |
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3863 |
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Conference Paper | IST-REx-ID: 3845 |
Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Conference Paper | IST-REx-ID: 3858 |
Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
[Submitted Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3834 |
Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, Alba, et al. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.” PLoS Biology, vol. 8, no. 11, e1000544, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000544.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology, vol. 30, no. 4, Oxford University Press, 2010, pp. 658–63, doi:10.1651/09-3192.1.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3787 |
Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, et al. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, Springer, 2010, pp. 99–103, doi:10.1140/epje/i2010-10642-y.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3832 |
Guzmán, José, and Peter M. Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron, vol. 66, no. 1, Elsevier, 2010, pp. 8–10, doi:10.1016/j.neuron.2010.04.003.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC