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.

4977 Publications


2022 | Thesis | IST-REx-ID: 12390 | OA
Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11489 | OA
The hydrophilic loop of Arabidopsis PIN1 auxin efflux carrier harbors hallmarks of an intrinsically disordered protein
V. Bilanovičová, N. Rýdza, L. Koczka, M. Hess, E. Feraru, J. Friml, T. Nodzyński, International Journal of Molecular Sciences 23 (2022) 6352.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10754 | OA
Developing a mathematical model of intracellular Calcium dynamics for evaluating combined anticancer effects of afatinib and RP4010 in esophageal cancer
Y. Chang, M. Funk, S. Roy, E.R. Stephenson, S. Choi, H.V. Kojouharov, B. Chen, Z. Pan, International Journal of Molecular Sciences 23 (2022).
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10584 | OA
Electrically tunable lens (ETL) - based variable focus imaging system for parametric surface texture analysis of materials
J.S. Nirwan, S. Lou, S. Hussain, M. Nauman, T. Hussain, B.R. Conway, M.U. Ghori, Micromachines 13 (2022).
[Published Version] View | Files available | DOI | WoS
 

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: 9955
Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum
R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.
View | DOI | WoS | PubMed | Europe PMC
 

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: 12170
PET – A partial exploration tool for probabilistic verification
T. Meggendorfer, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 320–326.
View | DOI
 

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: 10842 View | DOI | WoS
 

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: 14381
High-dimensional expanders (after Gromov, Kaufman, Kazhdan, Lubotzky, and others)
U. Wagner, Bulletin de La Societe Mathematique de France 438 (2022) 281–294.
View | DOI
 

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: 12120
Nitrate availability controls translocation of the transcription factor NAC075 for cell-type-specific reprogramming of root growth
H. Xiao, Y. Hu, Y. Wang, J. Cheng, J. Wang, G. Chen, Q. Li, S. Wang, Y. Wang, S.-S. Wang, Y. Wang, W. Xuan, Z. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Developmental Cell 57 (2022) 2638–2651.e6.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12236
CoFeNiMnZnB as a high-entropy metal boride to boost the oxygen evolution reaction
X. Wang, Y. Zuo, S. Horta, R. He, L. Yang, A. Ostovari Moghaddam, M. Ibáñez, X. Qi, A. Cabot, ACS Applied Materials & Interfaces 14 (2022) 48212–48219.
View | DOI | 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
 

Filters and Search Terms

extern<>1

Search

Filter Publications