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.
561 Publications
2018 | Published | Journal Article | IST-REx-ID: 137 | 
Zhang, W., Herde, M., Mitchell, J., Whitfield, J., Wulff, A., Vongsouthi, V., … Henneberger, C. (2018). Monitoring hippocampal glycine with the computationally designed optical sensor GlyFS. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0108-2
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 139 |
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. PeerJ. https://doi.org/10.7717/peerj.5198
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 14 |
Hille, S., Akhmanova, M., Glanc, M., Johnson, A. J., & 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. MDPI. https://doi.org/10.3390/ijms19113566
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 140 |
Frehse, G., Giacobbe, M., & Henzinger, T. A. (2018). Space-time interpolants (Vol. 10981, pp. 468–486). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_25
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 14003 |
Baykusheva, D. R., & Wörner, H. J. (2018). Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.8.031060
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Conference Paper | IST-REx-ID: 141 |
Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96142-2_13
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 14198 |
Fortuin, V., Hüser, M., Locatello, F., Strathmann, H., & Rätsch, G. (2018). SOM-VAE: Interpretable discrete representation learning on time series. In International Conference on Learning Representations. New Orleans, LA, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 14202 |
Locatello, F., Dresdner, G., Khanna, R., Valera, I., & Rätsch, G. (2018). Boosting black box variational inference. In Advances in Neural Information Processing Systems (Vol. 31). Montreal, Canada: Neural Information Processing Systems Foundation.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 14203 |
Yurtsever, A., Fercoq, O., Locatello, F., & Cevher, V. (2018). A conditional gradient framework for composite convex minimization with applications to semidefinite programming. In Proceedings of the 35th International Conference on Machine Learning (Vol. 80, pp. 5727–5736). Stockholm, Sweden: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 14284 |
Bräuning, B., Bertosin, E., Praetorius, F. M., Ihling, C., Schatt, A., Adler, A., … Groll, M. (2018). Structure and mechanism of the two-component α-helical pore-forming toxin YaxAB. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-018-04139-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 143 |
Brázdil, T., Chatterjee, K., Kučera, A., Novotný, P., Velan, D., & Zuleger, F. (2018). Efficient algorithms for asymptotic bounds on termination time in VASS (Vol. F138033, pp. 185–194). Presented at the LICS: Logic in Computer Science, Oxford, United Kingdom: IEEE. https://doi.org/10.1145/3209108.3209191
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 145 |
Truckenbrodt, S. M., Viplav, A., Jähne, S., Vogts, A., Denker, A., Wildhagen, H., … Rizzoli, S. (2018). Newly produced synaptic vesicle proteins are preferentially used in synaptic transmission. The EMBO Journal. Wiley. https://doi.org/10.15252/embj.201798044
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 146 |
Shi, C. L., von Wangenheim, D., Herrmann, U., Wildhagen, M., Kulik, I., Kopf, A., … Aalen, R. B. (2018). The dynamics of root cap sloughing in Arabidopsis is regulated by peptide signalling. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0212-z
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2018 | Published | Conference Paper | IST-REx-ID: 6031
Stojanov, A., Smith, T. M., Alistarh, D.-A., & Puschel, M. (2018). Fast quantized arithmetic on x86: Trading compute for data movement. In 2018 IEEE International Workshop on Signal Processing Systems (Vol. 2018–October). Cape Town, South Africa: IEEE. https://doi.org/10.1109/SiPS.2018.8598402
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 606 |
Duerinckx, M., & Fischer, J. L. (2018). Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. Elsevier. https://doi.org/10.1016/j.anihpc.2017.11.004
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 607 |
Bodova, K., Haskovec, J., & Markowich, P. (2018). Well posedness and maximum entropy approximation for the dynamics of quantitative traits. Physica D: Nonlinear Phenomena. Elsevier. https://doi.org/10.1016/j.physd.2017.10.015
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2018 | Published | Book Chapter | IST-REx-ID: 61 |
Bondarenko, A., Mellit, A., Prymak, A., Radchenko, D., & Viazovska, M. (2018). There is no strongly regular graph with parameters (460; 153; 32; 60). In Contemporary Computational Mathematics (pp. 131–134). Springer. https://doi.org/10.1007/978-3-319-72456-0_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6109 |
Laurent, P., Ch’ng, Q., Jospin, M., Chen, C., Lorenzo, R., & de Bono, M. (2018). Genetic dissection of neuropeptide cell biology at high and low activity in a defined sensory neuron. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1714610115
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2018 | Published | Journal Article | IST-REx-ID: 6111 |
McLachlan, I. G., Beets, I., de Bono, M., & Heiman, M. G. (2018). A neuronal MAP kinase constrains growth of a Caenorhabditis elegans sensory dendrite throughout the life of the organism. PLOS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1007435
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC