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, H., Heiss, T., Kurlin , V., Smith, P., & Wintraecken, M. (2021). The density fingerprint of a periodic point set. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.32

[Published Version] View | Files available | DOI

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

Mlynarski, W. F., Hledik, M., Sokolowski, T. R., & Tkačik, G. (2021). Statistical analysis and optimality of neural systems. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2021.01.020

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

Alwen, J. F., Auerbach, B., Baig, M. A., Cueto Noval, M., Klein, K., Pascual Perez, G., … Walter, M. (2021). Grafting key trees: Efficient key management for overlapping groups. In 19th International Conference (Vol. 13044, pp. 222–253). Raleigh, NC, United States: Springer Nature. 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, Y., Calcabrini, M., Yu, Y., Genç, A., Chang, C., Costanzo, T., … Ibáñez, M. (2021). The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202106858

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

Calcabrini, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., & Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society. https://doi.org/10.1021/jacsau.1c00349

[Published Version] View | Files available | DOI

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

Calcabrini, M., Genc, A., Liu, Y., Kleinhanns, T., Lee, S., Dirin, D. N., … Ibáñez, M. (2021). Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites. ACS Energy Letters. American Chemical Society. https://doi.org/10.1021/acsenergylett.0c02448

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

Valentini, M., Peñaranda, F., Hofmann, A. C., Brauns, M., Hauschild, R., Krogstrup, P., … Katsaros, G. (2021). Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abf1513

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

Chatterjee, K., Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33

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

Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093

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

Krumes, A., Iofinova, E. B., Vladu, A., & Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Neural Information Processing Systems Foundation.

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

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

Pietrzak, K. Z., Salem, I., Schmid, S., & Yeo, M. X. (2021). LightPIR: Privacy-preserving route discovery for payment channel networks. Presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland: IEEE. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205

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

Koch, E. L., Morales, H. E., Larsson, J., Westram, A. M., Faria, R., Lemmon, A. R., … Butlin, R. K. (2021). Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. Evolution Letters. Wiley. https://doi.org/10.1002/evl3.227

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

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

Koch, E., Morales, H. E., Larsson, J., Westram, A. M., Faria, R., Lemmon, A. R., … Butlin, R. K. (2021). Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. Dryad. 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, F. N., Eckert, J., Schmidt, T., & Heisenberg, C.-P. J. (2021). Holding it together: when cadherin meets cadherin. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2021.03.025

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

Shute, A. L. (n.d.). On the leading constant in the Manin-type conjecture for Campana points. arXiv. 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, A. L. (n.d.). Sums of four squareful numbers. arXiv. 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, N. H., & Lampert, C. (n.d.). Fairness through regularization for learning to rank. arXiv. 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, W., Lemeshko, M., & Mentink, J. H. (n.d.). Artificial neural network states for non-additive systems. arXiv. 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, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.

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

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

Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. 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