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.

4964 Publications


2010 | Journal Article | IST-REx-ID: 3303 | OA
D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4. Genetics Society of America, pp. 1389–1410, 2010.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3604
H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland,” Molecular Ecology, vol. 19, no. 5. Wiley-Blackwell, pp. 910–924, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.
[Submitted Version] View | Files available | arXiv
 

2010 | Journal Article | IST-REx-ID: 3718
J. Guzmán et al., “P2Y1 receptors inhibit long-term depression in the prefrontal cortex.,” Neuropharmacology, vol. 59, no. 6. Elsevier, pp. 406–415, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
F. Palero, F. González Candelas, and M. Pascual, “Microsatelight – Pipeline to expedite microsatellite analysis,” Journal of Heredity, vol. 102, no. 2. Oxford University Press, pp. 247–249, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
C. Chen and D. Freedman, “Topology noise removal for curve  and surface evolution,” in Conference proceedings MCV 2010, Beijing, China, 2010, vol. 6533, pp. 31–42.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795 | OA
H. Edelsbrunner, D. Morozov, and A. Patel, “The stability of the apparent contour of an orientable 2-manifold,” in Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3794
C. Lampert and O. Krömer, “Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6312, pp. 566–579.
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
J. Guzmán and P. M. Jonas, “Beyond TARPs: The growing list of auxiliary AMPAR subunits,” Neuron, vol. 66, no. 1. Elsevier, pp. 8–10, 2010.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3833
P. M. Jonas and S. Hefft, “GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova),” The European Journal of Neuroscience, vol. 31, no. 7. Wiley-Blackwell, pp. 1194–1195, 2010.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3847 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Rybalchenko, “Aligators for arrays,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 348–356.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” IET Systems Biology, vol. 4, no. 6. Institution of Engineering and Technology, pp. 441–452, 2010.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3848
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “The robustness of level sets,” presented at the ESA: European Symposium on Algorithms, Liverpool, UK, 2010, vol. 6346, pp. 1–10.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858 | OA
K. Chatterjee and L. Doyen, “The complexity of partial-observation parity games,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 1–14.
[Submitted Version] View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3856 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and T. A. Henzinger, “Randomness for free,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 246–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference (Editor) | IST-REx-ID: 3859
K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
[Submitted Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4134
J. Bridle, J. Polechova, M. Kawata, and R. Butlin, “Why is adaptation prevented at ecological margins? New insights from individual-based simulations,” Ecology Letters, vol. 13, no. 4. Wiley-Blackwell, pp. 485–494, 2010.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications