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, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature. https://doi.org/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. (2022). Practical asynchronous distributed key generation. In 2022 IEEE Symposium on Security and Privacy (pp. 2518–2534). San Francisco, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/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. (2022). Loop Grassmannians of Quivers and Affine Quantum Groups. In V. Baranovskky, N. Guay, & T. Schedler (Eds.), Representation Theory and Algebraic Geometry (1st ed., pp. 347–392). Cham: Springer Nature; Birkhäuser. https://doi.org/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. (2022). 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, pp. 81–98). Munich, Germany: Springer Nature. https://doi.org/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, E. S., Steiner, J. F., Buri, P., Immerzeel, W. W., & Pellicciotti, F. (2022). Controls on the relative melt rates of debris-covered glacier surfaces. Environmental Research Letters. IOP Publishing. https://doi.org/10.1088/1748-9326/ac6966
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12574 | OA
Kneib, M., Miles, E. S., Buri, P., Fugger, S., McCarthy, M., Shaw, T. E., … Pellicciotti, F. (2022). Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry. The Cryosphere. Copernicus Publications. https://doi.org/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. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/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. (2022). Where is the sweet spot? A procurement story of general purpose compute nodes. In ASHPC22 - Austrian-Slovenian HPC Meeting 2022 (p. 7). Grundlsee, Austria: EuroCC Austria c/o Universität Wien. https://doi.org/10.25365/phaidra.337
[Published Version] View | Files available | DOI
 

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

2022 | Thesis | IST-REx-ID: 11128 | OA
Matejovicova, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria. https://doi.org/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., Chen, J., Safi, A., Krebs, M., … Vanneste, S. (2022). Auxin analog-induced Ca2+ signaling is independent of inhibition of endosomal aggregation in Arabidopsis roots. Journal of Experimental Botany. Oxford Academic. https://doi.org/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. (2022). Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. Elsevier. https://doi.org/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. (2022). Barycentric cuts through a convex body. Discrete and Computational Geometry. Springer Nature. https://doi.org/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., Eeckhout, D., Johnson, A. J., Yperman, K., … Bednarek, S. (2022). Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. Oxford Academic. https://doi.org/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., Giannini, C., Xu, X., Pauwels, J., … Russinova, E. (2022). 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. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2118220119
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11332 | OA
Schnelli, K., & Xu, Y. (2022). Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. Springer Nature. https://doi.org/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. (2022). Narwhal and Tusk: A DAG-based mempool and efficient BFT consensus. In Proceedings of the 17th European Conference on Computer Systems (pp. 34–50). Rennes, France: Association for Computing Machinery. https://doi.org/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. (2022). Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia. Scientific Reports. Springer Nature. https://doi.org/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, T. A., Sigouin, W., & Alistarh, D.-A. (2022). 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 (pp. 385–399). Seoul, Republic of Korea: Association for Computing Machinery. https://doi.org/10.1145/3503221.3508410
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11186 | OA
Kwan, M. A., Sah, A., & Sawhney, M. (2022). Large deviations in random latin squares. Bulletin of the London Mathematical Society. Wiley. https://doi.org/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, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11417 | OA
Sigillito, A. J., Covey, J. P., Fink, J. M., Petersson, K., & Preble, S. (2022). Emerging qubit systems: Guest editorial. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/5.0097339
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11460 | OA
Schaaf, Z. A., Tat, L., Cannizzaro, N., Green, R., Rülicke, T., Hippenmeyer, S., & Zarbalis, K. S. (2022). WDFY3 mutation alters laminar position and morphology of cortical neurons. Molecular Autism. Springer Nature. https://doi.org/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., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/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. (2022). Local mending. In M. Parter (Ed.), International Colloquium on Structural Information and Communication Complexity (Vol. 13298, pp. 1–20). Paderborn, Germany: Springer Nature. https://doi.org/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, A. L. (2022). The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and Their Applications. Elsevier. https://doi.org/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., Spadaro, M., Koskela, K. M., Kleinhanns, T., … Ibáñez, M. (2022). Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie - International Edition. Wiley. https://doi.org/10.1002/anie.202207002
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11733 | OA
Orliac, E. J., Trejo Banos, D., Ojavee, S. E., Läll, K., Mägi, R., Visscher, P. M., & Robinson, M. R. (2022). Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences. https://doi.org/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. (2022). Phase transition in cohomology groups of non-uniform random simplicial complexes. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/10607
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11858 | OA
Agresti, A., & Veraar, M. (2022). Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. Springer Nature. https://doi.org/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. (2022). Effects of streaky structures on the instability of supersonic boundary layers. In S. Sherwin, P. Schmid, & X. Wu (Eds.), IUTAM Laminar-Turbulent Transition (1st ed., Vol. 38, pp. 587–598). Cham: Springer Nature. https://doi.org/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., Läll, K., Mägi, R., Visscher, P., & Robinson, M. R. (2022). Improving genome-wide association discovery and genomic prediction accuracy in biobank data. Dryad. https://doi.org/10.5061/DRYAD.GTHT76HMZ
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/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., Keshkeih, R., Tan, S., Di Donato, M., … Luschnig, C. (2022). WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. Springer Nature. https://doi.org/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. (2022). Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/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., Zhang, C., Wei, H., Ying, W., … Sun, L. (2022). Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. Springer Nature. https://doi.org/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, S. J., & Tumulka, R. (2022). Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. AIP Publishing. https://doi.org/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, C. J. (2022). Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. Wiley. https://doi.org/10.1029/2022GL100624
[Published Version] View | Files available | DOI | WoS
 

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

2022 | Journal Article | IST-REx-ID: 12142 | OA
Ojavee, S. E., Kutalik, Z., & Robinson, M. R. (2022). Liability-scale heritability estimation for biobank studies of low-prevalence disease. The American Journal of Human Genetics. Elsevier. https://doi.org/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. (2022). On a question of Vera T. Sós about size forcing of graphons. Acta Mathematica Hungarica. Springer Nature. https://doi.org/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, N. B., Gruber, K., Schmuck, M., Koller, S., … Slugovc, C. (2022). 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. American Chemical Society. https://doi.org/10.1021/acsaem.2c02787
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12226 | OA
Pokusaeva, V., Diez, A. R., Espinar, L., Pérez, A. T., & Filion, G. J. (2022). Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. Springer Nature. https://doi.org/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, S. A., Mondelli, M., & Gross, W. J. (2022). Decoding Reed-Muller codes with successive codeword permutations. IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tcomm.2022.3211101
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12432
Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers. https://doi.org/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. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature. https://doi.org/10.1007/978-3-031-22365-5_20
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 12178 | OA
Agresti, A., Hieber, M., Hussein, A., & Saal, M. (2022). The stochastic primitive equations with transport noise and turbulent pressure. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00277-3
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13452 | OA
Keszthelyi, Z., de Koter, A., Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V., … ud-Doula, A. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at Solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stac2598
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 14098 | OA
Keszthelyi, Z., Koter, A. de, Götberg, Y. L. L., Meynet, G., Brands, S. A., Petit, V., … A. ud-Doula, A. ud-Doula. (2022). The effects of surface fossil magnetic fields on massive star evolution: IV. Grids of models at solar, LMC, and SMC metallicities. Monthly Notices of the Royal Astronomical Society. Oxford Academic. https://doi.org/10.1093/mnras/stac2598
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11732 | OA
Henheik, S. J., & Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02965-9
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., & Yeo, M. X. (2022). Hide & Seek: Privacy-preserving rebalancing on payment channel networks. In Financial Cryptography and Data Security (Vol. 13411, pp. 358–373). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12302 | OA
Doveri, K., Ganty, P., & Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-13188-2_6
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, C., Hubáček, P., Kamath, C., Klein, K., & Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-15979-4_13
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Conference Paper | IST-REx-ID: 12298 | OA
Gelashvili, R., Kokoris Kogias, E., Sonnino, A., Spiegelman, A., & Xiang, Z. (2022). Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In Financial Cryptography and Data Security (Vol. 13411, pp. 296–315). Radisson Grenada Beach Resort, Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12168 | OA
Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., & Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_13
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12170
Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_20
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12175 | OA
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Conference Paper | IST-REx-ID: 14168 | OA
Rahaman, N., Weiss, M., Locatello, F., Pal, C., Bengio, Y., Schölkopf, B., … Ballas, N. (2022). Neural attentive circuits. In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, United States.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
Arroyo Guevara, A. M., & Felsner, S. (2022). Approximating the bundled crossing number. In WALCOM 2022: Algorithms and Computation (Vol. 13174, pp. 383–395). Jember, Indonesia: Springer Nature. https://doi.org/10.1007/978-3-030-96731-4_31
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10753 | OA
Confavreux, B. J., & Vogels, T. P. (2022). A familiar thought: Machines that replace us? Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2022.01.014
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11144
Su, L., Wang, D., Wang, S., Qin, B., Wang, Y., Qin, Y., … Zhao, L. D. (2022). High thermoelectric performance realized through manipulating layered phonon-electron decoupling. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abn8997
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 10799 | OA
Konstantinov, N. H. (2022). Robustness and fairness in machine learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10799
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10792 | OA
Schaaf, Z., Tat, L., Cannizzaro, N., Green, R., Rülicke, T., Hippenmeyer, S., & Zarbalis, K. (n.d.). WDFY3 cell autonomously controls neuronal migration. Research Square. https://doi.org/10.21203/rs.3.rs-1316167/v1
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
Ivanov, G., & Naszodi, M. (2022). A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1403308
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11478 | OA
Bartalska, K., Hübschmann, V., Korkut, M., Cubero, R. J., Venturino, A., Rössler, K., … Siegert, S. (2022). A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. IScience. Elsevier. https://doi.org/10.1016/j.isci.2022.104580
[Published Version] View | Files available | DOI | WoS
 

2022 | Thesis | IST-REx-ID: 11626 | OA
Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11626
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4
[Published Version] View | Files available | DOI | WoS
 

2022 | Preprint | IST-REx-ID: 14600 | OA
Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. https://doi.org/10.48550/ARXIV.2210.05308
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12358 | OA
Sperl, G. (2022). Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12103
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 10759 | OA
Rzadkowski, W. (2022). Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10759
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 14597 | OA
Fischer, J. L., & Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. https://doi.org/10.48550/ARXIV.2203.17143
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 15203 | OA
Tsygankov SS, Doroshenko V, Poutanen J, Heyl J, Mushtukov AA, Caiazzo I, Di Marco A, Forsblom SV, González-Caniulef D, Klawin M, La Monaca F, Malacaria C, Marshall HL, Muleri F, Ng M, Suleimanov VF, Sunyaev RA, Turolla R, Agudo I, Antonelli LA, Bachetti M, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, Rosa AD, Del Monte E, Gesu LD, Lalla ND, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, Krawczynski H, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Petrucci P-O, Pilia M, Possenti A, Puccetti S, Ramsey BD, Rankin J, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Vink J, Weisskopf MC, Wu K, Xie F, Zane S. 2022. The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. 941(1), L14.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12368 | OA
Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical  flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11879 | OA
Artner, C. (2022). Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11879
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11393 | OA
Jevtic, M. (2022). Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11393
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 12366 | OA
Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11388 | OA
Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11388
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10703 | OA
Gaertner, F., Reis-Rodrigues, P., de Vries, I., Hons, M., Aguilera, J., Riedl, M., … Sixt, M. K. (2022). WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. Cell Press ; Elsevier. https://doi.org/10.1016/j.devcel.2021.11.024
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11193 | OA
Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11193
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10052 | OA
Jecker, I. R., Mazzocchi, N., & Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2021.18
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10054 | OA
Chatterjee, K., Henzinger, M. H., Kale, S. S., & Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In 48th International Colloquium on Automata, Languages, and Programming (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2021.124
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10072 | OA
Harris, D. G., Iliopoulos, F., & Kolmogorov, V. (2021). A new notion of commutativity for the algorithmic Lovász Local Lemma. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Vol. 207). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10075 | OA
Guha, S., Jecker, I. R., Lehtinen, K., & Zimmermann, M. (2021). A bit of nondeterminism makes pushdown automata expressive and succinct. In 46th International Symposium on Mathematical Foundations of Computer Science (Vol. 202). Tallinn, Estonia: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2021.53
[Published Version] View | Files available | DOI | arXiv
 

2021 | Preprint | IST-REx-ID: 10174 | OA
Clozeau, N., & Gloria, A. (n.d.). Quantitative nonlinear homogenization: control of oscillations. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2021 | Book | IST-REx-ID: 10415
Browning, T. D. (2021). Cubic Forms and the Circle Method (Vol. 343). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-86872-7
View | DOI
 

2021 | Journal Article | IST-REx-ID: 10608 | OA
Weighill, T., Yamauchi, T., & Zava, N. (2021). Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-021-00515-3
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10630 | OA
Arrighi, E., Fernau, H., Hoffmann, S., Holzer, M., Jecker, I. R., De Oliveira Oliveira, M., & Wolf, P. (2021). On the complexity of intersection non-emptiness for star-free language classes. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.34
[Published Version] View | Files available | DOI | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10629 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10688 | OA
Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version] View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10692 | OA
Polshyn, H., Zhu, J., Kumar, M., Zhang, Y., Yang, F., Tschirhart, C., … Young, A. (2021). Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order. In APS March Meeting 2021 (Vol. 66). Virtual: American Physical Society.
[Published Version] View | Download Published Version (ext.)
 

2021 | Conference Paper | IST-REx-ID: 10847 | OA
Tomášek, P., Horák, K., Aradhye, A., Bošanský, B., & Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2021/575
[Published Version] View | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 11498 | OA
Schmidt, K. B., Kerutt, J., Wisotzki, L., Urrutia, T., Feltre, A., Maseda, M. V., … Schaye, J. (2021). Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202140876
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11500 | OA
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11512 | OA
Boogaard, L. A., Bouwens, R. J., Riechers, D., van der Werf, P., Bacon, R., Matthee, J. J., … Walter, F. (2021). Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ac01d7
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 11525 | OA
Gallego, S. G., Cantalupo, S., Sarpas, S., Duboeuf, B., Lilly, S., Pezzulli, G., … Mauerhofer, V. (2021). Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stab796
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications