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 | 
Bretèche R de la, Browning TD. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 2014;26(1):25-44. doi:10.5802/jtnb.857
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 10885
Chatterjee K, Doyen L, Filiot E, Raskin J-F. Doomsday equilibria for omega-regular games. In: VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:78-97. doi:10.1007/978-3-642-54013-4_5
[Preprint]
View
| Files available
| DOI
| arXiv
2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner H. A Short Course in Computational Geometry and Topology. 1st ed. Cham: Springer Nature; 2014. doi:10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 |Draft| Working Paper | IST-REx-ID: 7038 |
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
[Published Version]
View
| Files available
2014 |Published| Journal Article | IST-REx-ID: 7361
Lebar T, Bezeljak U, Golob A, et al. A bistable genetic switch based on designable DNA-binding domains. Nature Communications. 2014;5(1). doi:10.1038/ncomms6007
View
| DOI
| PubMed | Europe PMC
2014 |Published| Journal Article | IST-REx-ID: 7598 |
Tan S, Xue H-W. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. 2014;9(5):1692-1702. doi:10.1016/j.celrep.2014.10.047
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 768
Alistarh D-A, Aspnes J, Bender M, Gelashvili R, Gilbert S. Dynamic task allocation in asynchronous shared memory. In: SIAM; 2014:416-435. doi:10.1137/1.9781611973402.31
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 769
Alistarh D-A, Aspnes J, Censor Hillel K, Gilbert S, Guerraoui R. Tight bounds for asynchronous renaming. Journal of the ACM. 2014;61(3). doi:10.1145/2597630
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 770
Alistarh D-A, Eugster P, Herlihy M, Matveev A, Shavit N. StackTrack: An automated transactional approach to concurrent memory reclamation. In: ACM; 2014. doi:10.1145/2592798.2592808
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 771
Alistarh D-A, Denysyuk O, Rodrígues L, Shavit N. Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems. In: ACM; 2014:232-241. doi:10.1145/2611462.2611499
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 772 |
Alistarh D-A, Censor Hillel K, Shavit N. Are lock-free concurrent algorithms practically wait-free? In: ACM; 2014:714-723. doi:10.1145/2591796.2591836
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 773
Alistarh D-A, Aspnes J, King V, Saia J. Communication-efficient randomized consensus. In: Kuhn F, ed. Vol 8784. Springer; 2014:61-75. doi:10.1007/978-3-662-45174-8_5
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 774
Alistarh D-A, Censor Hille K, Shavit N. Brief announcement: Are lock-free concurrent algorithms practically wait-free? In: ACM; 2014:50-52. doi:10.1145/2611462.2611502
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 775 |
Alistarh D-A, Kopinsky J, Matveev A, Shavit N. The levelarray: A fast, practical long-lived renaming algorithm. In: IEEE; 2014:348-357. doi:10.1109/ICDCS.2014.43
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 809
Bharata T, Menendez L, Hagena W, et al. Cryo electron microscopy of tubular arrays of HIV-1 Gag resolves structures essential for immature virus assembly. PNAS. 2014;111(22):8233-8238. doi:10.1073/pnas.1401455111
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 8244
Singer J, Singer J, Wang W, et al. Generation of a canine anti-EGFR (ErbB-1) antibody for passive immunotherapy in dog cancer patients. Molecular Cancer Therapeutics. 2014;13(7):1777-1790. doi:10.1158/1535-7163.mct-13-0288
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 852
Rosello O, Kondrashov F. Long-Term asymmetrical acceleration of protein evolution after gene duplication. Genome Biology and Evolution. 2014;6(8):1949-1955. doi:10.1093/gbe/evu159
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 856
Pougach K, Voet A, Kondrashov F, et al. Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network. Nature Communications. 2014;5. doi:10.1038/ncomms5868
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 863
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
2014 |Published| Journal Article | IST-REx-ID: 865
Koval A, Vlasov P, Shichkova P, et al. Anti leprosy drug clofazimine inhibits growth of triple-negative breast cancer cells via inhibition of canonical Wnt signaling. Biochemical Pharmacology. 2014;87(4):571-578. doi:10.1016/j.bcp.2013.12.007
View
| DOI