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.

6105 Publications

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

Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin R. Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes? 2019. doi:10.5061/DRYAD.TB2RBNZWK

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

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

Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi: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 K, Doyen L. Graph planning with expected finite horizon. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2019:1-13. doi:10.1109/lics.2019.8785706

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

Phuong M, Lampert C. Distillation-based training for multi-exit architectures. In: IEEE International Conference on Computer Vision. Vol 2019-October. IEEE; 2019:1355-1364. doi:10.1109/ICCV.2019.00144

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

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

Swoboda P, Kolmogorov V. 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. doi:10.1109/CVPR.2019.01140

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

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

Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. Adaptively secure proxy re-encryption. In: Vol 11443. Springer Nature; 2019:317-346. doi: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 A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: 5th Indian Control Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598

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

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

Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840

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

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

Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1

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

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

Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9

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

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

Zenmyo N, Tokumaru H, Uchinomiya S, 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. 2019;92(5):995-1000. doi:10.1246/bcsj.20190034

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

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

Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894