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.
306 Publications
2010 | Published | Technical Report | IST-REx-ID: 5390 | 
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
2010 | Published | Technical Report | IST-REx-ID: 5391 |
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 |
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 |
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: 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 |
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: 1465 |
Hausel, Tamás. “Kac’s Conjecture from Nakajima Quiver Varieties.” Inventiones Mathematicae, vol. 181, no. 1, Springer, 2010, pp. 21–37, doi:10.1007/s00222-010-0241-3.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Hausel, Tamás, et al. “Topology of Character Varieties and Representations of Quivers.” Comptes Rendus Mathematique, vol. 348, no. 3–4, Elsevier, 2010, pp. 131–35, doi:10.1016/j.crma.2010.01.025.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 1468 |
Hausel, Tamás. “S-Duality in HyperkäHler Hodge Theory.” The Many Facets of Geometry: A Tribute to Nigel Hitchin, Oxford University Press, 2010, doi:10.1093/acprof:oso/9780199534920.003.0016.
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, et al. “Adaptive Methods in BCI Research - An Introductory Tutorial.” Brain-Computer Interfaces, edited by Bernhard Graimann et al., 1st ed., Springer, 2010, pp. 331–55, doi:10.1007/978-3-642-02091-9_18.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh, Dan-Adrian, et al. Fast Randomized Test-and-Set and Renaming. Vol. 6343 LNCS, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-15763-9_9.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, et al. How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange). Vol. 6199 LNCS, no. PART 2, Springer, 2010, pp. 115–26, doi:10.1007/978-3-642-14162-1_10.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 756
Alistarh, Dan-Adrian, et al. Securing Every Bit: Authenticated Broadcast in Radio Networks. ACM, 2010, pp. 50–59, doi:10.1145/1810479.1810489.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, et al. Brief Announcement: New Bounds for Partially Synchronous Set Agreement. Vol. 6343 LNCS, Springer, 2010, pp. 404–05, doi:10.1007/978-3-642-15763-9_40.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney, Lora B., and Liqun Luo. “‘Fore Brain: A Hint of the Ancestral Cortex.” Cell, vol. 142, no. 5, Elsevier, 2010, pp. 679–81, doi:10.1016/j.cell.2010.08.024.
View
| DOI