Please note that IST 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.

2712 Publications


2016 | Journal Article | IST-REx-ID: 1521
Berrisford J, Baradaran R, Sazanov LA. 2016. Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. 1857(7), 892–901.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Lemoult GM, Shi L, Avila K, Jalikop SV, Avila M, Hof B. 2016. Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. 12(3), 254–258.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1608   OA
Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1641   OA
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1622   OA
Lundholm D, Nam P, Portmann F. 2016. Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. 219(3), 1343–1382.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653   OA
Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452. 121–145.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1881   OA
Lee J, Schnelli K. 2016. Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. 164(1–2), 165–241.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 510   OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
View | DOI | Download (ext.)
 

2016 | Technical Report | IST-REx-ID: 5446   OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves, IST Austria, 114p.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone, IST Austria, 130p.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554   OA
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, IST Austria,p.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1165
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801. 94–106.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1362
Hahn D, Wojtan CJ. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696. 445–463.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1069   OA
Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1103   OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. 2016. Parallel reachability analysis for hybrid systems. MEMOCODE: International Conference on Formal Methods and Models for System Design
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242   OA
Sokolowski TR, Walczak A, Bialek W, Tkacik G. 2016. Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics. 93(2), 022404.
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed