ISTA Research Explorer

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.

5959 Publications

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

Jaksic, Vojkan, and Robert Seiringer. “Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018.” Journal of Mathematical Physics. AIP Publishing, 2019. https://doi.org/10.1063/1.5138135.

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

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

Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger Butlin. “Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes?” Dryad, 2019. https://doi.org/10.5061/DRYAD.TB2RBNZWK.

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

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

Abusalah, Hamza M, Chethan Kamath Hosdurg, Karen Klein, Krzysztof Z Pietrzak, and Michael Walter. “Reversible Proofs of Sequential Work.” In Advances in Cryptology – EUROCRYPT 2019, 11477:277–91. Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-17656-3_10.

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

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

Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706.

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

Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” In IEEE International Conference on Computer Vision, 2019–October:1355–64. IEEE, 2019. https://doi.org/10.1109/ICCV.2019.00144.

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

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

Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Vol. 2019–June. IEEE, 2019. https://doi.org/10.1109/CVPR.2019.01140.

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

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

Fuchsbauer, Georg, Chethan Kamath Hosdurg, Karen Klein, and Krzysztof Z Pietrzak. “Adaptively Secure Proxy Re-Encryption,” 11443:317–46. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-17259-6_11.

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

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

Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In 5th Indian Control Conference Proceedings. IEEE, 2019. https://doi.org/10.1109/INDIANCC.2019.8715598.

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

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

Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019. https://doi.org/10.1109/icra.2019.8793840.

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

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

Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.

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

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

Walter, Michael. “Sampling the Integers with Low Relative Error.” In Progress in Cryptology – AFRICACRYPT 2019, edited by J Buchmann, A Nitaj, and T Rachidi, 11627:157–80. LNCS. Cham: Springer Nature, 2019. https://doi.org/10.1007/978-3-030-23696-0_9.

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

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

Zenmyo, Naoki, Hiroki Tokumaru, Shohei Uchinomiya, Hirokazu Fuchida, Shigekazu Tabata, Itaru Hamachi, Ryuichi Shigemoto, and Akio Ojida. “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. Bulletin of the Chemical Society of Japan, 2019. https://doi.org/10.1246/bcsj.20190034.

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

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

Giacobbe, Mirco. “Automatic Time-Unbounded Reachability Analysis of Hybrid Systems.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6894.