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.
7604 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 1629 |
Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
2014 |
Published |
Conference Paper |
IST-REx-ID: 1643 |
Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
2014 |
Published |
Conference Paper |
IST-REx-ID: 1702 |
Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 31–38.
2014 |
Published |
Conference Paper |
IST-REx-ID: 1708 |
Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems Foundation, 2014, pp. 2024–2032.
View
| Download None (ext.)
C. Savin, S. Denève, in:, Neural Information Processing Systems Foundation, 2014, pp. 2024–2032.
2014 |
Published |
Journal Article |
IST-REx-ID: 1733 |
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
2014 |
Published |
Journal Article |
IST-REx-ID: 1761 |
PtSi clustering in silicon probed by transport spectroscopy
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).
View
| DOI
| Download (ext.)
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).
2014 |
Published |
Conference Paper |
IST-REx-ID: 768
Dynamic task allocation in asynchronous shared memory
D.-A. Alistarh, J. Aspnes, M. Bender, R. Gelashvili, S. Gilbert, in:, SIAM, 2014, pp. 416–435.
View
| DOI
D.-A. Alistarh, J. Aspnes, M. Bender, R. Gelashvili, S. Gilbert, in:, SIAM, 2014, pp. 416–435.
2014 |
Published |
Journal Article |
IST-REx-ID: 769
Tight bounds for asynchronous renaming
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, R. Guerraoui, Journal of the ACM 61 (2014).
View
| DOI
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, R. Guerraoui, Journal of the ACM 61 (2014).
2014 |
Published |
Conference Paper |
IST-REx-ID: 770
StackTrack: An automated transactional approach to concurrent memory reclamation
D.-A. Alistarh, P. Eugster, M. Herlihy, A. Matveev, N. Shavit, in:, ACM, 2014.
View
| DOI
D.-A. Alistarh, P. Eugster, M. Herlihy, A. Matveev, N. Shavit, in:, ACM, 2014.
2014 |
Published |
Conference Paper |
IST-REx-ID: 771
Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems
D.-A. Alistarh, O. Denysyuk, L. Rodrígues, N. Shavit, in:, ACM, 2014, pp. 232–241.
View
| DOI
D.-A. Alistarh, O. Denysyuk, L. Rodrígues, N. Shavit, in:, ACM, 2014, pp. 232–241.
2014 |
Published |
Conference Paper |
IST-REx-ID: 772 |
Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, K. Censor Hillel, N. Shavit, in:, ACM, 2014, pp. 714–723.
2014 |
Published |
Conference Paper |
IST-REx-ID: 773
Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
2014 |
Published |
Conference Paper |
IST-REx-ID: 774
Brief announcement: Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.
View
| DOI
D.-A. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.
2014 |
Published |
Conference Paper |
IST-REx-ID: 775 |
The levelarray: A fast, practical long-lived renaming algorithm
D.-A. Alistarh, J. Kopinsky, A. Matveev, N. Shavit, in:, IEEE, 2014, pp. 348–357.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.-A. Alistarh, J. Kopinsky, A. Matveev, N. Shavit, in:, IEEE, 2014, pp. 348–357.
2014 |
Published |
Conference Paper |
IST-REx-ID: 8044 |
Structure of the excitation spectrum for many-body quantum systems
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
R. Seiringer, in:, Proceeding of the International Congress of Mathematicans, International Congress of Mathematicians, 2014, pp. 1175–1194.
2014 |
Published |
Journal Article |
IST-REx-ID: 809
Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F.K. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
View
| DOI
T. Bharata, L. Menendez, W. Hagena, V. Luxd, S. Igonete, M. Schorba, F.K. Schur, H. Kraüsslich, J. Briggsa, PNAS 111 (2014) 8233–8238.
2014 |
Published |
Journal Article |
IST-REx-ID: 8244
Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients
J. Singer, J. Singer, W. Wang, M. Weichselbaumer, M. Matz, A. Mader, W. Steinfellner, S. Meitz, D. Mechtcheriakova, Y. Sobanov, M. Willmann, T. Stockner, E. Spillner, R. Kunert, E. Jensen-Jarolim, Molecular Cancer Therapeutics 13 (2014) 1777–1790.
View
| DOI
J. Singer, J. Singer, W. Wang, M. Weichselbaumer, M. Matz, A. Mader, W. Steinfellner, S. Meitz, D. Mechtcheriakova, Y. Sobanov, M. Willmann, T. Stockner, E. Spillner, R. Kunert, E. Jensen-Jarolim, Molecular Cancer Therapeutics 13 (2014) 1777–1790.
2014 |
Published |
Journal Article |
IST-REx-ID: 845
Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity
V. Seplyarskiy, M. Logacheva, A. Penin, M. Baranová, E. Leushkin, N. Demidenko, A. Klepikova, F. Kondrashov, A. Kondrashov, T. James, Molecular Biology and Evolution 31 (2014) 3016–3025.
View
| DOI
V. Seplyarskiy, M. Logacheva, A. Penin, M. Baranová, E. Leushkin, N. Demidenko, A. Klepikova, F. Kondrashov, A. Kondrashov, T. James, Molecular Biology and Evolution 31 (2014) 3016–3025.
2014 |
Published |
Journal Article |
IST-REx-ID: 852
Long-Term asymmetrical acceleration of protein evolution after gene duplication
O. Rosello, F. Kondrashov, Genome Biology and Evolution 6 (2014) 1949–1955.
View
| DOI
O. Rosello, F. Kondrashov, Genome Biology and Evolution 6 (2014) 1949–1955.
2014 |
Published |
Journal Article |
IST-REx-ID: 856
Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network
K. Pougach, A. Voet, F. Kondrashov, K. Voordeckers, J. Christiaens, B. Baying, V. Bénès, R. Sakai, J. Aerts, B. Zhu, P. Van Dijck, K. Verstrepen, Nature Communications 5 (2014).
View
| DOI
K. Pougach, A. Voet, F. Kondrashov, K. Voordeckers, J. Christiaens, B. Baying, V. Bénès, R. Sakai, J. Aerts, B. Zhu, P. Van Dijck, K. Verstrepen, Nature Communications 5 (2014).