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.
10773 Publications
2010 | Published | Conference Paper | IST-REx-ID: 488 | 
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. 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 P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 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 G, Kazlov I, Juhásová A. Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:1-17. doi:10.1007/978-3-642-13675-7_1
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 598 |
Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 2010;17(6):753-760. doi:10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 6142 |
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 2010;5(11). doi:10.1371/journal.pone.0013922
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 | Published | Book Chapter | IST-REx-ID: 619
Zacharasiewicz W, Kirsch F. “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. In: 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:173-179.
View
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: 1465 |
Hausel T. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 2010;181(1):21-37. doi:10.1007/s00222-010-0241-3
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1466 |
Hausel T, Letellier E, Rodríguez Villegas F. Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. 2010;348(3-4):131-135. doi:10.1016/j.crma.2010.01.025
View
| DOI
| Download (ext.)
2010 | Published | Book Chapter | IST-REx-ID: 1468 |
Hausel T. S-Duality in HyperkäHler Hodge Theory. In: 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 A, Vidaurre C, Müller K-R. Adaptive Methods in BCI Research - An Introductory Tutorial. In: Graimann B, Pfurtscheller G, Allison B, eds. Brain-Computer Interfaces. 1st ed. FRONTCOLL. Berlin, Heidelberg: Springer; 2010:331-355. doi:10.1007/978-3-642-02091-9_18
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh D-A, Attiya H, Gilbert S, Giurgiu A, Guerraoui R. Fast randomized test-and-set and renaming. In: Vol 6343 LNCS. Springer; 2010:94-108. doi:10.1007/978-3-642-15763-9_9
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. How efficient can gossip be? (On the cost of resilient information exchange). In: Vol 6199 LNCS. Springer; 2010:115-126. doi:10.1007/978-3-642-14162-1_10
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 756
Alistarh D-A, Gilbert S, Guerraoui R, Milošević Ž, Newport C. Securing every bit: Authenticated broadcast in radio networks. In: ACM; 2010:50-59. doi:10.1145/1810479.1810489
View
| DOI