Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6931 Publications

2013 | Published | Journal Article | IST-REx-ID: 2698 | OA
Erdös L, Fournais S, Solovej J. 2013. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 15(6), 2093–2113.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2013 | Published | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability proofs. 8052, 242–256.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2901 | OA
Chen C, Kolmogorov V, Yan Z, Metaxas D, Lampert C. 2013. Computing the M most probable modes of a graphical model. Proceedings of the 16th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Uncertainty in Artificial Intelligence, PMLR, vol. 31, 161–169.
View | Download None (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2818 | OA
Rajan K, Marre O, Tkačik G. 2013. Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation. 25(7), 1661–1692.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2859 | OA
Bendich P, Edelsbrunner H, Morozov D, Patel A. 2013. Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. 15(1), 51–72.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2280 | OA
Uhler C, Wright S. 2013. Packing ellipsoids with overlap. SIAM Review. 55(4), 671–706.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2256 | OA
Danowski P, Goldfarb D, Schaffner V, Seidler W. 2013. Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. 66(3/4), 559–587.
[Published Version] View | Files available
 
2013 | Published | Journal Article | IST-REx-ID: 2284 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2013. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 13(1), 225.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2517 | OA
Almagor S, Boker U, Kupferman O. 2013. Formalizing and reasoning about quality. 7966(Part 2), 15–27.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2443 | OA
Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. 2013. Quantitative relaxation of concurrent data structures. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 317–328.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 11087 | OA
Toyama BH, Savas JN, Park SK, Harris MS, Ingolia NT, Yates JR, Hetzer M. 2013. Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. 154(5), 971–982.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2013 | Published | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. 2013. Tree interpolation in Vampire. 8312, 173–181.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1406
Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
View
 
2013 | Published | Journal Article | IST-REx-ID: 2282 | OA
Campinho P, Behrndt M, Ranft J, Risler T, Minc N, Heisenberg C-PJ. 2013. Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly. Nature Cell Biology. 15, 1405–1414.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
[Published Version] View | Files available | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed