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.
1790 Publications
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: 7078 | 
Salje EKH, Safarik DJ, Modic KA, et al. Tin telluride: A weakly co-elastic metal. Physical Review B. 2010;82(18). doi:10.1103/physrevb.82.184112
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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: 758
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Brief announcement: New bounds for partially synchronous set agreement. In: Vol 6343 LNCS. Springer; 2010:404-405. doi:10.1007/978-3-642-15763-9_40
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9146 |
O’Gorman PA, Muller CJ. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 2010;5(2). doi:10.1088/1748-9326/5/2/025207
[Published Version]
View
| DOI
| Download Published Version (ext.)
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| 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: 3779 |
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI
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
2009 |Published| Journal Article | IST-REx-ID: 111
Royer J, Evans D, Oyarte L, et al. High-speed tracking of rupture and clustering in freely falling granular streams. Nature. 2009;459(7250):1110-1113. doi:10.1038/nature08115
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11799
Dütting P, Henzinger MH, Weber I. Bidder optimal assignments for general utilities. In: 5th International Workshop on Internet and Network Economics. Vol 5929. Springer Nature; 2009:575-582. doi:10.1007/978-3-642-10841-9_58
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11912 |
Baykan Eda, Henzinger MH, Keller SF, de Castelberg S, Kinzler M. A comparison of techniques for sampling web pages. In: 26th International Symposium on Theoretical Aspects of Computer Science. Vol 3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2009:13-30. doi:10.4230/LIPICS.STACS.2009.1809
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 11906
Abdel Hamid O, Behzadi B, Christoph S, Henzinger MH. Detecting the origin of text segments efficiently. In: 18th International World Wide Web Conference. Association for Computing Machinery; 2009:61-70. doi:10.1145/1526709.1526719
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 2009;55(190):258-274. doi:10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 |Published| Book Chapter | IST-REx-ID: 164 |
Browning TD, Heath Brown R. Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press; 2009:75-90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 |Published| Journal Article | IST-REx-ID: 2069
Vicoso B, Charlesworth B. Effective population size and the faster-X effect: An extended model. Evolution. 2009;63(9):2413-2426. doi:10.1111/j.1558-5646.2009.00719.x
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 2009;257(8):2410-2475. doi:10.1016/j.jfa.2009.07.001
View
| DOI
| Download (ext.)