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.

4148 Publications


2022 | Conference Paper | IST-REx-ID: 11355 | OA
Information-flow Interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
View | Files available | DOI
 

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

2022 | Research Data | IST-REx-ID: 10934 | OA View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11373 | OA
In vitro reconstitution of Escherichia coli divisome activation
P. Radler, N.S. Baranova, P.R. Dos Santos Caldas, C.M. Sommer, M.D. Lopez Pelegrin, D. Michalik, M. Loose, Nature Communications 13 (2022).
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11379 | OA
Spontaneous gully-polarized quantum hall states in ABA trilayer graphene
F. Winterer, A.M. Seiler, A. Ghazaryan, F.R. Geisenhof, K. Watanabe, T. Taniguchi, M. Serbyn, R.T. Weitz, Nano Letters 22 (2022) 3317–3322.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10652 | OA View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10042 | OA
Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 9364 | OA
On the size of the maximum of incomplete Kloosterman sums
D. Bonolis, Mathematical Proceedings of the Cambridge Philosophical Society 172 (2022) 563–590.
View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11401 | OA
Unidentified major p-type source in SnSe: Multivacancies
V.Q. Nguyen, T.L. Trinh, C. Chang, L.D. Zhao, T.H. Nguyen, V.T. Duong, A.T. Duong, J.H. Park, S. Park, J. Kim, S. Cho, NPG Asia Materials 14 (2022).
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).
View | Files available | DOI
 

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.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11420 | OA
Mean-field analysis of piecewise linear solutions for wide ReLU networks
A. Shevchenko, V. Kungurtsev, M. Mondelli, Journal of Machine Learning Research 23 (2022) 1–55.
View | Files available | arXiv
 

2022 | Journal Article | IST-REx-ID: 11419 | OA
Microtubule assembly by tau impairs endocytosis and neurotransmission via dynamin sequestration in Alzheimer's disease synapse model
T. Hori, K. Eguchi, H.Y. Wang, T. Miyasaka, L. Guillaud, Z. Taoufiq, S. Mahapatra, H. Yamada, K. Takei, T. Takahashi, ELife 11 (2022).
View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11418 | OA
Normal fluctuation in quantum ergodicity for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Annals of Probability 50 (2022) 984–1012.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11417 | OA
Emerging qubit systems: Guest editorial
A.J. Sigillito, J.P. Covey, J.M. Fink, K. Petersson, S. Preble, Applied Physics Letters 120 (2022).
View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 10922 | OA
Worst-case rigidity analysis and optimization for assemblies with mechanical joints
Z. Liu, J. Hu, H. Xu, P. Song, R. Zhang, B. Bickel, C.-W. Fu, Computer Graphics Forum 41 (2022) 507–519.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11432 | OA View | DOI | Download Submitted Version (ext.)
 

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.
View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10335 | OA View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications