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. 37th International Symposium on Computational Geometry (SoCG 2021). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 189, 32:1-32:16.

[Published Version] View | Files available | DOI

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

Mlynarski WF, Hledik M, Sokolowski TR, Tkačik G. 2021. Statistical analysis and optimality of neural systems. Neuron. 109(7), 1227–1241.e5.

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

Alwen JF, Auerbach B, Baig MA, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ, Walter M. 2021. Grafting key trees: Efficient key management for overlapping groups. 19th International Conference. TCC: Theory of Cryptography, LNCS, vol. 13044, 222–253.

[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, Kleinhanns T, Lee S, Llorca J, Cojocaru‐Mirédin O, Ibáñez M. 2021. The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe. Advanced Materials. 33(52), 2106858.

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. 1(11), 1898–1903.

[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 DN, Akkerman QA, Kovalenko MV, Arbiol J, Ibáñez M. 2021. Exploiting the lability of metal halide perovskites for doping semiconductor nanocomposites. ACS Energy Letters. 6(2), 581–587.

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

Valentini M, Peñaranda F, Hofmann AC, Brauns M, Hauschild R, Krogstrup P, San-Jose P, Prada E, Aguado R, Katsaros G. 2021. Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. 373(6550), 82–88.

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. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.

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

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

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

Krumes A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 34, 8557–8570.

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

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

Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).

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

Koch EL, Morales HE, Larsson J, Westram AM, Faria R, Lemmon AR, Lemmon EM, Johannesson K, Butlin RK. 2021. Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis. Evolution Letters. 5(3), 196–213.

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

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

Koch E, Morales HE, Larsson J, Westram AM, Faria R, Lemmon AR, Lemmon EM, Johannesson K, Butlin RK. 2021. Data from: Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis, Dryad, 10.5061/DRYAD.ZGMSBCCB4.

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

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

Arslan FN, Eckert J, Schmidt T, Heisenberg C-PJ. 2021. Holding it together: when cadherin meets cadherin. Biophysical Journal. 120, 4182–4192.

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

Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.

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

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

Shute AL. Sums of four squareful numbers. arXiv, 2104.06966.

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

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

Konstantinov NH, Lampert C. Fairness through regularization for learning to rank. arXiv, 2102.05996.

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

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

Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for non-additive systems. arXiv, 10.48550/arXiv.2105.15193.

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

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

Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.

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

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

Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .

[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