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
 

Filters and Search Terms

oa=1

Search

Filter Publications