ISTA Research Explorer

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.

10717 Publications

2021 | Published | Journal Article | IST-REx-ID: 9307 |

Hensel, S. (2021). Finite time extinction for the 1D stochastic porous medium equation with transport noise. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-021-00188-9

[Published Version] View | Files available | DOI | WoS

2021 | Draft | Preprint | IST-REx-ID: 12076 |

Shute, A. L. (n.d.). Sums of four squareful numbers. arXiv. https://doi.org/10.48550/arXiv.2104.06966

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Draft | Preprint | IST-REx-ID: 10762 |

Rzadkowski, W., Lemeshko, M., & Mentink, J. H. (n.d.). Artificial neural network states for non-additive systems. arXiv. https://doi.org/10.48550/arXiv.2105.15193

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Draft | Preprint | IST-REx-ID: 10803 |

Konstantinov, N. H., & Lampert, C. (n.d.). Fairness through regularization for learning to rank. arXiv. https://doi.org/10.48550/arXiv.2102.05996

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10414 |

Chatterjee, K., Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33

2021 | Published | Conference Paper | IST-REx-ID: 9644 |

Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093

2021 | Published | Conference Paper | IST-REx-ID: 10665 |

Henzinger, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10694 |

Avni, G., Jecker, I. R., & Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611976465.38

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10667 |

Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. https://doi.org/10.48550/arXiv.2111.03165

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8373 |

Pitrik, J., & Virosztek, D. (2021). A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2020.09.007

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10221 |

Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Eigenstate thermalization hypothesis for Wigner matrices. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-021-04239-z

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9121 |

Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9998 |

Koroteev, P., Pushkar, P., Smirnov, A. V., & Zeitlin, A. M. (2021). Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. Springer Nature. https://doi.org/10.1007/s00029-021-00698-3

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8816 |

Runkel, Ingo, Area-dependent quantum field theory. Communications in Mathematical Physics 381 (1). 2021

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 7901 |

Benedikter, N. P., Nam, P. T., Porta, M., Schlein, B., & Seiringer, R. (2021). Correlation energy of a weakly interacting Fermi gas. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-021-01041-5

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9234 |

Izuchukwu, C., & Shehu, Y. (2021). New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. Springer Nature. https://doi.org/10.1007/s11067-021-09517-w

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8196 |

Shehu, Y., Dong, Q.-L., Liu, L.-L., & Yao, J.-C. (2021). New strong convergence method for the sum of two maximal monotone operators. Optimization and Engineering. Springer Nature. https://doi.org/10.1007/s11081-020-09544-5

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 7925 |

Shehu, Y., & Gibali, A. (2021). New inertial relaxed method for solving split feasibilities. Optimization Letters. Springer Nature. https://doi.org/10.1007/s11590-020-01603-1

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 7905 |

Brown, A., & Wang, B. (2021). Sheaf-theoretic stratification learning from geometric and topological perspectives. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00206-y

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Thesis | IST-REx-ID: 10007 |

Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 7939 |

Censor-Hillel, K., Dory, M., Korhonen, J., & Leitersdorf, D. (2021). Fast approximate shortest paths in the congested clique. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-020-00380-5

2021 | Published | Journal Article | IST-REx-ID: 10806 |

Calcabrini, M., Van den Eynden, D., Sanchez Ribot, S., Pokratath, R., Llorca, J., De Roo, J., & Ibáñez, M. (2021). Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate. JACS Au. American Chemical Society. https://doi.org/10.1021/jacsau.1c00349

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 10123 |

Liu, Y., Calcabrini, M., Yu, Y., Genç, A., Chang, C., Costanzo, T., … Ibáñez, M. (2021). The importance of surface adsorbates in solution‐processed thermoelectric materials: The case of SnSe. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202106858

2021 | Published | Journal Article | IST-REx-ID: 9158 |

De Nicola, S. (2021). Disentanglement approach to quantum spin ground states: Field theory and stochastic simulation. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/abc7c7

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9099 |

Srivastava, Tanya K, Lifting automorphisms on Abelian varieties as derived autoequivalences. Archiv der Mathematik 116 (5). 2021

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10117 |

Artan, M., Barratt, S., Flynn, S. M., Begum, F., Skehel, M., Nicolas, A., & de Bono, M. (2021). Interactome analysis of Caenorhabditis elegans synapses by TurboID-based proximity labeling. Journal of Biological Chemistry. Elsevier. https://doi.org/10.1016/J.JBC.2021.101094

[Published Version] View | Files available | DOI | WoS

2021 | Published | Conference Paper | IST-REx-ID: 9620 |

Alistarh, Dan-Adrian, Collecting coupons is faster with friends. Structural Information and Communication Complexity 12810. 2021

[Preprint] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9543 |

Davies, Peter, New bounds for distributed mean estimation and variance reduction. 9th International Conference on Learning Representations. 2021

[Published Version] View | Download Published Version (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10025 |

Zhou, H., Xie, T., Ghazaryan, A., Holder, T., Ehrets, J. R., Spanton, E. M., … Young, A. F. (2021). Half and quarter metals in rhombohedral trilayer graphene. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-03938-w

2021 | Published | Journal Article | IST-REx-ID: 10024 |

Floreani, S., Redig, F., & Sau, F. (2021). Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2021.08.006

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10116 |

Vuong-Brender, T., Flynn, S., Vallis, Y., & de Bono, M. (2021). Neuronal calmodulin levels are controlled by CAMTA transcription factors. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.68238

2021 | Published | Journal Article | IST-REx-ID: 9679 |

Huber, D., Marchukov, O. V., Hammer, H. W., & Volosniev, A. (2021). Morphology of three-body quantum states from machine learning. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac0576

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10285 |

Dubach, G. (2021). On eigenvector statistics in the spherical and truncated unitary ensembles. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-EJP686

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 10527 |

Ghazaryan, A., Holder, T., Serbyn, M., & Berg, E. (2021). Unconventional superconductivity in systems with annular Fermi surfaces: Application to rhombohedral trilayer graphene. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.127.247001

2021 | Published | Journal Article | IST-REx-ID: 10146

Vercellino, I., & Sazanov, L. A. (2021). Structure and assembly of the mammalian mitochondrial supercomplex CIII₂CIV. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-03927-z

2021 | Published | Journal Article | IST-REx-ID: 9468 |

Arroyo Guevara, A. M., Richter, R. B., & Sunohara, M. (2021). Extending drawings of complete graphs into arrangements of pseudocircles. SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1313234

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9111 |

Brown, A., Bobrowski, O., Munch, E., & Wang, B. (2021). Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-020-00063-x

[Published Version] View | Files available | DOI | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10628 |

Ghazaryan, A., Nica, E. M., Erten, O., & Ghaemi, P. (2021). Shadow surface states in topological Kondo insulators. New Journal of Physics. IOP Publishing. https://doi.org/10.1088/1367-2630/ac4124

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 9933 |

Czumaj, A., Davies, P., & Parter, M. (2021). Component stability in low-space massively parallel computation. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (pp. 481–491). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3465084.3467903

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 9935 |

Czumaj, A., Davies, P., & Parter, M. (2021). Improved deterministic (Δ+1) coloring in low-space MPC. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (pp. 469–479). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3465084.3467937

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 9380 |

Seferbekova, Z., Zabelkin, A., Yakovleva, Y., Afasizhev, R., Dranenko, N. O., Alexeev, N., … Bochkareva, O. (2021). High rates of genome rearrangements and pathogenicity of Shigella spp. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2021.628622

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9240 |

Cornalba, F., Shardlow, T., & Zimmer, J. (2021). Well-posedness for a regularised inertial Dean–Kawasaki model for slender particles in several space dimensions. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2021.02.048

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8773 |

Brown, A., & Romanov, A. (2021). Contravariant forms on Whittaker modules. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15205

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9304 |

Zhang, Y., Xing, C., Liu, Y., Li, M., Xiao, K., Guardia, P., … Cabot, A. (2021). Influence of copper telluride nanodomains on the transport properties of n-type bismuth telluride. Chemical Engineering Journal. Elsevier. https://doi.org/10.1016/j.cej.2021.129374

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 9093 |

Marchukov, O., & Volosniev, A. (2021). Shape of a sound wave in a weakly-perturbed Bose gas. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.10.2.025

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9207 |

Klotz, L., Pavlenko, A. M., & Wesfreid, J. E. (2021). Experimental measurements in plane Couette-Poiseuille flow: Dynamics of the large- and small-scale flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2020.1089

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 8940 |

Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Triangulating submanifolds: An elementary and quantified version of Whitney’s method. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00250-8

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9305 |

Zhang, Y., Xing, C., Liu, Y., Spadaro, M. C., Wang, X., Li, M., … Cabot, A. (2021). Doping-mediated stabilization of copper vacancies to promote thermoelectric properties of Cu2-xS. Nano Energy. Elsevier. https://doi.org/10.1016/j.nanoen.2021.105991

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 9295 |

Arroyo Guevara, A. M., Mcquillan, D., Richter, R. B., Salazar, G., & Sullivan, M. (2021). Drawings of complete graphs in the projective plane. Journal of Graph Theory. Wiley. https://doi.org/10.1002/jgt.22665

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9173 |

Srivastava, T. K. (2021). Pathologies of the Hilbert scheme of points of a supersingular Enriques surface. Bulletin Des Sciences Mathematiques. Elsevier. https://doi.org/10.1016/j.bulsci.2021.102957

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Draft | Preprint | IST-REx-ID: 10029 |

Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (n.d.). Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv. https://doi.org/10.48550/arXiv.2107.03695

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Submitted | Preprint | IST-REx-ID: 9230 |

Arguin, L.-P., Dubach, G., & Hartung, L. (n.d.). Maxima of a random model of the Riemann zeta function over intervals of varying length. arXiv. https://doi.org/10.48550/arXiv.2103.04817

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Research Data | IST-REx-ID: 9636 |

Higginbotham, A. P. (2021). Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.” Institute of Science and Technology Austria.

[Submitted Version] View | Files available

2021 | Published | Journal Article | IST-REx-ID: 15259 |

Dubach, G., & Peled, Y. (2021). On words of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/20-aop1496

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 14890 |

Bossmann, L., Petrat, S. P., Pickl, P., & Soffer, A. (2021). Beyond Bogoliubov dynamics. Pure and Applied Analysis. Mathematical Sciences Publishers. https://doi.org/10.2140/paa.2021.3.677

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9541 |

Czumaj, A., Davies, P., & Parter, M. (2021). Graph sparsification for derandomizing massively parallel computation with low space. ACM Transactions on Algorithms. Association for Computing Machinery. https://doi.org/10.1145/3451992

2021 | Published | Journal Article | IST-REx-ID: 7463 |

Lombardi, F., Shriki, O., Herrmann, H. J., & de Arcangelis, L. (2021). Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches. Neurocomputing. Elsevier. https://doi.org/10.1016/j.neucom.2020.05.126

[Preprint] View | DOI | Download Preprint (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 8198 |

Diringer, A. A., & Gulden, T. (2021). Impact of drive harmonics on the stability of Floquet many-body localization. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.103.214204

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 8248 |

Boissonnat, J.-D., Dyer, R., Ghosh, A., Lieutier, A., & Wintraecken, M. (2021). Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00233-9

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 14889 |

Leopold, N. K., Mitrouskas, D. J., Rademacher, S. A. E., Schlein, B., & Seiringer, R. (2021). Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron. Pure and Applied Analysis. Mathematical Sciences Publishers. https://doi.org/10.2140/paa.2021.3.653

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9318 |

Bossmann, L., Petrat, S. P., & Seiringer, R. (2021). Asymptotic expansion of low-energy excitations for weakly interacting bosons. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2021.22

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 10134 |

Suzuki, F., Lemeshko, M., Zurek, W. H., & Krems, R. V. (2021). Anderson localization of composite particles. Physical Review Letters. American Physical Society . https://doi.org/10.1103/physrevlett.127.160602

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9770 |

Volosniev, A., Alpern, H., Paltiel, Y., Millo, O., Lemeshko, M., & Ghazaryan, A. (2021). Interplay between friction and spin-orbit coupling as a source of spin polarization. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.104.024430

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10402 |

Ucar, M. C., Kamenev, D., Sunadome, K., Fachet, D. C., Lallemend, F., Adameyko, I., … Hannezo, E. B. (2021). Theory of branching morphogenesis by local interactions and global guidance. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-27135-5

2021 | Research Data Reference | IST-REx-ID: 13058 |

Ucar, M. C. (2021). Source data for the manuscript “Theory of branching morphogenesis by local interactions and global guidance.” Zenodo. https://doi.org/10.5281/ZENODO.5257160

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2021 | Published | Conference Paper | IST-REx-ID: 13147 |

Alimisis, Foivos, Communication-efficient distributed optimization with quantized preconditioners. Proceedings of the 38th International Conference on Machine Learning 139. 2021

[Published Version] View | Files available | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 11436 |

Kungurtsev, V., Egan, M., Chatterjee, B., & Alistarh, D.-A. (2021). Asynchronous optimization methods for efficient training of deep neural networks with guarantees. In 35th AAAI Conference on Artificial Intelligence, AAAI 2021 (Vol. 35, pp. 8209–8216). Virtual, Online: AAAI Press.

[Preprint] View | Download Preprint (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10435 |

Nadiradze, G., Sabour, A., Davies, P., Li, S., & Alistarh, D.-A. (2021). Asynchronous decentralized SGD with quantized and local updates. In 35th Conference on Neural Information Processing Systems. Sydney, Australia: Neural Information Processing Systems Foundation.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 11452 |

Alimisis, F., Davies, P., Vandereycken, B., & Alistarh, D.-A. (2021). Distributed principal component analysis with limited communication. In Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems (Vol. 4, pp. 2823–2834). Virtual, Online: Neural Information Processing Systems Foundation.

[Published Version] View | Download Published Version (ext.) | arXiv

2021 | Submitted | Preprint | IST-REx-ID: 10912 |

Lombardi, F., Pepic, S., Shriki, O., Tkačik, G., & De Martino, D. (n.d.). Quantifying the coexistence of neuronal oscillations and avalanches. arXiv. https://doi.org/10.48550/ARXIV.2108.06686

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10432 |

Nadiradze, G., Markov, I., Chatterjee, B., Kungurtsev, V., & Alistarh, D.-A. (2021). Elastic consistency: A practical consistency model for distributed stochastic gradient descent. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 9037–9045). Virtual.

[Published Version] View | Files available | Download Published Version (ext.) | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 9200 |

Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Conference Paper | IST-REx-ID: 10206 |

Lukina, A., Schilling, C., & Henzinger, T. A. (2021). Into the unknown: active monitoring of neural networks. In 21st International Conference on Runtime Verification (Vol. 12974, pp. 42–61). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-88494-9_3

2021 | Published | Technical Report | IST-REx-ID: 9946 |

Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. IST Austria. https://doi.org/10.15479/AT:ISTA:9946

[Published Version] View | Files available | DOI

2021 | Submitted | Preprint | IST-REx-ID: 9281 |

Dubach, G., & Mühlböck, F. (n.d.). Formal verification of Zagier’s one-sentence proof. arXiv. https://doi.org/10.48550/arXiv.2103.11389

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10327 |

Li, M., Liu, Y., Zhang, Y., Han, X., Xiao, K., Nabahat, M., … Cabot, A. (2021). PbS–Pb–CuxS composites for thermoelectric application. ACS Applied Materials and Interfaces. American Chemical Society . https://doi.org/10.1021/acsami.1c15609

2021 | Published | Conference Paper | IST-REx-ID: 9441 |

Boissonnat, J.-D., Kachanovich, S., & Wintraecken, M. (2021). Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In 37th International Symposium on Computational Geometry (SoCG 2021) (Vol. 189, p. 17:1-17:16). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.17

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 8253 |

Zenke, F., & Vogels, T. P. (2021). The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks. Neural Computation. MIT Press. https://doi.org/10.1162/neco_a_01367

2021 | Published | Journal Article | IST-REx-ID: 9410 |

Lagator, M., Uecker, H., & Neve, P. (2021). Adaptation at different points along antibiotic concentration gradients. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2020.0913

2021 | Published | Journal Article | IST-REx-ID: 10184 |

Alderighi, T., Malomo, L., Bickel, B., Cignoni, P., & Pietroni, N. (2021). Volume decomposition for two-piece rigid casting. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3478513.3480555

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS

2021 | Published | Journal Article | IST-REx-ID: 9376 |

Zhang, R., Auzinger, T., & Bickel, B. (2021). Computational design of planar multistable compliant structures. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3453477

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9408 |

Feng, Xudong, Computational design of skinned Quad-Robots. IEEE Transactions on Visualization and Computer Graphics 27 (6). 2021

2021 | Published | Journal Article | IST-REx-ID: 9547 |

Rittig, T., Sumin, D., Babaei, V., Didyk, P., Voloboy, A., Wilkie, A., … Křivánek, J. (2021). Neural acceleration of scattering-aware color 3D printing. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.142626

[Submitted Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9241 |

Elek, O., Zhang, R., Sumin, D., Myszkowski, K., Bickel, B., Wilkie, A., … Weyrich, T. (2021). Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. Optics Express. The Optical Society. https://doi.org/10.1364/OE.406095

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9602 |

Pach, J., & Tomon, I. (2021). Erdős-Hajnal-type results for monotone paths. Journal of Combinatorial Theory. Series B. Elsevier. https://doi.org/10.1016/j.jctb.2021.05.004

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 10204 |

Osang, G. F., Edelsbrunner, H., & Saadatfar, M. (2021). Topological signatures and stability of hexagonal close packing and Barlow stackings. Soft Matter. Royal Society of Chemistry . https://doi.org/10.1039/d1sm00774b

2021 | Published | Journal Article | IST-REx-ID: 9642 |

Venturino, A., Schulz, R., De Jesús-Cortés, H., Maes, M. E., Nagy, B., Reilly-Andújar, F., … Siegert, S. (2021). Microglia enable mature perineuronal nets disassembly upon anesthetic ketamine exposure or 60-Hz light entrainment in the healthy brain. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2021.109313

2021 | Published | Journal Article | IST-REx-ID: 10655 |

Maes, M. E., Wögenstein, G. M., Colombo, G., Casado Polanco, R., & Siegert, S. (2021). Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment. Molecular Therapy - Methods and Clinical Development. Elsevier. https://doi.org/10.1016/j.omtm.2021.09.006

[Published Version] View | Files available | DOI | WoS

2021 | Published | Journal Article | IST-REx-ID: 9368 |

Kong, W., Tan, S., Zhao, Q., Lin, D., Xu, Z., Friml, J., & Xue, H. (2021). mRNA surveillance complex PELOTA-HBS1 eegulates phosphoinositide-sependent protein kinase1 and plant growth. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1093/plphys/kiab199

2021 | Published | Journal Article | IST-REx-ID: 8742 |

Browning, T. D., & Heath-Brown, R. (2021). The geometric sieve for quadrics. Forum Mathematicum. De Gruyter. https://doi.org/10.1515/forum-2020-0074

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9618 |

Bluvstein, D., Omran, A., Levine, H., Keesling, A., Semeghini, G., Ebadi, S., … Lukin, M. D. (2021). Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. AAAS. https://doi.org/10.1126/science.abg2530

2021 | Published | Journal Article | IST-REx-ID: 9960 |

Maskara, N., Michailidis, A., Ho, W. W., Bluvstein, D., Choi, S., Lukin, M. D., & Serbyn, M. (2021). Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.127.090602

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 9961 |

Sonner, M., Serbyn, M., Papić, Z., & Abanin, D. A. (2021). Thouless energy across the many-body localization transition in Floquet systems. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.104.L081112

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2021 | Published | Journal Article | IST-REx-ID: 10067 |

Medina Ramos, R. A., Vasseur, R., & Serbyn, M. (2021). Entanglement transitions from restricted Boltzmann machines. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.104.104205

2021 | Published | Journal Article | IST-REx-ID: 10545 |

Medina Ramos, R. A., & Serbyn, M. (2021). Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT). Physical Review A. American Physical Society. https://doi.org/10.1103/physreva.104.062423

2021 | Published | Journal Article | IST-REx-ID: 9048 |

De Nicola, S., Michailidis, A., & Serbyn, M. (2021). Entanglement view of dynamical quantum phase transitions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.126.040602

[Published Version] View | Files available | DOI | WoS | arXiv

2021 | Published | Thesis | IST-REx-ID: 9056 |

Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056

[Published Version] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9824

Čomić, L., Zrour, R., Largeteau-Skapin, G., Biswas, R., & Andres, E. (2021). Body centered cubic grid - coordinate system and discrete analytical plane definition. In Discrete Geometry and Mathematical Morphology (Vol. 12708, pp. 152–163). Uppsala, Sweden: Springer Nature. https://doi.org/10.1007/978-3-030-76657-3_10

View | DOI

2021 | Published | Conference Paper | IST-REx-ID: 9604 |

Biswas, Ranita, Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory. Leibniz International Proceedings in Informatics 189. 2021

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 10222 |

Akopyan, A., Edelsbrunner, H., & Nikitenko, A. (2021). The beauty of random polytopes inscribed in the 2-sphere. Experimental Mathematics. Taylor and Francis. https://doi.org/10.1080/10586458.2021.1980459

[Published Version] View | Files available | DOI | WoS | arXiv

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

10717 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

10717 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options