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.
7047 Publications
2014 |Published| Journal Article | IST-REx-ID: 6319 | 
Contre-exemples au principe de Hasse pour certains tores coflasques
R. de la Bretèche, T.D. Browning, Journal de Théorie Des Nombres de Bordeaux 26 (2014) 25–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. de la Bretèche, T.D. Browning, Journal de Théorie Des Nombres de Bordeaux 26 (2014) 25–44.
2014 |Published| Conference Paper | IST-REx-ID: 10885
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
2014 |Published| Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View
| Files available
| DOI
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
2014 |Draft| Working Paper | IST-REx-ID: 7038 |
Playful Math - An introduction to mathematical games
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
[Published Version]
View
| Files available
K. Huszár, M. Rolinek, Playful Math - An Introduction to Mathematical Games, IST Austria, n.d.
2014 |Published| Journal Article | IST-REx-ID: 7361
A bistable genetic switch based on designable DNA-binding domains
T. Lebar, U. Bezeljak, A. Golob, M. Jerala, L. Kadunc, B. Pirš, M. Stražar, D. Vučko, U. Zupančič, M. Benčina, V. Forstnerič, R. Gaber, J. Lonzarić, A. Majerle, A. Oblak, A. Smole, R. Jerala, Nature Communications 5 (2014).
View
| DOI
| PubMed | Europe PMC
T. Lebar, U. Bezeljak, A. Golob, M. Jerala, L. Kadunc, B. Pirš, M. Stražar, D. Vučko, U. Zupančič, M. Benčina, V. Forstnerič, R. Gaber, J. Lonzarić, A. Majerle, A. Oblak, A. Smole, R. Jerala, Nature Communications 5 (2014).
2014 |Published| Journal Article | IST-REx-ID: 7598 |
Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
[Published Version]
View
| Files available
| DOI
S. Tan, H.-W. Xue, Cell Reports 9 (2014) 1692–1702.
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| 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: 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).
2014 |Published| Journal Article | IST-REx-ID: 863
The ctenophore genome and the evolutionary origins of neural systems
Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.
View
| DOI
Moroz L, Kocot K, Citarella M, Dosung S, Norekian T, Povolotskaya I, Grigorenko A, Dailey C, Berezikov E, Buckley K, Ptitsyn A, Reshetov D, Mukherjee K, Moroz T, Bobkova Y, Yu F, Kapitonov V, Jurka J, Bobkov Y, Swore J, Girardo D, Fodor A, Gusev F, Sanford R, Bruders R, Kittler E, Mills C, Rast J, Derelle R, Solovyev V, Kondrashov F, Swalla B, Sweedler J, Rogaev E, Halanych K, Kohn A. 2014. The ctenophore genome and the evolutionary origins of neural systems. Nature. 510(7503), 109–114.
2014 |Published| Journal Article | IST-REx-ID: 865
Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling
A. Koval, P. Vlasov, P. Shichkova, S. Khunderyakova, Y. Markov, J. Panchenko, A. Volodina, F. Kondrashov, V. Katanaev, Biochemical Pharmacology 87 (2014) 571–578.
View
| DOI
A. Koval, P. Vlasov, P. Shichkova, S. Khunderyakova, Y. Markov, J. Panchenko, A. Volodina, F. Kondrashov, V. Katanaev, Biochemical Pharmacology 87 (2014) 571–578.