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.

8924 Publications


2011 | Published | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
[Published Version] View | Files available | DOI
 

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
 

2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development, vol. 137, no. 14, The Company of Biologists, 2010, pp. 2409–16, doi:10.1242/dev.049320.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12200
Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.” Biochemical Society Transactions, vol. 38, no. 2, Portland Press Ltd., 2010, pp. 571–76, doi:10.1042/bst0380571.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12653 | OA
Pellicciotti, Francesca, et al. “Effect of Glaciers on Streamflow Trends in the Swiss Alps.” Water Resources Research, vol. 46, no. 10, W10522, American Geophysical Union, 2010, doi:10.1029/2009wr009039.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1300
Jösch, Maximilian A., et al. “ON and off Pathways in Drosophila Motion Vision.” Nature, vol. 468, no. 7321, Nature Publishing Group, 2010, pp. 300–04, doi:10.1038/nature09545.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1301
Schnell, Bettina, et al. “Processing of Horizontal Optic Flow in Three Visual Interneurons of the Drosophila Brain.” Journal of Neurophysiology, vol. 103, no. 3, American Physiological Society, 2010, pp. 1646–57, doi:10.1152/jn.00950.2009.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 8472
Schanda, Paul, et al. “Quantitative Analysis of Protein Backbone Dynamics in Microcrystalline Ubiquitin by Solid-State NMR Spectroscopy.” Journal of the American Chemical Society, vol. 132, no. 45, American Chemical Society, 2010, pp. 15957–67, doi:10.1021/ja100726a.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 8473
Corazza, Alessandra, et al. “Native-Unlike Long-Lived Intermediates along the Folding Pathway of the Amyloidogenic Protein Β2-Microglobulin Revealed by Real-Time Two-Dimensional NMR.” Journal of Biological Chemistry, vol. 285, no. 8, American Society for Biochemistry & Molecular Biology, 2010, pp. 5827–35, doi:10.1074/jbc.m109.061168.
View | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt, Brian R., and Vadim Kaloshin. “Prevalence.” Handbook of Dynamical Systems, vol. 3, Elsevier, 2010, pp. 43–87, doi:10.1016/s1874-575x(10)00310-3.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 8507
Kaloshin, Vadim, et al. “Almost Dense Orbit on Energy Surface.” XVIth International Congress on Mathematical Physics, World Scientific, 2010, pp. 314–22, doi:10.1142/9789814304634_0017.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 857
Povolotskaya, Inna, and Fyodor Kondrashov. “Sequence Space and the Ongoing Expansion of the Protein Universe.” Nature, vol. 465, no. 7300, Nature Publishing Group, 2010, pp. 922–26, doi:10.1038/nature09105.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 862
Meer, Margarita, et al. “Compensatory Evolution in Mitochondrial TRNAs Navigates Valleys of Low Fitness.” Nature, vol. 464, no. 7286, Nature Publishing Group, 2010, pp. 279–82, doi:10.1038/nature08691.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 872
Kondrashov, Fyodor, and Alexey Kondrashov. “Measurements of Spontaneous Rates of Mutations in the Recent Past and the near Future.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, Royal Society, The, 2010, pp. 1169–76, doi:10.1098/rstb.2009.0286.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 884
Kondrashov, Alexey, et al. “Rate of Sequence Divergence under Constant Selection.” Biology Direct, vol. 5, BioMed Central, 2010, doi:10.1186/1745-6150-5-5.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 89
Wright, Ian, et al. “Generation of Nanoparticles of Controlled Size Using Ultrasonic Piezoelectric Oscillators in Solution.” ACS Applied Materials and Interfaces, vol. 2, no. 8, American Chemical Society, 2010, pp. 2360–64, doi:10.1021/am100375w.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 891
Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications: Classifying and Distinguishing between Models.” Nature Reviews Genetics, vol. 11, no. 2, Nature Publishing Group, 2010, pp. 97–108, doi:10.1038/nrg2689.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed