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.
7638 Publications
2010 |
Published |
Technical Report |
IST-REx-ID: 5391 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 |
Published |
Book Chapter |
IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View
| DOI
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
2010 |
Published |
Journal Article |
IST-REx-ID: 598 |
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View
| DOI
| Download None (ext.)
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
2010 |
Published |
Journal Article |
IST-REx-ID: 6142 |
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
2010 |
Published |
Journal Article |
IST-REx-ID: 6198
Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
View
| DOI
| PubMed | Europe PMC
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
2010 |
Published |
Conference Paper |
IST-REx-ID: 754
Fast randomized test-and-set and renaming
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
View
| DOI
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
2010 |
Published |
Conference Paper |
IST-REx-ID: 755
How efficient can gossip be? (On the cost of resilient information exchange)
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
2010 |
Published |
Conference Paper |
IST-REx-ID: 756
Securing every bit: Authenticated broadcast in radio networks
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
2010 |
Published |
Conference Paper |
IST-REx-ID: 758
Brief announcement: New bounds for partially synchronous set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3430 |
Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics
G. Tkačik, in:, Elsevier, 2010.
View
| Download (ext.)
G. Tkačik, in:, Elsevier, 2010.
2010 |
Published |
Journal Article |
IST-REx-ID: 3441
The reorganization and reactivation of hippocampal maps predict spatial memory performance
D. Dupret, J. O’Neill, B. Pleydell Bouverie, J.L. Csicsvari, Nature Neuroscience 13 (2010) 995–1002.
View
| DOI
D. Dupret, J. O’Neill, B. Pleydell Bouverie, J.L. Csicsvari, Nature Neuroscience 13 (2010) 995–1002.
2010 |
Published |
Journal Article |
IST-REx-ID: 3442
Play it again: reactivation of waking experience and memory
J. O’Neill, B. Pleydell Bouverie, D. Dupret, J.L. Csicsvari, Trends in Neurosciences 33 (2010) 220–229.
View
| DOI
J. O’Neill, B. Pleydell Bouverie, D. Dupret, J.L. Csicsvari, Trends in Neurosciences 33 (2010) 220–229.
2010 |
Published |
Book Chapter |
IST-REx-ID: 3459
Grundlagen zellulärer Erregbarkeit
B. Fakler, P.M. Jonas, in:, R. Schmidt, M. Heckmann, F. Lang (Eds.), Physiologie Des Menschen, Springer, 2010, pp. 49–75.
View
| DOI
B. Fakler, P.M. Jonas, in:, R. Schmidt, M. Heckmann, F. Lang (Eds.), Physiologie Des Menschen, Springer, 2010, pp. 49–75.
2010 |
Published |
Journal Article |
IST-REx-ID: 3498
Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
View
| DOI
| WoS
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, C. Schueller Weidekamm, Knee Surgery, Sports Traumatology, Arthroscopy 18 (2010) 1792–1794.
2010 |
Published |
Journal Article |
IST-REx-ID: 3538 |
High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro
P. Jiruska, J.L. Csicsvari, A. Powell, J. Fox, W. Chang, M. Vreugdenhil, X. Li, M. Palus, A. Bujan, R. Dearden, J. Jefferys, Journal of Neuroscience 30 (2010) 5690–5701.
View
| DOI
| Download None (ext.)
P. Jiruska, J.L. Csicsvari, A. Powell, J. Fox, W. Chang, M. Vreugdenhil, X. Li, M. Palus, A. Bujan, R. Dearden, J. Jefferys, Journal of Neuroscience 30 (2010) 5690–5701.
2010 |
Published |
Journal Article |
IST-REx-ID: 3592
Imaging zebrafish embryos by two-photon excitation time-lapse microscopy
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
View
| DOI
L. Carvalho, C.-P.J. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
2010 |
Published |
Journal Article |
IST-REx-ID: 3603
A new model for large-scale population dynamics: quantifying phylogeography
N.H. Barton, J. Kelleher, A. Etheridge, Evolution; International Journal of Organic Evolution 64 (2010) 2701–2715.
View
| DOI
N.H. Barton, J. Kelleher, A. Etheridge, Evolution; International Journal of Organic Evolution 64 (2010) 2701–2715.
2010 |
Published |
Journal Article |
IST-REx-ID: 3604
Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
View
| DOI
| WoS
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3676
Topic models for semantic video compression
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
View
| DOI
| Download (ext.)
J. Wanke, A. Ulges, C. Lampert, T. Breuel, in:, ACM, 2010, pp. 275–284.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3682
Optimizing one-shot recognition with micro-set learning
K. Tang, M. Tappen, R. Sukthankar, C. Lampert, in:, IEEE, 2010, pp. 3027–3034.
View
| DOI
K. Tang, M. Tappen, R. Sukthankar, C. Lampert, in:, IEEE, 2010, pp. 3027–3034.