ISTA Research Explorer

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.

10945 Publications

2019 | Published | Conference Paper | IST-REx-ID: 7201 |

C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, and T. Hoefler, “SparCML: High-performance sparse communication for machine learning,” in International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Denver, CO, Unites States, 2019.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Published | Journal Article | IST-REx-ID: 7181 |

E. Garriga et al., “Large multiple sequence alignments with a root-to-leaf regressive method,” Nature Biotechnology, vol. 37, no. 12. Springer Nature, pp. 1466–1470, 2019.

2019 | Published | Journal Article | IST-REx-ID: 7226 |

V. Jaksic and R. Seiringer, “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018,” Journal of Mathematical Physics, vol. 60, no. 12. AIP Publishing, 2019.

[Published Version] View | Files available | DOI | WoS

2019 | Research Data Reference | IST-REx-ID: 13067 |

K. Johannesson, Z. Zagrodzka, R. Faria, A. M. Westram, and R. Butlin, “Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?” Dryad, 2019.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Published | Conference Paper | IST-REx-ID: 7411 |

H. M. Abusalah, C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and M. Walter, “Reversible proofs of sequential work,” in Advances in Cryptology – EUROCRYPT 2019, Darmstadt, Germany, 2019, vol. 11477, pp. 277–291.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2019 | Published | Conference Paper | IST-REx-ID: 7402 |

K. Chatterjee and L. Doyen, “Graph planning with expected finite horizon,” in 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, BC, Canada, 2019, pp. 1–13.

2019 | Published | Conference Paper | IST-REx-ID: 7479 |

M. Phuong and C. Lampert, “Distillation-based training for multi-exit architectures,” in IEEE International Conference on Computer Vision, Seoul, Korea, 2019, vol. 2019–October, pp. 1355–1364.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 7468 |

P. Swoboda and V. Kolmogorov, “Map inference via block-coordinate Frank-Wolfe algorithm,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Long Beach, CA, United States, 2019, vol. 2019–June.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Published | Conference Paper | IST-REx-ID: 6430 |

G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “Adaptively secure proxy re-encryption,” presented at the PKC: Public-Key Cryptograhy, Beijing, China, 2019, vol. 11443, pp. 317–346.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6565 |

A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6888 |

M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6822 |

G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Book Chapter | IST-REx-ID: 6726 |

M. Walter, “Sampling the integers with low relative error,” in Progress in Cryptology – AFRICACRYPT 2019, vol. 11627, J. Buchmann, A. Nitaj, and T. Rachidi, Eds. Cham: Springer Nature, 2019, pp. 157–180.

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2019 | Published | Journal Article | IST-REx-ID: 6659 |

N. Zenmyo et al., “Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins,” Bulletin of the Chemical Society of Japan, vol. 92, no. 5. Bulletin of the Chemical Society of Japan, pp. 995–1000, 2019.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2019 | Published | Thesis | IST-REx-ID: 6894 |

M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.