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
Z. Patakova, M. Tancer, and U. Wagner, “Barycentric cuts through a convex body,” Discrete and Computational Geometry, vol. 68. Springer Nature, pp. 1133–1154, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
A. H. Hansen et al., “Tissue-wide effects override cell-intrinsic gene function in radial neuron migration,” Oxford Open Neuroscience, vol. 1, no. 1. Oxford University Press, 2022.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Submitted | Preprint | IST-REx-ID: 10792 | OA
Z. Schaaf et al., “WDFY3 cell autonomously controls neuronal migration.” Research Square.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10797 | OA
S. Floreani, F. Redig, and F. Sau, “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, pp. 220–247, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 10799 | OA
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
N. H. Konstantinov and C. Lampert, “Fairness-aware PAC learning from corrupted data,” Journal of Machine Learning Research, vol. 23. ML Research Press, pp. 1–60, 2022.
[Published Version] View | Files available | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10813 | OA
D. Cao 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, pp. 193–201, 2022.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 7791 | OA
A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8286 | OA
D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” Algorithmica, vol. 84, no. 4. Springer Nature, pp. 1007–1029, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8538 | OA
A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” European Journal of Mathematics, vol. 8, no. 4. Springer Nature, pp. 1313–1327, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 9336 | OA
S. Sarabipour et al., “Building and sustaining mentor interactions as a mentee,” FEBS Journal, vol. 289, no. 6. Wiley, pp. 1374–1384, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9649 | OA
J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations of isomanifolds,” Foundations of Computational Mathematics , vol. 22. Springer Nature, pp. 967–1012, 2022.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
F. P. Assen et al., “Multitier mechanics control stromal adaptations in swelling lymph nodes,” Nature Immunology, vol. 23. Springer Nature, pp. 1246–1255, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17501 | OA
F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational and automated verification of bitfield-manipulating programs,” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2. Association for Computing Machinery, pp. 1613–1638, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 17502 | OA
M. J. Sammler et al., “Islaris: Verification of machine code against authoritative ISA semantics,” in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, United States, 2022, pp. 825–840.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17503 | OA
R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell, “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, pp. 1–32, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17504 | OA
L. Gäher 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, pp. 1–31, 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17526 | OA
J. Davelaar and Z. Haiman, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries,” Physical Review D, vol. 105, no. 10. American Physical Society (APS), 2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17536 | OA
J. Samsing et al., “AGN as potential factories for eccentric black hole mergers,” Nature, vol. 603, no. 7900. Springer Science and Business Media LLC, pp. 237–240, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed