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.

6439 Publications

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

Karle V, Serbyn M, Michailidis A. 2021. Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. 127(6), 060602.

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

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

Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 9470547.

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

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

Rella S, Kulikova YA, Dermitzakis ET, Kondrashov F. 2021. Rates of SARS-CoV-2 transmission and vaccination impact the fate of vaccine-resistant strains. Scientific Reports. 11(1), 15729.

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

Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205.

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

Medina Ramos RA, Serbyn M. 2021. Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT). Physical Review A. 104(6), 062423.

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: 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.

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: 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.)

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

Research Groups

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

6439 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).

6439 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options