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.

4941 Publications

2021 | Journal Article | IST-REx-ID: 10574 |

Chen, B., Wang, C., Piovarci, M., Seidel, H. P., Didyk, P., Myszkowski, K., & Serrano, A. (2021). The effect of geometry and illumination on appearance perception of different material categories. Visual Computer. Springer Nature. https://doi.org/10.1007/s00371-021-02227-x

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

2021 | Journal Article | IST-REx-ID: 10573 |

Munjal, A., Hannezo, E. B., Tsai, T. Y. C., Mitchison, T. J., & Megason, S. G. (2021). Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis. Cell. Elsevier ; Cell Press. https://doi.org/10.1016/j.cell.2021.11.025

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

2021 | Journal Article | IST-REx-ID: 10674 |

Aghajohari, M., Avni, G., & Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.23638/LMCS-17(1:10)2021

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

2021 | Conference Paper | IST-REx-ID: 10609 |

Chakraborty, S., Ganesh, C., Pancholi, M., & Sarkar, P. (2021). Reverse firewalls for adaptively secure MPC without setup. In 27th International Conference on the Theory and Application of Cryptology and Information Security (Vol. 13091, pp. 335–364). Virtual, Singapore: Springer Nature. https://doi.org/10.1007/978-3-030-92075-3_12

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

2021 | 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

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

2021 | Journal Article | IST-REx-ID: 10607 |

Venezia, S., Kaufmann, W., Wenning, G. K., & Stefanova, N. (2021). Toll-like receptor 4 deficiency facilitates α-synuclein propagation and neurodegeneration in a mouse model of prodromal Parkinson’s disease. Parkinsonism & Related Disorders. Elsevier. https://doi.org/10.1016/j.parkreldis.2021.09.007

2021 | 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 | Journal Article | IST-REx-ID: 10631 |

Cherepanov, I., Bighin, G., Schouder, C. A., Chatterley, A. S., Albrechtsen, S. H., Muñoz, A. V., … Lemeshko, M. (2021). Excited rotational states of molecules in a superfluid. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.104.L061303

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

2021 | Conference Paper | IST-REx-ID: 10597 |

Fathollahi, D., Farsad, N., Hashemi, S. A., & Mondelli, M. (2021). Sparse multi-decoder recursive projection aggregation for Reed-Muller codes. In 2021 IEEE International Symposium on Information Theory (pp. 1082–1087). Virtual, Melbourne, Australia: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/isit45174.2021.9517887

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

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

Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In 2021 IEEE International Conference on Robotics and Automation (pp. 4140–4147). Xi’an, China. https://doi.org/10.1109/ICRA48506.2021.9561036

2021 | Journal Article | IST-REx-ID: 10711 |

Autissier, P., Bonolis, D., & Lamzouri, Y. (2021). The distribution of the maximum of partial sums of Kloosterman sums and other trace functions. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/s0010437x21007351

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

2021 | Journal Article | IST-REx-ID: 10809

Liu, Y., & Ibáñez, M. (2021). Tidying up the mess. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abg0886

View | DOI | WoS | PubMed | Europe PMC

2021 | Journal Article | IST-REx-ID: 10858 |

Li, M., Zhang, Y., Zhang, T., Zuo, Y., Xiao, K., Arbiol, J., … Cabot, A. (2021). Enhanced thermoelectric performance of n-type Bi2Se3 nanosheets through Sn doping. Nanomaterials. MDPI. https://doi.org/10.3390/nano11071827

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

2021 | Journal Article | IST-REx-ID: 10834 |

Stahnke, S., Döring, H., Kusch, C., de Gorter, D. J. J., Dütting, S., Guledani, A., … Stradal, T. E. B. (2021). Loss of Hem1 disrupts macrophage function and impacts migration, phagocytosis, and integrin-mediated adhesion. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2021.02.043

2021 | 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 | Journal Article | IST-REx-ID: 10856 |

Ivanov, G., & Tsiutsiurupa, I. (2021). On the volume of sections of the cube. Analysis and Geometry in Metric Spaces. De Gruyter. https://doi.org/10.1515/agms-2020-0103

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

2021 | 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 | Journal Article | IST-REx-ID: 9627 |

Lenz, D., Weinmann, T., & Wirth, M. (2021). Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society. Cambridge University Press. https://doi.org/10.1017/S0013091521000080

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

2021 | 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 | Journal Article | IST-REx-ID: 13455 |

Laplace, E., Justham, S., Renzo, M., Götberg, Y. L. L., Farmer, R., Vartanyan, D., & de Mink, S. E. (2021). Different to the core: The pre-supernova structures of massive single and binary-stripped stars. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202140506

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

2021 | Journal Article | IST-REx-ID: 10005 |

Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific. https://doi.org/10.1142/S0218202521500457

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

2021 | Conference Paper | IST-REx-ID: 10553 |

Gelashvili, R., Kokoris Kogias, E., Spiegelman, A., & Xiang, Z. (2021). Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (pp. 187–190). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3465084.3467941

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

2021 | 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 | 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 | Journal Article | IST-REx-ID: 10860 |

Ivanov, G. (2021). Tight frames and related geometric problems. Canadian Mathematical Bulletin. Canadian Mathematical Society. https://doi.org/10.4153/s000843952000096x

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

2021 | Journal Article | IST-REx-ID: 9290 |

Glanc, M., Van Gelderen, K., Hörmayer, L., Tan, S., Naramoto, S., Zhang, X., … Friml, J. (2021). AGC kinases and MAB4/MEL proteins maintain PIN polarity by limiting lateral diffusion in plant cells. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2021.02.028

2021 | Journal Article | IST-REx-ID: 8824 |

Marquès-Bueno, M., Armengot, L., Noack, L., Bareille, J., Rodriguez Solovey, L., Platre, M., … Jaillais, Y. (2021). Auxin-regulated reversible inhibition of TMK1 signaling by MAKR2 modulates the dynamics of root gravitropism. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2020.10.011

2021 | Journal Article | IST-REx-ID: 9301 |

Prehal, C., Samojlov, A., Nachtnebel, M., Lovicar, L., Kriechbaum, M., Amenitsch, H., & Freunberger, S. A. (2021). In situ small-angle X-ray scattering reveals solution phase discharge of Li–O2 batteries with weakly solvating electrolytes. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2021893118

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

2021 | Journal Article | IST-REx-ID: 9447

Maffre, M., Bouchal, R., Freunberger, S. A., Lindahl, N., Johansson, P., Favier, F., … Bélanger, D. (2021). Investigation of electrochemical and chemical processes occurring at positive potentials in “Water-in-Salt” electrolytes. Journal of The Electrochemical Society. IOP Publishing. https://doi.org/10.1149/1945-7111/ac0300

View | DOI | WoS

2021 | Journal Article | IST-REx-ID: 9094 |

Leithner, A. F., Altenburger, L., Hauschild, R., Assen, F. P., Rottner, K., TEB, S., … Sixt, M. K. (2021). Dendritic cell actin dynamics control contact duration and priming efficiency at the immunological synapse. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.202006081

2021 | Journal Article | IST-REx-ID: 9073 |

Hanganu-Opatz, I. L., Butt, S. J. B., Hippenmeyer, S., De Marco García, N. V., Cardin, J. A., Voytek, B., & Muotri, A. R. (2021). The logic of developing neocortical circuits in health and disease. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.1655-20.2020

2021 | Journal Article | IST-REx-ID: 10211 |

Mondelli, M., Thrampoulidis, C., & Venkataramanan, R. (2021). Optimal combination of linear and spectral estimators for generalized linear models. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-021-09531-x

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

2021 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 9252 |

Szep, E., Sachdeva, H., & Barton, N. H. (2021). Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model. Evolution. Wiley. https://doi.org/10.1111/evo.14210

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

2021 | Journal Article | IST-REx-ID: 9374 |

Butlin, R. K., Servedio, M. R., Smadja, C. M., Bank, C., Barton, N. H., Flaxman, S. M., … Qvarnström, A. (2021). Homage to Felsenstein 1981, or why are there so few/many species? Evolution. Wiley. https://doi.org/10.1111/evo.14235

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

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

Szep, E., Sachdeva, H., & Barton, N. H. (2021). Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model. Dryad. https://doi.org/10.5061/DRYAD.8GTHT76P1

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

2021 | Journal Article | IST-REx-ID: 10838 |

Westram, A. M., Faria, R., Johannesson, K., & Butlin, R. (2021). Using replicate hybrid zones to understand the genomic basis of adaptive divergence. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15861

2021 | Journal Article | IST-REx-ID: 9288 |

El Houari, I., Van Beirs, C., Arents, H., Han, H., Chanoca, A., Opdenacker, D., … Vanholme, B. (2021). Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport. New Phytologist. Wiley. https://doi.org/10.1111/nph.17349

2021 | Journal Article | IST-REx-ID: 10836 |

Pranger, C. L., Singer, J., Köhler, V. K., Pali‐Schöll, I., Fiocchi, A., Karagiannis, S. N., … Jensen‐Jarolim, E. (2021). PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow’s milk allergy and tolerance. Allergy. Wiley. https://doi.org/10.1111/all.14604

2021 | Journal Article | IST-REx-ID: 8608 |

Ke, M., Ma, Z., Wang, D., Sun, Y., Wen, C., Huang, D., … Chen, X. (2021). Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana. New Phytologist. Wiley. https://doi.org/10.1111/nph.16915

2021 | Journal Article | IST-REx-ID: 7900 |

Benedikter, N. P. (2021). Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics. World Scientific. https://doi.org/10.1142/s0129055x20600090

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

2021 | Journal Article | IST-REx-ID: 10852 |

Seiringer, R. (2021). The polaron at strong coupling. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/s0129055x20600120

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

2021 | 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 | Thesis | IST-REx-ID: 9022 |

Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022

[Published Version] View | Files available | DOI

2021 | Conference Paper | IST-REx-ID: 9416 |

Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.

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

2021 | Journal Article | IST-REx-ID: 9225 |

Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5

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

2021 | Preprint | IST-REx-ID: 9787 |

Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv.

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

2021 | Conference Paper | IST-REx-ID: 9987 |

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16

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

2021 | 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 | Journal Article | IST-REx-ID: 10191 |

Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541

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

2021 | 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 | Journal Article | IST-REx-ID: 9928 |

Peruzzo, M., Hassani, F., Szep, G., Trioni, A., Redchenko, E., Zemlicka, M., & Fink, J. M. (2021). Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction. PRX Quantum. American Physical Society. https://doi.org/10.1103/PRXQuantum.2.040341

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

2021 | Thesis | IST-REx-ID: 10030 |

Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10030

[Published Version] View | Files available | DOI

2021 | Thesis | IST-REx-ID: 9920 |

Peruzzo, M. (2021). Geometric superinductors and their applications in circuit quantum electrodynamics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:9920

[Published Version] View | Files available | DOI

2021 | 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 | Conference Paper | IST-REx-ID: 10041 |

Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Wichs, D. (2021). Limits on the Adaptive Security of Yao’s Garbling. In 41st Annual International Cryptology Conference, Part II (Vol. 12826, pp. 486–515). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-84245-1_17

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

2021 | Conference Paper | IST-REx-ID: 10049 |

Klein, K., Pascual Perez, G., Walter, M., Kamath Hosdurg, C., Capretto, M., Cueto Noval, M., … Pietrzak, K. Z. (2021). Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. In 2021 IEEE Symposium on Security and Privacy (pp. 268–284). San Francisco, CA, United States: IEEE. https://doi.org/10.1109/sp40001.2021.00035

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

2021 | Conference Paper | IST-REx-ID: 10044 |

Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2021). On treewidth, separators and Yao’s garbling. In 19th Theory of Cryptography Conference 2021. Raleigh, NC, United States: International Association for Cryptologic Research.

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

2021 | Thesis | IST-REx-ID: 10422 |

Piankov, A. (2021). Towards designer materials using customizable particle shape. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10422

[Published Version] View | Files available | DOI

2021 | 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 | 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 | Thesis | IST-REx-ID: 9418 |

Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418

[Published Version] View | Files available | DOI

2021 | Preprint | IST-REx-ID: 14278 |

Koval, I. (n.d.). Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. https://doi.org/10.48550/ARXIV.2111.12171

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

2021 | Thesis | IST-REx-ID: 10199 |

Toman, V. (2021). Improved verification techniques for concurrent systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10199

[Published Version] View | Files available | DOI

2021 | Journal Article | IST-REx-ID: 8429 |

Patxot, M., Trejo Banos, D., Kousathanas, A., Orliac, E. J., Ojavee, S. E., Moser, G., … Robinson, M. R. (2021). Probabilistic inference of the genetic architecture underlying functional enrichment of complex traits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-27258-9

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

2021 | 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 | 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 | Journal Article | IST-REx-ID: 9293 |

Chatterjee, K., Dvořák, W., Henzinger, M. H., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2021.103499

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

Robinson, M. R. (2021). Probabilistic inference of the genetic architecture of functional enrichment of complex traits. Dryad. https://doi.org/10.5061/dryad.sqv9s4n51

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

2021 | 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 | Journal Article | IST-REx-ID: 9793 |

Baldwin, K. T., Tan, C. X., Strader, S. T., Jiang, C., Savage, J. T., Elorza-Vidal, X., … Eroglu, C. (2021). HepaCAM controls astrocyte self-organization and coupling. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2021.05.025

2021 | 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 | 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 | Journal Article | IST-REx-ID: 9953 |

Picard, K., Bisht, K., Poggini, S., Garofalo, S., Golia, M. T., Basilico, B., … Tremblay, M. È. (2021). Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. Brain, Behavior, and Immunity. Elsevier. https://doi.org/10.1016/j.bbi.2021.07.022

2021 | 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 | Journal Article | IST-REx-ID: 9235 |

Li, M., Liu, Y., Zhang, Y., Han, X., Zhang, T., Zuo, Y., … Cabot, A. (2021). Effect of the annealing atmosphere on crystal phase and thermoelectric properties of copper sulfide. ACS Nano. American Chemical Society . https://doi.org/10.1021/acsnano.0c09866

2021 | 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 | Conference Paper | IST-REx-ID: 9464

Gao, F., Zhang, J. Y., Wang, J. H., Ming, M., Wang, T., Zhang, J. J., … Guo, G. P. (2021). Ge/Si quantum wires for quantum computing. In 2021 5th IEEE Electron Devices Technology and Manufacturing Conference, EDTM 2021. Virtual, Online: IEEE. https://doi.org/10.1109/EDTM50988.2021.9420817

View | DOI | WoS

2021 | Conference Paper | IST-REx-ID: 9605 |

Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2021). Computing the multicover bifiltration. In Leibniz International Proceedings in Informatics (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2021.27

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

2021 | 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 | Journal Article | IST-REx-ID: 9393 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5

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

2021 | Conference Paper | IST-REx-ID: 9227

Bloch-Hansen, A., Samei, N., & Solis-Oba, R. (2021). Experimental evaluation of a local search approximation algorithm for the multiway cut problem. In Conference on Algorithms and Discrete Applied Mathematics (Vol. 12601, pp. 346–358). Rupnagar, India: Springer Nature. https://doi.org/10.1007/978-3-030-67899-9_28

View | DOI

2021 | 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 | Journal Article | IST-REx-ID: 9315

Iyiola, O. S., & Shehu, Y. (2021). New convergence results for inertial Krasnoselskii–Mann iterations in Hilbert spaces with applications. Results in Mathematics. Springer Nature. https://doi.org/10.1007/s00025-021-01381-x

View | DOI | WoS

2021 | Journal Article | IST-REx-ID: 9365

Ogbuisi, F. U., Shehu, Y., & Yao, J. C. (2021). Convergence analysis of new inertial method for the split common null point problem. Optimization. Taylor and Francis. https://doi.org/10.1080/02331934.2021.1914035

View | DOI | WoS

2021 | 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 | Journal Article | IST-REx-ID: 9298 |

Klionsky DJ et al. 2021. Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition). Autophagy. 17(1), 1–382.

2021 | 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 | Thesis | IST-REx-ID: 10035 |

Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035

[Published Version] View | Files available | DOI

2021 | Conference Paper | IST-REx-ID: 10410 |

Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2021). The cost of adaptivity in security games on graphs. In 19th International Conference (Vol. 13043, pp. 550–581). Raleigh, NC, United States: Springer Nature. https://doi.org/10.1007/978-3-030-90453-1_19

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

2021 | Conference Paper | IST-REx-ID: 10048 |

Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Walter, M. (2021). The cost of adaptivity in security games on graphs. In 19th Theory of Cryptography Conference 2021. Raleigh, NC, United States: International Association for Cryptologic Research.

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

2021 | Journal Article | IST-REx-ID: 10738 |

Leopold, N. K., Rademacher, S. A. E., Schlein, B., & Seiringer, R. (2021). The Landau–Pekar equations: Adiabatic theorem and accuracy. Analysis and PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/APDE.2021.14.2079

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

2021 | Thesis | IST-REx-ID: 10429 |

Nadiradze, G. (2021). On achieving scalability through relaxation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10429

[Published Version] View | Files available | DOI

2021 | 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 | Conference Paper | IST-REx-ID: 10593 |

Mondelli, M., & Venkataramanan, R. (2021). PCA initialization for approximate message passing in rotationally invariant models. In 35th Conference on Neural Information Processing Systems (Vol. 35, pp. 29616–29629). Virtual: Neural Information Processing Systems Foundation.

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

2021 | Conference Paper | IST-REx-ID: 10594 |

Nguyen, Q., Bréchet, P., & Mondelli, M. (2021). When are solutions connected in deep networks? In 35th Conference on Neural Information Processing Systems (Vol. 35). Virtual: Neural Information Processing Systems Foundation.

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

2021 | Journal Article | IST-REx-ID: 9815 |

Mobassem, S., Lambert, N. J., Rueda Sanchez, A. R., Fink, J. M., Leuchs, G., & Schwefel, H. G. L. (2021). Thermal noise in electro-optic devices at cryogenic temperatures. Quantum Science and Technology. IOP Publishing. https://doi.org/10.1088/2058-9565/ac0f36

[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).

4941 Publications

Filters and Search Terms

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).

4941 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options