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.

536 Publications


2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
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 | OA
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 | OA
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 | OA
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: 142 | OA
Kong, H., Bartocci, E., & Henzinger, T. A. (2018). Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Vol. 10981, pp. 449–467). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96145-3_24
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 14201 | OA
Locatello, F., Khanna, R., Ghosh, J., & Rätsch, G. (2018). Boosting variational inference: An optimization perspective. In Proceedings of the 21st International Conference on Artificial Intelligence and Statistics (Vol. 84, pp. 464–472). Playa Blanca, Lanzarote: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14202 | OA
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 | OA
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 | Conference Paper | IST-REx-ID: 14204 | OA
Locatello, F., Raj, A., Karimireddy, S. P., Rätsch, G., Schölkopf, B., Stich, S. U., & Jaggi, M. (2018). On matching pursuit and coordinate descent. In Proceedings of the 35th International Conference on Machine Learning (Vol. 80, pp. 3198–3207). ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14224 | OA
Locatello, F., Vincent, D., Tolstikhin, I., Ratsch, G., Gelly, S., & Scholkopf, B. (2018). Clustering meets implicit generative models. In 6th International Conference on Learning Representations. Vancouver, Canada.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 14284 | OA
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 | OA
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 | Thesis | PhD | IST-REx-ID: 14306 | OA
Praetorius, F. M. (2018). Genetically encoding the spatial arrangement of DNA and proteins in self-assembling nanostructures. Technische Universität München.
[Published Version] View | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9053 | OA
Aubret, A., & Palacci, J. A. (2018). Diffusiophoretic design of self-spinning microgears from colloidal microswimmers. Soft Matter. Royal Society of Chemistry . https://doi.org/10.1039/c8sm01760c
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9062 | OA
Aubret, A., Youssef, M., Sacanna, S., & Palacci, J. A. (2018). Targeted assembly and synchronization of self-spinning microgears. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-018-0227-4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9066
Lee, N., Ko, E., Choi, H. Y., Hong, Y. J., Nauman, M., Kang, W., … Jo, Y. (2018). Antiferromagnet‐based spintronic functionality by controlling isospin domains in a layered perovskite iridate. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201805564
[Preprint] View | DOI | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 9068
Hussain, T., Oh, M., Nauman, M., Jo, Y., Han, G., Kim, C., & Kang, W. (2018). Pressure-induced metal–insulator transitions in chalcogenide NiS2-Se. Physica B: Condensed Matter. Elsevier. https://doi.org/10.1016/j.physb.2017.11.032
View | DOI
 

2018 | Published | Journal Article | IST-REx-ID: 913 | OA
Tejos, R., Rodríguez Furlán, C., Adamowski, M., Sauer, M., Norambuena, L., & Friml, J. (2018). PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.204198
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 9134 | OA
Richet, O., Chomaz, J.-M., & Muller, C. J. (2018). Internal tide dissipation at topography: Triadic resonant instability equatorward and evanescent waves poleward of the critical latitude. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1029/2017jc013591
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9135 | OA
Muller, C. J., & Romps, D. M. (2018). Acceleration of tropical cyclogenesis by self-aggregation feedbacks. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1719967115
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed