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.

4934 Publications


2023 | Journal Article | IST-REx-ID: 14314 | OA
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14315 | OA
Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress
U.H. Cho, M. Hetzer, ELife 12 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14319 | OA
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14317 | OA
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications