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.

6283 Publications


2016 | Journal Article | IST-REx-ID: 1436 | OA
Bach V, Breteaux S, Petrat SP, Pickl P, Tzaneteas T. 2016. Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction. Journal de Mathématiques Pures et Appliquées. 105(1), 1–30.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22, 400–415.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1440
Janovjak HL. 2016. Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain. Structure. 24(2), 213–215.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1445
Calatrava Moreno M, Auzinger T, Werthner H. 2016. Erratum to: On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 233–234.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno M, Auzinger T, Werthner H. 2016. On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics. 107(1), 213–232.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 26(3), 1774–1806.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima J, Furuya E, Nagano M, Kanno C, Sakamoto Y, Ebihara M, Siekhaus DE, Toshima J. 2016. Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton. eLife. 5(February 2016), e10276.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima J, Horikomi C, Okada A, Hatori M, Nagano M, Masuda A, Yamamoto W, Siekhaus DE, Toshima J. 2016. Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis. Journal of Cell Science. 129(2), 367–379.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer R, Warzel S. 2016. Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. 18(3), 035002.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek M, Sturmfels B, Uhler C, Zwiernik P. 2016. Exponential varieties. Proceedings of the London Mathematical Society. 112(1), 27–56.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi M, Yoshida S, Weijers D, Fleck C. 2016. Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. 11(2), e0147830.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen X, Wu S, Liu Z, Friml J. 2016. Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. 26(6), 409–419.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino D. 2016. Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. 13(1), 016003.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl C, Seiringer R. 2016. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 57(2), 021101.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion N, Akrami A, Zuo Y, Stella F, Diamond M. 2016. Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. 14(2), e1002384.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2016. Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. 14(2), e1002382.
View | Files available | DOI
 

Search

Filter Publications