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 | OA
Edelsbrunner, Herbert, et al. “The Density Fingerprint of a Periodic Point Set.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16, doi:10.4230/LIPIcs.SoCG.2021.32.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 7553 | OA
Mlynarski, Wiktor F., et al. “Statistical Analysis and Optimality of Neural Systems.” Neuron, vol. 109, no. 7, Cell Press, 2021, p. 1227–1241.e5, doi:10.1016/j.neuron.2021.01.020.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10408 | OA
Alwen, Joel F., et al. “Grafting Key Trees: Efficient Key Management for Overlapping Groups.” 19th International Conference, vol. 13044, Springer Nature, 2021, pp. 222–53, doi: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 | OA
Liu, Yu, et al. “The Importance of Surface Adsorbates in Solution‐processed Thermoelectric Materials: The Case of SnSe.” Advanced Materials, vol. 33, no. 52, 2106858, Wiley, 2021, doi:10.1002/adma.202106858.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10806 | OA
Calcabrini, Mariano, 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, 2021, pp. 1898–903, doi:10.1021/jacsau.1c00349.
[Published Version] View | Files available | DOI
 
2021 | Published | Journal Article | IST-REx-ID: 9118 | OA
Calcabrini, Mariano, et al. “Exploiting the Lability of Metal Halide Perovskites for Doping Semiconductor Nanocomposites.” ACS Energy Letters, vol. 6, no. 2, American Chemical Society, 2021, pp. 581–87, doi:10.1021/acsenergylett.0c02448.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 8910 | OA
Valentini, Marco, et al. “Nontopological Zero-Bias Peaks in Full-Shell Nanowires Induced by Flux-Tunable Andreev States.” Science, vol. 373, no. 6550, 82–88, American Association for the Advancement of Science, 2021, doi:10.1126/science.abf1513.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10414 | OA
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9644 | OA
Chatterjee, Krishnendu, et al. “Proving Non-Termination by Program Reversal.” Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–48, doi:10.1145/3453483.3454093.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 11458 | OA
Krumes, Alexandra, et al. “AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks.” 35th Conference on Neural Information Processing Systems, vol. 34, Neural Information Processing Systems Foundation, 2021, pp. 8557–70.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak, Krzysztof Z., et al. LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks. IEEE, 2021, doi:10.23919/IFIPNetworking52078.2021.9472205.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 9394 | OA
Koch, Eva L., et al. “Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis.” Evolution Letters, vol. 5, no. 3, Wiley, 2021, pp. 196–213, doi:10.1002/evl3.227.
[Published Version] View | Files available | DOI | WoS
 
2021 | Research Data Reference | IST-REx-ID: 12987 | OA
Koch, Eva, et al. Data from: Genetic Variation for Adaptive Traits Is Associated with Polymorphic Inversions in Littorina Saxatilis. Dryad, 2021, doi:10.5061/DRYAD.ZGMSBCCB4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 9350 | OA
Arslan, Feyza N., et al. “Holding It Together: When Cadherin Meets Cadherin.” Biophysical Journal, vol. 120, Biophysical Society, 2021, pp. 4182–92, doi:10.1016/j.bpj.2021.03.025.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2021 | Draft | Preprint | IST-REx-ID: 12077 | OA
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, 2104.14946, doi:10.48550/arXiv.2104.14946.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 12076 | OA
Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, 2104.06966, doi:10.48550/arXiv.2104.06966.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10803 | OA
Konstantinov, Nikola H., and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, 2102.05996, doi:10.48550/arXiv.2102.05996.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Draft | Preprint | IST-REx-ID: 10762 | OA
Rzadkowski, Wojciech, et al. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, doi:10.48550/arXiv.2105.15193.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed