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.

12073 Publications


2010 | Published | Journal Article | IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies?” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View | DOI | WoS
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
[Published Version] View | Files available | DOI
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
[Published Version] View | Files available | DOI
 

earlier version | 2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
[Published Version] View | Files available | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.” Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer, Krista, et al. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Book Chapter | IST-REx-ID: 619
Zacharasiewicz, Waldemar, and Fritz Kirsch. “‘This Is a Fundamentalist Town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House.” Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–79.
View
 

2010 | Published | Journal Article | IST-REx-ID: 6198
Zhou, L., et al. “Treatment of Cerebral Ischemia by Disrupting Ischemia-Induced Interaction of NNOS with PSD-95.” Nature Medicine, vol. 16, no. 12, Nature Publishing Group, 2010, pp. 1439–43, doi:10.1038/nm.2245.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 2071
Mank, Judith, et al. “Effective Population Size and the Faster-X Effect: Empirical Results and Their Interpretation.” Evolution, vol. 64, no. 3, Wiley-Blackwell, 2010, pp. 663–74, doi:10.1111/j.1558-5646.2009.00853.x.
View | DOI
 

2010 | Published | Thesis | IST-REx-ID: 2075
Bickel, Bernd. “Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces.” Unknown, vol. 499, no. 7458, Unknown, 2010, doi:dx.doi.org/10.3929/ethz-a-006354908.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 10127 | OA
Šarić, Anđela, and Angelo Cacciuto. “Particle Self-Assembly on Soft Elastic Shells.” Soft Matter, vol. 7, no. 5, Royal Society of Chemistry (RSC), 2010, pp. 1874–78, doi:10.1039/c0sm01143f.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 10128
Šarić, Anđela, et al. “Quantum Mechanical Study of Secondary Structure Formation in Protected Dipeptides.” Physical Chemistry Chemical Physics, vol. 12, no. 18, Royal Society of Chemistry , 2010, pp. 4678–85, doi:10.1039/b923041f.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 10390 | OA
Šarić, Anđela, et al. “Packing of Soft Asymmetric Dumbbells.” The Journal of Physical Chemistry B, vol. 115, no. 22, American Chemical Society, 2010, pp. 7182–89, doi:10.1021/jp107545w.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 10391 | OA
Šarić, Anđela, et al. “Effective Elasticity of a Flexible Filament Bound to a Deformable Cylindrical Surface.” Physical Review Letters, vol. 104, no. 22, 226101, American Physical Society, 2010, doi:10.1103/physrevlett.104.226101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 1042
Danzl, Johann G., et al. Production of a Quantum Gas of Rovibronic Ground-State Molecules in an Optical Lattice. World Scientific Publishing, 2010, pp. 256–69, doi:10.1142/9789814282345_0024.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed