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, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies, T., Muñiz, M., & Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria. https://doi.org/10.15479/AT:IST-2011-0005
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 12199
Feng, X., & Dickinson, H. G. (2010). Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. The Company of Biologists. https://doi.org/10.1242/dev.049320
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12200
Feng, X., & Dickinson, H. G. (2010). Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. Portland Press Ltd. https://doi.org/10.1042/bst0380571
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12653 | OA
Pellicciotti, F., Bauder, A., & Parola, M. (2010). Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2009wr009039
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1300
Jösch, M. A., Schnell, B., Raghu, S., Reiff, D., & Borst, A. (2010). ON and off pathways in Drosophila motion vision. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09545
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 1301
Schnell, B., Jösch, M. A., Förstner, F., Raghu, S., Otsuna, H., Ito, K., … Reiff, D. (2010). Processing of horizontal optic flow in three visual interneurons of the Drosophila brain. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00950.2009
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 8472
Schanda, P., Meier, B. H., & Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja100726a
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 8473
Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S., … Esposito, G. (2010). 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. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m109.061168
View | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt, B. R., & Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier. https://doi.org/10.1016/s1874-575x(10)00310-3
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 8507
Kaloshin, V., ZHANG, K., & ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific. https://doi.org/10.1142/9789814304634_0017
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 857
Povolotskaya, I., & Kondrashov, F. (2010). Sequence space and the ongoing expansion of the protein universe. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09105
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 862
Meer, M., Kondrashov, A., Artzy Randrup, Y., & Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08691
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 872
Kondrashov, F., & Kondrashov, A. (2010). 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. Royal Society, The. https://doi.org/10.1098/rstb.2009.0286
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 884
Kondrashov, A., Povolotskaya, I., Ivankov, D., & Kondrashov, F. (2010). Rate of sequence divergence under constant selection. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-5
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 89
Wright, I., Higginbotham, A. P., Baker, S., & Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/am100375w
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 891
Innan, H., & Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2689
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed