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.

1608 Publications


2022 | Thesis | IST-REx-ID: 12072 | OA
Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12300 | OA
Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. Practical asynchronous distributed key generation. In: 2022 IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers; 2022:2518-2534. doi:10.1109/sp46214.2022.9833584
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Book Chapter | IST-REx-ID: 12303 | OA
Mirković I, Yang Y, Zhao G. Loop Grassmannians of Quivers and Affine Quantum Groups. In: Baranovskky V, Guay N, Schedler T, eds. Representation Theory and Algebraic Geometry. 1st ed. TM. Cham: Springer Nature; Birkhäuser; 2022:347-392. doi:10.1007/978-3-030-82007-7_8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee T, Majumdar R, Mallik K, Schmuck A-K, Soudjani S. A direct symbolic algorithm for solving stochastic rabin games. In: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 13244. Springer Nature; 2022:81-98. doi:10.1007/978-3-030-99527-0_5
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12582 | OA
Miles ES, Steiner JF, Buri P, Immerzeel WW, Pellicciotti F. Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. 2022;17(6). doi:10.1088/1748-9326/ac6966
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12574 | OA
Kneib M, Miles ES, Buri P, et al. Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. 2022;16(11):4701-4725. doi:10.5194/tc-16-4701-2022
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11839 | OA
Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi:10.1007/978-3-031-19803-8_21
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Abstract | IST-REx-ID: 12894 | OA
Schlögl A, Hornoiu A, Elefante S, Stadlbauer S. Where is the sweet spot? A procurement story of general purpose compute nodes. In: ASHPC22 - Austrian-Slovenian HPC Meeting 2022. EuroCC Austria c/o Universität Wien; 2022:7. doi:10.25365/phaidra.337
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11777 | OA
Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11128 | OA
Matejovicova L. Genetic basis of flower colour as a model for adaptive evolution. 2022. doi:10.15479/at:ista:11128
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13352 | OA
Cai J, Zhang W, Xu L, Hao C, Ma W, Sun M, Wu X, Qin X, Colombari FM, de Moura AF, Xu J, Silva MC, Carneiro-Neto EB, Gomes WR, Vallée RAL, Pereira EC, Liu X, Xu C, Klajn R, Kotov NA, Kuang H. 2022. Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles. Nature Nanotechnology. 17(4), 408–416.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10717 | OA
Wang R, Himschoot E, Grenzi M, et al. Auxin analog-induced Ca2+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. 2022;73(8). doi:10.1093/jxb/erac019
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10765 | OA
Cao Y, Huang Z. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. 2022;398(3). doi:10.1016/j.aim.2022.108236
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10776 | OA
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. Discrete and Computational Geometry. 2022;68:1133-1154. doi:10.1007/s00454-021-00364-7
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10841 | OA
Dahhan D, Reynolds G, Cárdenas J, et al. Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. 2022;34(6):2150-2173. doi:10.1093/plcell/koac071
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10888 | OA
Lu Q, Zhang Y, Hellner J, 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. 2022;119(11). doi:10.1073/pnas.2118220119
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11332 | OA
Schnelli K, Xu Y. Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. 2022;393:839-907. doi:10.1007/s00220-022-04377-y
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11331 | OA
Danezis G, Kokoris Kogias E, Sonnino A, Spiegelman A. Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus. In: Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery; 2022:34-50. doi:10.1145/3492321.3519594
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11344 | OA
Dranenko N, Tutukina M, Gelfand M, Kondrashov F, Bochkareva O. Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia. Scientific Reports. 2022;12. doi:10.1038/s41598-022-10827-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11181 | OA
Brown TA, Sigouin W, Alistarh D-A. 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. Association for Computing Machinery; 2022:385-399. doi:10.1145/3503221.3508410
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11186 | OA
Kwan MA, Sah A, Sawhney M. Large deviations in random latin squares. Bulletin of the London Mathematical Society. 2022;54(4):1420-1438. doi:10.1112/blms.12638
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11417 | OA
Sigillito AJ, Covey JP, Fink JM, Petersson K, Preble S. Emerging qubit systems: Guest editorial. Applied Physics Letters. 2022;120(19). doi:10.1063/5.0097339
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11460 | OA
Schaaf ZA, Tat L, Cannizzaro N, et al. WDFY3 mutation alters laminar position and morphology of cortical neurons. Molecular Autism. 2022;13. doi:10.1186/s13229-022-00508-3
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11476 | OA
Alwen J, Auerbach B, Cueto Noval M, et al. CoCoA: Concurrent continuous group key agreement. In: Advances in Cryptology – EUROCRYPT 2022. Vol 13276. Cham: Springer Nature; 2022:815–844. doi:10.1007/978-3-031-07085-3_28
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11587 | OA
Zhang R, Kuo R, Coulter M, Calixto CPG, Entizne JC, Guo W, Marquez Y, Milne L, Riegler S, Matsui A, Tanaka M, Harvey S, Gao Y, Wießner-Kroh T, Paniagua A, Crespi M, Denby K, Hur AB, Huq E, Jantsch M, Jarmolowski A, Koester T, Laubinger S, Li QQ, Gu L, Seki M, Staiger D, Sunkar R, Szweykowska-Kulinska Z, Tu SL, Wachter A, Waugh R, Xiong L, Zhang XN, Conesa A, Reddy ASN, Barta A, Kalyna M, Brown JWS. 2022. A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. 23, 149.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11707 | OA
Balliu A, Hirvonen J, Melnyk D, Olivetti D, Rybicki J, Suomela J. Local mending. In: Parter M, ed. International Colloquium on Structural Information and Communication Complexity. Vol 13298. LNCS. Springer Nature; 2022:1-20. doi:10.1007/978-3-031-09993-9_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11636 | OA
Kmentt P, Shute AL. The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and their Applications. 2022;83(10). doi:10.1016/j.ffa.2022.102085
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11705 | OA
Chang C, Liu Y, Lee S, et al. Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie - International Edition. 2022;61(35). doi:10.1002/anie.202207002
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11733 | OA
Orliac EJ, Trejo Banos D, Ojavee SE, et al. Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. 2022;119(31). doi:10.1073/pnas.2121279119
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11740 | OA
Cooley O, Del Giudice N, Kang M, Sprüssel P. Phase transition in cohomology groups of non-uniform random simplicial complexes. Electronic Journal of Combinatorics. 2022;29(3). doi:10.37236/10607
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11858 | OA
Agresti A, Veraar M. Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. 2022;22(2). doi:10.1007/s00028-022-00786-7
[Published Version] View | Files available | DOI | WoS
 

2022 | Book Chapter | IST-REx-ID: 10820
Liu J, Marensi E, Wu X. Effects of streaky structures on the instability of supersonic boundary layers. In: Sherwin S, Schmid P, Wu X, eds. IUTAM Laminar-Turbulent Transition. Vol 38. 1st ed. IUTAM Bookseries. Cham: Springer Nature; 2022:587-598. doi:10.1007/978-3-030-67902-6_51
View | DOI | WoS
 

2022 | Research Data Reference | IST-REx-ID: 13064 | OA
Orliac E, Trejo Banos D, Ojavee S, et al. Improving genome-wide association discovery and genomic prediction accuracy in biobank data. 2022. doi:10.5061/DRYAD.GTHT76HMZ
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12052 | OA
Konstantinova N, Hörmayer L, Glanc M, et al. WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. 2022;13. doi:10.1038/s41467-022-32888-8
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12079 | OA
Hensel S, Moser M. Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. 2022;61(6). doi:10.1007/s00526-022-02307-3
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12054 | OA
Yang Z, Xia J, Hong J, et al. Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. 2022;609(7927):611-615. doi:10.1038/s41586-022-05143-9
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12110 | OA
Henheik SJ, Tumulka R. Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. 2022;63(12). doi:10.1063/5.0104675
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12107 | OA
Roca R, De Meyer V, Muller CJ. Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. 2022;49(24). doi:10.1029/2022GL100624
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12129 | OA
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. 2022;68(4):1227-1284. doi:10.1007/s00454-022-00436-2
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12142 | OA
Ojavee SE, Kutalik Z, Robinson MR. Liability-scale heritability estimation for biobank studies of low-prevalence disease. The American Journal of Human Genetics. 2022;109(11):2009-2017. doi:10.1016/j.ajhg.2022.09.011
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12151 | OA
Cooley O, Kang M, Pikhurko O. On a question of Vera T. Sós about size forcing of graphons. Acta Mathematica Hungarica. 2022;168:1-26. doi:10.1007/s10474-022-01265-8
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12227 | OA
Kovačič S, Schafzahl B, Matsko NB, et al. Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications. ACS Applied Energy Materials. 2022;5(11):14381-14390. doi:10.1021/acsaem.2c02787
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12226 | OA
Pokusaeva V, Diez AR, Espinar L, Pérez AT, Filion GJ. Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. 2022;23. doi:10.1186/s13059-022-02665-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12233 | OA
Doan N, Hashemi SA, Mondelli M, Gross WJ. Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. 2022;70(11):7134-7145. doi:10.1109/tcomm.2022.3211101
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12432
Anastos M. Solving the Hamilton cycle problem fast on average. In: 63rd Annual IEEE Symposium on Foundations of Computer Science. Vol 2022-October. Institute of Electrical and Electronics Engineers; 2022:919-930. doi:10.1109/FOCS54457.2022.00091
View | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov A, Cueto Noval M, Hoffmann C, Rosen A. Public-Key Encryption from Homogeneous CLWE. In: Theory of Cryptography. Vol 13748. Springer Nature; 2022:565-592. doi:10.1007/978-3-031-22365-5_20
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications