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.

6372 Publications


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
 

2018 | Published | Journal Article | IST-REx-ID: 608 | OA
Avni G, Kupferman O. 2018. Synthesis from component libraries with costs. Theoretical Computer Science. 712, 50–72.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 11757 | OA
Bhattacharya S, Henzinger MH, Italiano G. 2018. Dynamic algorithms via the primal-dual method. Information and Computation. 261(08), 219–239.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Conference Paper | IST-REx-ID: 11911 | OA
Biedermann S, Henzinger MH, Schulz C, Schuster B. 2018. Memetic graph clustering. 17th International Symposium on Experimental Algorithms. SEA: Symposium on Experimental Algorithms, LIPIcs, vol. 103, 3.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 11827 | OA
Goranci G, Henzinger MH, Leniowski D. 2018. A tree structure for dynamic facility location. 26th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 112, 39.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 12605 | OA
Clemenzi I, Pellicciotti F, Burlando P. 2018. Snow depth structure, fractal behavior, and interannual consistency over Haut Glacier d’Arolla, Switzerland. Water Resources Research. 54(10), 7929–7945.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 13376 | OA
Samanta D, Gemen J, Chu Z, Diskin-Posner Y, Shimon LJW, Klajn R. 2018. Reversible photoswitching of encapsulated azobenzenes in water. Proceedings of the National Academy of Sciences. 115(38), 9379–9384.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 13374 | OA
Samanta D, Galaktionova D, Gemen J, Shimon LJW, Diskin-Posner Y, Avram L, Král P, Klajn R. 2018. Reversible chromism of spiropyran in the cavity of a flexible coordination cage. Nature Communications. 9, 641.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 13377 | OA
Chu Z, Han Y, Král P, Klajn R. 2018. “Precipitation on nanoparticles”: Attractive intermolecular interactions stabilize specific ligand ratios on the surfaces of nanoparticles. Angewandte Chemie International Edition. 57(24), 7023–7027.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 13379 | OA
Bléger D, Klajn R. 2018. Integrating macromolecules with molecular switches. Macromolecular Rapid Communications. 39(1), 1700827.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 13475 | OA
Götberg YLL, de Mink SE, Groh JH, Kupfer T, Crowther PA, Zapartas E, Renzo M. 2018. Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. Astronomy & Astrophysics. 615, A78.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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. Proceedings of the 21st International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 84, 464–472.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 14204 | OA
Locatello F, Raj A, Karimireddy SP, Rätsch G, Schölkopf B, Stich SU, Jaggi M. 2018. On matching pursuit and coordinate descent. Proceedings of the 35th International Conference on Machine Learning. , PMLR, vol. 80, 3198–3207.
[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. 6th International Conference on Learning Representations. International Conference on Machine Learning.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2018 | Submitted | Preprint | IST-REx-ID: 14327 | OA
Locatello F, Vincent D, Tolstikhin I, Rätsch G, Gelly S, Schölkopf B. Competitive training of mixtures of independent deep generative models. arXiv, 1804.11130.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Thesis | IST-REx-ID: 14306 | OA
Praetorius FM. 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: 15238 | OA
Caiazzo I, Heyl J. 2018. Vacuum birefringence and the x-ray polarization from black-hole accretion disks. Physical Review D. 97(8), 083001.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Conference Paper | IST-REx-ID: 184 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 185 | OA
Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
[Published Version] View | Files available | DOI
 

2018 | Published | Conference Paper | IST-REx-ID: 186 | OA
Fulek R, Kynčl J. 2018. The ℤ2-Genus of Kuratowski minors. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 40.1-40.14.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed