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.

6331 Publications

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

Edelsbrunner, Herbert, Teresa Heiss, Vitaliy Kurlin , Philip Smith, and Mathijs Wintraecken. “The Density Fingerprint of a Periodic Point Set.” In 37th International Symposium on Computational Geometry (SoCG 2021), 189:32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.32.

[Published Version] View | Files available | DOI

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

Mlynarski, Wiktor F, Michal Hledik, Thomas R Sokolowski, and Gašper Tkačik. “Statistical Analysis and Optimality of Neural Systems.” Neuron. Cell Press, 2021. https://doi.org/10.1016/j.neuron.2021.01.020.

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

Alwen, Joel F, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, and Michael Walter. “Grafting Key Trees: Efficient Key Management for Overlapping Groups.” In 19th International Conference, 13044:222–53. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90456-2_8.

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

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

Liu, Yu, Mariano Calcabrini, Yuan Yu, Aziz Genç, Cheng Chang, Tommaso Costanzo, Tobias Kleinhanns, et al. “The Importance of Surface Adsorbates in Solution‐processed Thermoelectric Materials: The Case of SnSe.” Advanced Materials. Wiley, 2021. https://doi.org/10.1002/adma.202106858.

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

Calcabrini, Mariano, Dietger Van den Eynden, Sergi Sanchez Ribot, Rohan Pokratath, Jordi Llorca, Jonathan De Roo, and Maria Ibáñez. “Ligand Conversion in Nanocrystal Synthesis: The Oxidation of Alkylamines to Fatty Acids by Nitrate.” JACS Au. American Chemical Society, 2021. https://doi.org/10.1021/jacsau.1c00349.

[Published Version] View | Files available | DOI

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

Calcabrini, Mariano, Aziz Genc, Yu Liu, Tobias Kleinhanns, Seungho Lee, Dmitry N. Dirin, Quinten A. Akkerman, Maksym V. Kovalenko, Jordi Arbiol, and Maria Ibáñez. “Exploiting the Lability of Metal Halide Perovskites for Doping Semiconductor Nanocomposites.” ACS Energy Letters. American Chemical Society, 2021. https://doi.org/10.1021/acsenergylett.0c02448.

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

Valentini, Marco, Fernando Peñaranda, Andrea C Hofmann, Matthias Brauns, Robert Hauschild, Peter Krogstrup, Pablo San-Jose, Elsa Prada, Ramón Aguado, and Georgios Katsaros. “Nontopological Zero-Bias Peaks in Full-Shell Nanowires Induced by Flux-Tunable Andreev States.” Science. American Association for the Advancement of Science, 2021. https://doi.org/10.1126/science.abf1513.

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

Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.

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

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.

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

Krumes, Alexandra, Eugenia B Iofinova, Adrian Vladu, and Dan-Adrian Alistarh. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” In 35th Conference on Neural Information Processing Systems, 34:8557–70. Neural Information Processing Systems Foundation, 2021.

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

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

Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.

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

Koch, Eva L., Hernán E. Morales, Jenny Larsson, Anja M Westram, Rui Faria, Alan R. Lemmon, E. Moriarty Lemmon, Kerstin Johannesson, and Roger K. Butlin. “Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Evolution Letters. Wiley, 2021. https://doi.org/10.1002/evl3.227.

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

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

Koch, Eva, Hernán E. Morales, Jenny Larsson, Anja M Westram, Rui Faria, Alan R. Lemmon, E. Moriarty Lemmon, Kerstin Johannesson, and Roger K. Butlin. “Data from: Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Dryad, 2021. https://doi.org/10.5061/DRYAD.ZGMSBCCB4.

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

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

Arslan, Feyza N, Julia Eckert, Thomas Schmidt, and Carl-Philipp J Heisenberg. “Holding It Together: When Cadherin Meets Cadherin.” Biophysical Journal. Biophysical Society, 2021. https://doi.org/10.1016/j.bpj.2021.03.025.

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

Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.14946.

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

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

Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.06966.

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

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

Konstantinov, Nikola H, and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2102.05996.

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

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

Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2105.15193.

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

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

Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.

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

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

Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.

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

Research Groups

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

6331 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6331 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options