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.

6553 Publications

2021 | Published | Journal Article | IST-REx-ID: 9118 |

M. Calcabrini et al., “Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites,” ACS Energy Letters, vol. 6, no. 2. American Chemical Society, pp. 581–587, 2021.

2021 | Published | Journal Article | IST-REx-ID: 8910 |

M. Valentini et al., “Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states,” Science, vol. 373, no. 6550. American Association for the Advancement of Science, 2021.

2021 | Published | Conference Paper | IST-REx-ID: 10414 |

K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, and D. Zikelic, “On lexicographic proof rules for probabilistic termination,” in 24th International Symposium on Formal Methods, Virtual, 2021, vol. 13047, pp. 619–639.

2021 | Published | Conference Paper | IST-REx-ID: 9644 |

K. Chatterjee, E. K. Goharshady, P. Novotný, and D. Zikelic, “Proving non-termination by program reversal,” in Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Online, 2021, pp. 1033–1048.

2021 | Published | Conference Paper | IST-REx-ID: 11458 |

A. Krumes, E. B. Iofinova, A. Vladu, and D.-A. Alistarh, “AC/DC: Alternating Compressed/DeCompressed training of deep neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, Online, 2021, vol. 34, pp. 8557–8570.

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

2021 | Published | Conference Paper | IST-REx-ID: 9969 |

K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving route discovery for payment channel networks,” presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.

2021 | Published | Journal Article | IST-REx-ID: 9394 |

E. L. Koch et al., “Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis,” Evolution Letters, vol. 5, no. 3. Wiley, pp. 196–213, 2021.

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

2021 | Research Data Reference | IST-REx-ID: 12987 |

E. Koch et al., “Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis.” Dryad, 2021.

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

2021 | Published | Journal Article | IST-REx-ID: 9350 |

F. N. Arslan, J. Eckert, T. Schmidt, and C.-P. J. Heisenberg, “Holding it together: when cadherin meets cadherin,” Biophysical Journal, vol. 120. Biophysical Society, pp. 4182–4192, 2021.

2021 | Draft | Preprint | IST-REx-ID: 12077 |

A. L. Shute, “On the leading constant in the Manin-type conjecture for Campana points,” arXiv. .

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

2021 | Draft | Preprint | IST-REx-ID: 12076 |

A. L. Shute, “Sums of four squareful numbers,” arXiv. .

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

2021 | Draft | Preprint | IST-REx-ID: 10803 |

N. H. Konstantinov and C. Lampert, “Fairness through regularization for learning to rank,” arXiv. .

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

2021 | Draft | Preprint | IST-REx-ID: 10762 |

W. Rzadkowski, M. Lemeshko, and J. H. Mentink, “Artificial neural network states for non-additive systems,” arXiv. .

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

2021 | Published | Conference Paper | IST-REx-ID: 10665 |

T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.

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

2021 | Published | Conference Paper | IST-REx-ID: 10667 |

M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.

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

2021 | Published | Conference Paper | IST-REx-ID: 10666 |

M. Lechner, R. Hasani, R. Grosu, D. Rus, and T. A. Henzinger, “Adversarial training is not ready for robot learning,” in 2021 IEEE International Conference on Robotics and Automation, Xi’an, China, 2021, pp. 4140–4147.

2021 | Published | Thesis | PhD | IST-REx-ID: 9022 |

G. Cipolloni, “Fluctuations in the spectrum of random matrices,” Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | MS | IST-REx-ID: 10422 |

A. Piankov, “Towards designer materials using customizable particle shape,” Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 10030 |

L. Portinale, “Discrete-to-continuum limits of transport problems and gradient flows in the space of measures,” Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Thesis | PhD | IST-REx-ID: 9733 |

D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6553 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6553 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options