ISTA Research Explorer

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

Search / Filter

2011 | Published | Technical Report | IST-REx-ID: 5382 |

Chatterjee K. 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 |

Wies T, Muñiz M, Kuncak V. 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 |

Chatterjee K, Tracol M. 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 |

Boker U, Chatterjee K, Henzinger TA, Kupferman O. 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 |

Chen C, Freedman D, Lampert C. 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 X, Dickinson HG. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 2010;137(14):2409-2416. doi:10.1242/dev.049320

View | DOI | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 12200

Feng X, Dickinson HG. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 2010;38(2):571-576. doi:10.1042/bst0380571

View | DOI | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 12653 |

Pellicciotti F, Bauder A, Parola M. Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. 2010;46(10). doi:10.1029/2009wr009039

[Published Version] View | DOI | Download Published Version (ext.)

2010 | Published | Journal Article | IST-REx-ID: 1300

Jösch MA, Schnell B, Raghu S, Reiff D, Borst A. ON and off pathways in Drosophila motion vision. Nature. 2010;468(7321):300-304. doi:10.1038/nature09545

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 1301

Schnell B, Jösch MA, Förstner F, et al. Processing of horizontal optic flow in three visual interneurons of the Drosophila brain. Journal of Neurophysiology. 2010;103(3):1646-1657. doi:10.1152/jn.00950.2009

View | DOI | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 8472

Schanda P, Meier BH, Ernst M. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 2010;132(45):15957-15967. doi:10.1021/ja100726a

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 8473

Corazza A, Rennella E, Schanda P, 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. 2010;285(8):5827-5835. doi:10.1074/jbc.m109.061168

View | DOI

2010 | Published | Book Chapter | IST-REx-ID: 8506

Hunt BR, Kaloshin V. Prevalence. In: Handbook of Dynamical Systems. Vol 3. Elsevier; 2010:43-87. doi:10.1016/s1874-575x(10)00310-3

View | DOI

2010 | Published | Conference Paper | IST-REx-ID: 8507

Kaloshin V, ZHANG K, ZHENG Y. Almost dense orbit on energy surface. In: XVIth International Congress on Mathematical Physics. World Scientific; 2010:314-322. doi:10.1142/9789814304634_0017

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 857

Povolotskaya I, Kondrashov F. Sequence space and the ongoing expansion of the protein universe. Nature. 2010;465(7300):922-926. doi:10.1038/nature09105

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 862

Meer M, Kondrashov A, Artzy Randrup Y, Kondrashov F. Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. 2010;464(7286):279-282. doi:10.1038/nature08691

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 872

Kondrashov F, Kondrashov A. 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. 2010;365(1544):1169-1176. doi:10.1098/rstb.2009.0286

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 884

Kondrashov A, Povolotskaya I, Ivankov D, Kondrashov F. Rate of sequence divergence under constant selection. Biology Direct. 2010;5. doi:10.1186/1745-6150-5-5

View | DOI

2010 | Published | Journal Article | IST-REx-ID: 89

Wright I, Higginbotham AP, Baker S, Donnelly T. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2010;2(8):2360-2364. doi:10.1021/am100375w

View | DOI | PubMed | Europe PMC

2010 | Published | Journal Article | IST-REx-ID: 891

Innan H, Kondrashov F. The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. 2010;11(2):97-108. doi:10.1038/nrg2689

View | DOI