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.




4840 Publications

2018 | Published | Journal Article | IST-REx-ID: 158 | OA
Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 159 | OA
Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 14(8), 764–767.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 16 | OA
Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 160 | OA
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 161 | OA
De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. 2018. Statistical mechanics for metabolic networks during steady state growth. Nature Communications. 9(1), 2988.
[Published Version] View | Files available | DOI | WoS
 
2018 | Research Data Reference | IST-REx-ID: 13055 | OA
Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social network plasticity decreases disease transmission in a eusocial insect, Zenodo, 10.5281/ZENODO.1322669.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method, Zenodo, 10.5281/ZENODO.2025846.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2018 | Published | Journal Article | IST-REx-ID: 131 | OA
Picard MAL, Cosseau C, Ferré S, Quack T, Grevelding C, Couté Y, Vicoso B. 2018. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife. 7, e35684.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 132 | OA
Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C, Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential and fate behavior of precursors during pancreas development. Developmental Cell. 46(3), 360–375.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 134 | OA
Jeschke S, Skrivan T, Mueller Fischer M, Chentanez N, Macklin M, Wojtan C. 2018. Water surface wavelets. ACM Transactions on Graphics. 37(4), 94.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 135 | OA
Sato T, Wojtan C, Thuerey N, Igarashi T, Ando R. 2018. Extended narrow band FLIP for liquid simulations. Computer Graphics Forum. 37(2), 169–177.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 136 | OA
Suri B, Tithof J, Grigoriev R, Schatz M. 2018. Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow. Physical Review E. 98(2).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 137 | OA
Zhang W, Herde M, Mitchell J, Whitfield J, Wulff A, Vongsouthi V, Sanchez-Romero I, Gulakova P, Minge D, Breithausen B, Schoch S, Janovjak HL, Jackson C, Henneberger C. 2018. Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. 14(9), 861–869.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 139 | OA
Fraisse C, Roux C, Gagnaire P, Romiguier J, Faivre N, Welch J, Bierne N. 2018. The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies. PeerJ. 2018(7), 30083438.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 14 | OA
Hille S, Akhmanova M, Glanc M, Johnson AJ, Friml J. 2018. Relative contribution of PIN-containing secretory vesicles and plasma membrane PINs to the directed auxin transport: Theoretical estimation. International Journal of Molecular Sciences. 19(11).
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981, 468–486.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee K, Henzinger MH, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 14198 | OA
Fortuin V, Hüser M, Locatello F, Strathmann H, Rätsch G. 2018. SOM-VAE: Interpretable discrete representation learning on time series. International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 142 | OA
Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981, 449–467.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed