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.

4225 Publications


2022 | Journal Article | IST-REx-ID: 12154 | OA
First and second sound in two-dimensional bosonic and fermionic superfluids
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10945 | OA
pH-dependent coloring of combination effect pigments with anthocyanins from Brassica oleracea var. capitata F. rubra
M.O. Çoruh, G. Gündüz, Ü. Çolak, B. Maviş, Colorants 1 (2022) 149–164.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10364 | OA
Parallelism versus latency in simplified successive-cancellation decoding of polar codes
S.A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, A. Goldsmith, IEEE Transactions on Wireless Communications 21 (2022) 3909–3920.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10284 | OA
Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies
B.E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, S. Cremer, Ecology Letters 25 (2022) 89–100.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11593 | OA
The Z2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, Discrete and Computational Geometry 68 (2022) 425–447.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12178 | OA
The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 12122 | OA
Multiple centrosomes enhance migration and immune cell effector functions of mature dendritic cells
A.-K. Weier, M. Homrich, S. Ebbinghaus, P. Juda, E. Miková, R. Hauschild, L. Zhang, T. Quast, E. Mass, A. Schlitzer, W. Kolanus, S. Burgdorf, O.J. Gruß, M. Hons, S. Wieser, E. Kiermaier, Journal of Cell Biology 221 (2022).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11400 | OA
Controlling cluster size in 2D phase-separating binary mixtures with specific interactions
I. Palaia, A. Šarić, The Journal of Chemical Physics 156 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11469 | OA
Localization of a mobile impurity interacting with an Anderson insulator
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 9311 | OA
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11732 | OA
The BCS energy gap at high density
S.J. Henheik, A.B. Lauritsen, Journal of Statistical Physics 189 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12167 | OA
Hide & Seek: Privacy-preserving rebalancing on payment channel networks
G. Avarikioti, K.Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, M.X. Yeo, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 358–373.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12302 | OA
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12176 | OA
Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Conference Paper | IST-REx-ID: 12298 | OA
Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback
R. Gelashvili, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, Z. Xiang, in:, Financial Cryptography and Data Security, Springer Nature, 2022, pp. 296–315.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12168 | OA
Be aware of your leaders
S. Cohen, R. Gelashvili, E. Kokoris Kogias, Z. Li, D. Malkhi, A. Sonnino, A. Spiegelman, in:, International Conference on Financial Cryptography and Data Security, Springer Nature, 2022, pp. 279–295.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12175 | OA
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 12246 | OA
Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10818 | OA
Microglia control glutamatergic synapses in the adult mouse hippocampus
Basilico B, Ferrucci L, Ratano P, Golia MT, Grimaldi A, Rosito M, Ferretti V, Reverte I, Sanchini C, Marrone MC, Giubettini M, De Turris V, Salerno D, Garofalo S, St‐Pierre M, Carrier M, Renzi M, Pagani F, Modi B, Raspa M, Scavizzi F, Gross CT, Marinelli S, Tremblay M, Caprioli D, Maggi L, Limatola C, Di Angelantonio S, Ragozzino D. 2022. Microglia control glutamatergic synapses in the adult mouse hippocampus. Glia. 70(1), 173–195.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Thesis | IST-REx-ID: 11473 | OA
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10564 | OA
Polaron models with regular interactions at strong coupling
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11402 | OA
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Preprint | IST-REx-ID: 12750 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11185 | OA
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, in:, WALCOM 2022: Algorithms and Computation, Springer Nature, 2022, pp. 383–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12775 | OA
Anytime guarantees for reachability in uncountable Markov decision processes
K. Grover, J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 33rd International Conference on Concurrency Theory , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 12510 | OA
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10802 | OA
Fairness-aware PAC learning from corrupted data
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
[Published Version] View | Files available | arXiv
 

2022 | Conference Paper | IST-REx-ID: 13241 | OA
On the impossibility of fairness-aware learning from corrupted data
N.H. Konstantinov, C. Lampert, in:, Proceedings of Machine Learning Research, ML Research Press, 2022, pp. 59–83.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10566 | OA
Room temperature aqueous-based synthesis of copper-doped lead sulfide nanoparticles for thermoelectric application
M. Li, Y. Liu, Y. Zhang, C. Chang, T. Zhang, D. Yang, K. Xiao, J. Arbiol, M. Ibáñez, A. Cabot, Chemical Engineering Journal 433 (2022).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 12274 | OA
Retrograde movements determine effective stem cell numbers in the intestine
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12144 | OA
Adenylate cyclase activity of TIR1/AFB auxin receptors in plants
L. Qi, M. Kwiatkowski, H. Chen, L. Hörmayer, S.A. Sinclair, M. Zou, C.I. del Genio, M.F. Kubeš, R. Napier, K. Jaworski, J. Friml, Nature 611 (2022) 133–138.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12275 | OA
Specific N-glycans regulate an extracellular adhesion complex during somatosensory dendrite patterning
M. Rahman, N. Ramirez, C.A. Diaz‐Balzac, H.E. Bülow, EMBO Reports 23 (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12146 | OA
Phase-locking flows between orthogonally stretching parallel plates
B. Wang, R. Ayats López, A. Meseguer, F. Marques, Physics of Fluids 34 (2022).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 10656 | OA
Spontaneous aggregation of convective storms
C.J. Muller, D. Yang, G. Craig, T. Cronin, B. Fildier, J.O. Haerter, C. Hohenegger, B. Mapes, D. Randall, S. Shamekh, S.C. Sherwood, Annual Review of Fluid Mechanics 54 (2022) 133–157.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 10846 | OA
MON-2, a Golgi protein, promotes longevity by upregulating autophagy through mediating inter-organelle communications
M. Artan, J. Sohn, C. Lee, S.Y. Park, S.J.V. Lee, Autophagy 18 (2022) 1208–1210.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11333 | OA
Dynamic control of microbial movement by photoswitchable ATP antagonists
S. Thayyil, Y. Nishigami, M.J. Islam, P.K. Hashim, K. Furuta, K. Oiwa, J. Yu, M. Yao, T. Nakagaki, N. Tamaoki, Chemistry - A European Journal 28 (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12116 | OA
Remote opportunities for scholars in Ukraine
K. Chhugani, A. Frolova, Y. Salyha, A. Fiscutean, O. Zlenko, S. Reinsone, W.W. Wolfsberger, O.V. Ivashchenko, M. Maci, D. Dziuba, A. Parkhomenko, E. Bortz, F. Kondrashov, P.P. Łabaj, V. Romero, J. Hlávka, T.K. Oleksyk, S. Mangul, Science 378 (2022) 1285–1286.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 10753 | OA
A familiar thought: Machines that replace us?
B.J. Confavreux, T.P. Vogels, Neuron 110 (2022) 361–362.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11841 | OA
Adsorption free energy predicts amyloid protein nucleation rates
Z. Toprakcioglu, A. Kamada, T.C.T. Michaels, M. Xie, J. Krausser, J. Wei, A. Šarić, M. Vendruscolo, T.P.J. Knowles, Proceedings of the National Academy of Sciences of the United States of America 119 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12278 | OA
Band structure near the Dirac Point in HgTe quantum wells with critical thickness
A. Shuvaev, U. Dziom, J. Gospodarič, E.G. Novik, A.A. Dobretsova, N.N. Mikhailov, Z.D. Kvon, A. Pimenov, Nanomaterials 12 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Thesis | IST-REx-ID: 10799 | OA
Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10797 | OA
Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations
S. Floreani, F. Redig, F. Sau, Annales de l’institut Henri Poincare (B) Probability and Statistics 58 (2022) 220–247.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11354 | OA [Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10813 | OA
Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries
D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Nature Catalysis 5 (2022) 193–201.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Preprint | IST-REx-ID: 10792 | OA
WDFY3 cell autonomously controls neuronal migration
Z. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K. Zarbalis, (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11435 | OA
A quantitative Helly-type theorem: Containment in a homothet
G. Ivanov, M. Naszodi, SIAM Journal on Discrete Mathematics 36 (2022) 951–957.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12776 | OA
Revisiting the Manin–Peyre conjecture for the split del Pezzo surface of degree 5
T.D. Browning, New York Journal of Mathematics 28 (2022) 1193–1229.
[Published Version] View | Files available
 

2022 | Journal Article | IST-REx-ID: 10850 | OA
Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12452 | OA
VoRF: Volumetric Relightable Faces
P. Rao, M. B R, G. Fox, T. Weyrich, B. Bickel, H.-P. Seidel, H. Pfister, W. Matusik, A. Tewari, C. Theobalt, M. Elgharib, in:, 33rd British Machine Vision Conference, British Machine Vision Association and Society for Pattern Recognition, 2022.
[Published Version] View | Files available | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications