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.

8561 Publications


2022 | Published | Journal Article | IST-REx-ID: 10776 | OA
Patakova, Zuzana, et al. “Barycentric Cuts through a Convex Body.” Discrete and Computational Geometry, vol. 68, Springer Nature, 2022, pp. 1133–54, doi:10.1007/s00454-021-00364-7.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
Hansen, Andi H., et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience, vol. 1, no. 1, kvac009, Oxford University Press, 2022, doi:10.1093/oons/kvac009.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Submitted | Preprint | IST-REx-ID: 10792 | OA
Schaaf, Zachary, et al. WDFY3 Cell Autonomously Controls Neuronal Migration. Research Square, doi:10.21203/rs.3.rs-1316167/v1.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10797 | OA
Floreani, Simone, et al. “Orthogonal Polynomial Duality of Boundary Driven Particle Systems and Non-Equilibrium Correlations.” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 58, no. 1, Institute of Mathematical Statistics, 2022, pp. 220–47, doi:10.1214/21-AIHP1163.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 10799 | OA
Konstantinov, Nikola H. Robustness and Fairness in Machine Learning. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:10799.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
Konstantinov, Nikola H., and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” Journal of Machine Learning Research, vol. 23, ML Research Press, 2022, pp. 1–60.
[Published Version] View | Files available | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10813 | OA
Cao, Deqing, et al. “Threshold Potentials for Fast Kinetics during Mediated Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” Nature Catalysis, vol. 5, Springer Nature, 2022, pp. 193–201, doi:10.1038/s41929-022-00752-z.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 7791 | OA
Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8286 | OA
Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” Algorithmica, vol. 84, no. 4, Springer Nature, 2022, pp. 1007–29, doi:10.1007/s00453-021-00905-9.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8538 | OA
Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1313–27, doi:10.1007/s40879-020-00426-9.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 9336 | OA
Sarabipour, Sarvenaz, et al. “Building and Sustaining Mentor Interactions as a Mentee.” FEBS Journal, vol. 289, no. 6, Wiley, 2022, pp. 1374–84, doi:10.1111/febs.15823.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics , vol. 22, Springer Nature, 2022, pp. 967–1012, doi:10.1007/s10208-021-09520-0.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:10.1038/s41590-022-01257-4.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17501 | OA
Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Association for Computing Machinery, 2022, pp. 1613–38, doi:10.1145/3563345.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 17502 | OA
Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–40, doi:10.1145/3519939.3523434.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17503 | OA
Lepigre, Rodolphe, et al. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–32, doi:10.1145/3498681.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17504 | OA
Gäher, Lennard, et al. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–31, doi:10.1145/3498689.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17526 | OA
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D, vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:10.1103/physrevd.105.103010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17536 | OA
Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022, pp. 237–40, doi:10.1038/s41586-021-04333-1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed