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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4895 Publications


2021 | Thesis | IST-REx-ID: 9418 | OA
Phuong, Mary. Underspecification in Deep Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9418.
[Published Version] View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 14278 | OA
Koval, Illya. “Local Strong Birkhoff Conjecture and Local Spectral Rigidity of Almost Every Ellipse.” ArXiv, 2111.12171, doi:10.48550/ARXIV.2111.12171.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10199 | OA
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 8429 | OA
Patxot, Marion, et al. “Probabilistic Inference of the Genetic Architecture Underlying Functional Enrichment of Complex Traits.” Nature Communications, vol. 12, no. 1, 6972, Springer Nature, 2021, doi:10.1038/s41467-021-27258-9.
[Published Version] View | Files available | DOI | WoS
 

2021 | Conference Paper | IST-REx-ID: 10854 | OA
Foerster, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2021, pp. 71–72, doi:10.1145/3410220.3453923.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10855 | OA
Foerster, Klaus-Tycho, et al. “Input-Dynamic Distributed Algorithms for Communication Networks.” Proceedings of the ACM on Measurement and Analysis of Computing Systems, vol. 5, no. 1, Association for Computing Machinery, 2021, pp. 1–33, doi:10.1145/3447384.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9293 | OA
Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” Artificial Intelligence, vol. 297, no. 8, 103499, Elsevier, 2021, doi:10.1016/j.artint.2021.103499.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Research Data Reference | IST-REx-ID: 13063 | OA
Robinson, Matthew Richard. Probabilistic Inference of the Genetic Architecture of Functional Enrichment of Complex Traits. Dryad, 2021, doi:10.5061/dryad.sqv9s4n51.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 9304 | OA
Zhang, Yu, et al. “Influence of Copper Telluride Nanodomains on the Transport Properties of N-Type Bismuth Telluride.” Chemical Engineering Journal, vol. 418, no. 8, 129374, Elsevier, 2021, doi:10.1016/j.cej.2021.129374.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9793 | OA
Baldwin, Katherine T., et al. “HepaCAM Controls Astrocyte Self-Organization and Coupling.” Neuron, vol. 109, no. 15, Elsevier, 2021, p. 2427–2442.e10, doi:10.1016/j.neuron.2021.05.025.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9305 | OA
Zhang, Yu, et al. “Doping-Mediated Stabilization of Copper Vacancies to Promote Thermoelectric Properties of Cu2-XS.” Nano Energy, vol. 85, no. 7, 105991, Elsevier, 2021, doi:10.1016/j.nanoen.2021.105991.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2021 | Journal Article | IST-REx-ID: 9212 | OA
Cavallari, Nicola, et al. “Auxin-Regulated Lateral Root Organogenesis.” Cold Spring Harbor Perspectives in Biology, vol. 13, no. 7, a039941, Cold Spring Harbor Laboratory Press, 2021, doi:10.1101/cshperspect.a039941.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9953 | OA
Picard, Katherine, et al. “Microglial-Glucocorticoid Receptor Depletion Alters the Response of Hippocampal Microglia and Neurons in a Chronic Unpredictable Mild Stress Paradigm in Female Mice.” Brain, Behavior, and Immunity, vol. 97, Elsevier, 2021, pp. 423–39, doi:10.1016/j.bbi.2021.07.022.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10327 | OA
Li, Mengyao, et al. “PbS–Pb–CuxS Composites for Thermoelectric Application.” ACS Applied Materials and Interfaces, vol. 13, no. 43, American Chemical Society , 2021, pp. 51373–51382, doi:10.1021/acsami.1c15609.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9235 | OA
Li, Mengyao, et al. “Effect of the Annealing Atmosphere on Crystal Phase and Thermoelectric Properties of Copper Sulfide.” ACS Nano, vol. 15, no. 3, American Chemical Society , 2021, pp. 4967–4978, doi:10.1021/acsnano.0c09866.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10204 | OA
Osang, Georg F., et al. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” Soft Matter, vol. 17, no. 40, Royal Society of Chemistry , 2021, pp. 9107–15, doi:10.1039/d1sm00774b.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 9464
Gao, Fei, et al. “Ge/Si Quantum Wires for Quantum Computing.” 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021, 9420817, IEEE, 2021, doi:10.1109/EDTM50988.2021.9420817.
View | DOI | WoS
 

2021 | Conference Paper | IST-REx-ID: 9605 | OA
Corbet, René, et al. “Computing the Multicover Bifiltration.” Leibniz International Proceedings in Informatics, vol. 189, 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:10.4230/LIPIcs.SoCG.2021.27.
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9441 | OA
Boissonnat, Jean-Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” 37th International Symposium on Computational Geometry (SoCG 2021), vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 17:1-17:16, doi:10.4230/LIPIcs.SoCG.2021.17.
[Published Version] View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9393 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Quantitative Verification in Bounded Treewidth Graphs.” Formal Methods in System Design, vol. 57, Springer, 2021, pp. 401–28, doi:10.1007/s10703-021-00373-5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications