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.

6474 Publications

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

R. A. Medina Ramos and M. Serbyn, “Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT),” Physical Review A, vol. 104, no. 6. American Physical Society, 2021.

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

H. Edelsbrunner, T. Heiss, V. Kurlin , P. Smith, and M. Wintraecken, “The density fingerprint of a periodic point set,” in 37th International Symposium on Computational Geometry (SoCG 2021), Virtual, 2021, vol. 189, p. 32:1-32:16.

[Published Version] View | Files available | DOI

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

W. F. Mlynarski, M. Hledik, T. R. Sokolowski, and G. Tkačik, “Statistical analysis and optimality of neural systems,” Neuron, vol. 109, no. 7. Cell Press, p. 1227–1241.e5, 2021.

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

J. F. Alwen et al., “Grafting key trees: Efficient key management for overlapping groups,” in 19th International Conference, Raleigh, NC, United States, 2021, vol. 13044, pp. 222–253.

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

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

Y. Liu et al., “The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe,” Advanced Materials, vol. 33, no. 52. Wiley, 2021.

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

M. Calcabrini et al., “Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate,” JACS Au, vol. 1, no. 11. American Chemical Society, pp. 1898–1903, 2021.

[Published Version] View | Files available | DOI

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

Institute of Science and Technology Austria (ISTA)

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

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

6474 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options