ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5872 Publications

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

Slavskii, Sergei A., The limits of normal approximation for adult height. European Journal of Human Genetics 29 (7). 2021

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

Godard, B. G., Dumollard, R., Heisenberg, C.-P. J., & Mcdougall, A. (2021). Combined effect of cell geometry and polarity domains determines the orientation of unequal division. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.75639

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

Alistarh, D.-A., Gelashvili, R., & Rybicki, J. (2021). Brief announcement: Fast graphical population protocols. In 35th International Symposium on Distributed Computing (Vol. 209). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2021.43

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

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

Brandt, S., Keller, B., Rybicki, J., Suomela, J., & Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In Annual ACM Symposium on Parallelism in Algorithms and Architectures (pp. 129–139). Virtual Event, United States. https://doi.org/10.1145/3409964.3461785

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

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

Vaahtomeri, K., Moussion, C., Hauschild, R., & Sixt, M. K. (2021). Shape and function of interstitial chemokine CCL21 gradients are independent of heparan sulfates produced by lymphatic endothelium. Frontiers in Immunology. Frontiers. https://doi.org/10.3389/fimmu.2021.630002

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

Luciano, M., Xue, S., De Vos, W. H., Redondo-Morata, L., Surin, M., Lafont, F., … Gabriele, S. (2021). Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01374-1

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

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

Yang, Q., Xue, S., Chan, C. J., Rempfler, M., Vischi, D., Maurer-Gutierrez, F., … Liberali, P. (2021). Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/s41556-021-00700-2

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

Hankeova, S., Salplachta, J., Zikmund, T., Kavkova, M., Van Hul, N., Brinek, A., … Andersson, E. R. (2021). DUCT reveals architectural mechanisms contributing to bile duct recovery in a mouse model for alagille syndrome. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.60916

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

Shehu, Y., Iyiola, O. S., Thong, D. V., & Van, N. T. C. (2021). An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems. Mathematical Methods of Operations Research. Springer Nature. https://doi.org/10.1007/s00186-020-00730-w

View | DOI | WoS

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

Degraen, D., Piovarci, M., Bickel, B., & Kruger, A. (2021). Capturing tactile properties of real surfaces for haptic reproduction. In 34th Annual ACM Symposium (pp. 954–971). Virtual: Association for Computing Machinery. https://doi.org/10.1145/3472749.3474798

[Preprint] View | Files available | DOI

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

Li, Shigang, Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems 32 (7). 2021

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

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

Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. In Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems (pp. 71–72). Virtual, Online: Association for Computing Machinery. https://doi.org/10.1145/3410220.3453923

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

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

Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. Association for Computing Machinery. https://doi.org/10.1145/3447384

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

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

Casillas Perez, B. E., Pull, C., Naiser, F., Naderlinger, E., Matas, J., & Cremer, S. (2021). Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Dryad. https://doi.org/10.5061/DRYAD.7PVMCVDTJ

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

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

Bansal, S., Chatterjee, K., & Vardi, M. Y. (2021). On satisficing in quantitative games. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12651, pp. 20–37). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-030-72016-2

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

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

Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). RevTerm. Association for Computing Machinery. https://doi.org/10.1145/3410304

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

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

Chatterjee, Krishnendu, Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021

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

Tomášek, Petr, Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. 2021

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

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

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.

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

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

Mühlböck, F., & Tate, R. (2021). Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3485504

[Published Version] View | Files available | DOI

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

Sietzen, S., Lechner, M., Borowski, J., Hasani, R., & Waldner, M. (2021). Interactive analysis of CNN robustness. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.14418

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

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

Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., & Guet, C. C. (2021). Long lived transients in gene regulation. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2021.05.023

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

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

Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.

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

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

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., & Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.

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

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

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 | Published | Journal Article | IST-REx-ID: 8912 |

Sarac, N. E., Altun, Ö. F., Atam, K. T., Karahoda, S., Kaya, K., & Yenigün, H. (2021). Boosting expensive synchronizing heuristics. Expert Systems with Applications. Elsevier. https://doi.org/10.1016/j.eswa.2020.114203

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

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

Henzinger, Thomas A, Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021

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

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

Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. In International Conference on Runtime Verification (Vol. 12974, pp. 231–243). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-88494-9_12

[Preprint] View | Files available | DOI | WoS

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

Lechner, Mathias, Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. 2021

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

Chatterjee, Krishnendu, Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 2021

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

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

Virosztek, D. (2021). The metric property of the quantum Jensen-Shannon divergence. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107595

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

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

Cavallari, N., Artner, C., & Benková, E. (2021). Auxin-regulated lateral root organogenesis. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/cshperspect.a039941

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

Fredes, Felipe, The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory 183. 2021

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

Nardin, M., Käfer, K., & Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2021.09.30.462269

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

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

Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. https://doi.org/10.48550/arXiv.2108.01733

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

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

Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S., … Concha, M. L. (2021). Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.66483

2021 | Published | Book Chapter | IST-REx-ID: 9245

Xia, P., & Heisenberg, C.-P. J. (2021). Quantifying tissue tension in the granulosa layer after laser surgery. In R. Dosch (Ed.), Germline Development in the Zebrafish (Vol. 2218, pp. 117–128). Humana. https://doi.org/10.1007/978-1-0716-0970-5_10

View | DOI | PubMed | Europe PMC

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

Arslan, F. N., Eckert, J., Schmidt, T., & Heisenberg, C.-P. J. (2021). Holding it together: when cadherin meets cadherin. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2021.03.025

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

Kampjut, D., Steiner, J., & Sazanov, L. A. (2021). Cryo-EM grid optimization for membrane proteins. IScience. Elsevier. https://doi.org/10.1016/j.isci.2021.102139

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

Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-EJP591

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

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

Institute of Science and Technology Austria (ISTA)

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

5872 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

5872 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options