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.
668 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 12160
De la Rocha, A., Kokoris Kogias, E., Soares, J. M., & Vukolic, M. (2022). Hierarchical consensus: A horizontal scaling framework for blockchains. In 42nd International Conference on Distributed Computing Systems Workshops (Vol. 2022, pp. 45–52). Bologna, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icdcsw56584.2022.00018
View
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12161 |
Tomaszewska, P., & Lampert, C. (2022). Lightweight conditional model extrapolation for streaming data under class-prior shift. In 26th International Conference on Pattern Recognition (Vol. 2022, pp. 2128–2134). Montreal, Canada: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icpr56361.2022.9956195
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12167 |
Avarikioti, G., Pietrzak, K. Z., Salem, I., Schmid, S., Tiwari, S., & Yeo, M. X. (2022). Hide & Seek: Privacy-preserving rebalancing on payment channel networks. In Financial Cryptography and Data Security (Vol. 13411, pp. 358–373). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12168 |
Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., & Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12170
Meggendorfer, T. (2022). PET – A partial exploration tool for probabilistic verification. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 320–326). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_20
View
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12171 |
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12173 |
Baumgartner, M., Zirnbauer, R., Schlager, S., Mertens, D., Gasche, N., Sladek, B., … Gasche, C. (2022). Atypical enteropathogenic E. coli are associated with disease activity in ulcerative colitis. Gut Microbes. Taylor & Francis. https://doi.org/10.1080/19490976.2022.2143218
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Conference Paper |
IST-REx-ID: 12175 |
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2022). History-deterministic timed automata are not determinizable. In 16th International Conference on Reachability Problems (Vol. 13608, pp. 67–76). Kaiserslautern, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-19135-0_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12177 |
Cremaschi, T., & Dello Schiavo, L. (2022). Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. American Mathematical Society. https://doi.org/10.1090/bproc/134
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12179 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21m1424408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12182 |
Pacut, M., Parham, M., Rybicki, J., Schmid, S., Suomela, J., & Tereshchenko, A. (2022). Brief announcement: Temporal locality in online algorithms. In 36th International Symposium on Distributed Computing (Vol. 246). Augusta, GA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2022.52
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12208 |
Prehal, C., von Mentlen, J.-M., Drvarič Talian, S., Vizintin, A., Dominko, R., Amenitsch, H., … Wood, V. (2022). On the nanoscale structural evolution of solid discharge products in lithium-sulfur batteries using operando scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-33931-4
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12209 |
Nunes Pinheiro, D. C., Kardos, R., Hannezo, E. B., & Heisenberg, C.-P. J. (2022). Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-022-01787-6
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12210 |
Akylzhanov, R., Kuznetsova, Y., Ruzhansky, M., & Zhang, H. (2022). Norms of certain functions of a distinguished Laplacian on the ax + b groups. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-022-03143-z
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12212 |
Martín-Belmonte, A., Aguado, C., Alfaro-Ruiz, R., Moreno-Martínez, A. E., de la Ossa, L., Aso, E., … Luján, R. (2022). Nanoscale alterations in GABAB receptors and GIRK channel organization on the hippocampus of APP/PS1 mice. Alzheimer’s Research & Therapy. Springer Nature. https://doi.org/10.1186/s13195-022-01078-5
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12213 |
Paerschke, E., Chen, W.-C., Ray, R., & Chen, C.-C. (2022). Evolution of electronic and magnetic properties of Sr₂IrO₄ under strain. Npj Quantum Materials. Springer Nature. https://doi.org/10.1038/s41535-022-00496-w
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12214 |
Gehér, G. P., Titkos, T., & Virosztek, D. (2022). The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12676
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12216 |
Carlen, E. A., & Zhang, H. (2022). Monotonicity versions of Epstein’s concavity theorem and related inequalities. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2022.09.001
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12217 |
Randriamanantsoa, S., Papargyriou, A., Maurer, H. C., Peschke, K., Schuster, M., Zecchin, G., … Bausch, A. R. (2022). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32806-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12224 |
Muhia, M. W., YuanXiang, P., Sedlacik, J., Schwarz, J. R., Heisler, F. F., Gromova, K. V., … Kneussel, M. (2022). Muskelin regulates actin-dependent synaptic changes and intrinsic brain activity relevant to behavioral and cognitive processes. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-022-03446-1
[Published Version]
View
| Files available
| DOI
| WoS