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.

2033 Publications


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 | Conference Paper | IST-REx-ID: 10820
J. Liu, E. Marensi, and X. Wu, “Effects of streaky structures on the instability of supersonic boundary layers,” in IUTAM Laminar-Turbulent Transition, London, United Kingdom, 2022, vol. 38, pp. 587–598.
View | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10841 | OA
D. Dahhan et al., “Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components,” Plant Cell, vol. 34, no. 6. Oxford University Press, pp. 2150–2173, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10888 | OA
Q. Lu et al., “Proteome-wide cellular thermal shift assay reveals unexpected cross-talk between brassinosteroid and auxin signaling,” Proceedings of the National Academy of Sciences of the United States of America, vol. 119, no. 11. National Academy of Sciences, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 10891
T. A. Henzinger, “Quantitative monitoring of software,” in Software Verification, New Haven, CT, United States, 2022, vol. 13124, pp. 3–6.
View | DOI | WoS
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11128 | OA
L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11144
L. Su et al., “High thermoelectric performance realized through manipulating layered phonon-electron decoupling,” Science, vol. 375, no. 6587. American Association for the Advancement of Science, pp. 1385–1389, 2022.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 11181 | OA
T. A. Brown, W. Sigouin, and D.-A. Alistarh, “PathCAS: An efficient middle ground for concurrent search data structures,” in Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, 2022, pp. 385–399.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 11182 | OA
J. Kroll, M. J. A. Ruiz-Fernandez, M. B. Braun, J. Merrin, and J. Renkawitz, “Quantifying the probing and selection of microenvironmental pores by motile immune cells,” Current Protocols, vol. 2, no. 4. Wiley, 2022.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 11185 | OA
A. M. Arroyo Guevara and S. Felsner, “Approximating the bundled crossing number,” in WALCOM 2022: Algorithms and Computation, Jember, Indonesia, 2022, vol. 13174, pp. 383–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11186 | OA
M. A. Kwan, A. Sah, and M. Sawhney, “Large deviations in random latin squares,” Bulletin of the London Mathematical Society, vol. 54, no. 4. Wiley, pp. 1420–1438, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11331 | OA
G. Danezis, E. Kokoris Kogias, A. Sonnino, and A. Spiegelman, “Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus,” in Proceedings of the 17th European Conference on Computer Systems, Rennes, France, 2022, pp. 34–50.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11332 | OA
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices,” Communications in Mathematical Physics, vol. 393. Springer Nature, pp. 839–907, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11344 | OA
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, and O. Bochkareva, “Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia,” Scientific Reports, vol. 12. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11362 | OA
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11417 | OA
A. J. Sigillito, J. P. Covey, J. M. Fink, K. Petersson, and S. Preble, “Emerging qubit systems: Guest editorial,” Applied Physics Letters, vol. 120, no. 19. American Institute of Physics, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11428 | OA
E. Chambers, C. D. Fillmore, E. R. Stephenson, and M. Wintraecken, “A cautionary tale: Burning the medial axis is unstable,” in 38th International Symposium on Computational Geometry, Berlin, Germany, 2022, vol. 224, p. 66:1-66:9.
[Published Version] View | Files available | DOI
 

2022 | Published | Book (Editor) | IST-REx-ID: 11429
F. Karimipour and S. Storandt, Eds., Web and Wireless Geographical Information Systems, 1st ed., vol. 13238. Cham: Springer Nature, 2022.
View | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11435 | OA
G. Ivanov and M. Naszodi, “A quantitative Helly-type theorem: Containment in a homothet,” SIAM Journal on Discrete Mathematics, vol. 36, no. 2. Society for Industrial and Applied Mathematics, pp. 951–957, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed