ISTA Research Explorer

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.

6436 Publications

2023 | Published | Journal Article | IST-REx-ID: 14258 |

Genetic insights into the age-specific biological mechanisms governing human ovarian aging
S.E. Ojavee, L. Darrous, M. Patxot, K. Läll, K. Fischer, R. Mägi, Z. Kutalik, M.R. Robinson, American Journal of Human Genetics 110 (2023) 1549–1563.

2023 | Published | Conference Paper | IST-REx-ID: 14259 |

Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 14260 |

Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14261 |

Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.

2023 | Published | Journal Article | IST-REx-ID: 14277 |

Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).

[Published Version] View | Files available | DOI

2023 | Research Data Reference | IST-REx-ID: 14279 |

Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Published | Journal Article | IST-REx-ID: 14313 |

Rapid auxin signaling: Unknowns old and new
L. Fiedler, J. Friml, Current Opinion in Plant Biology 75 (2023).

2023 | Published | Journal Article | IST-REx-ID: 14314 |

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).

2023 | Published | Journal Article | IST-REx-ID: 14315 |

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 | Published | Journal Article | IST-REx-ID: 14316 |

Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).

2023 | Published | Conference Paper | IST-REx-ID: 14317 |

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 | WoS

2023 | Published | Conference Paper | IST-REx-ID: 14318 |

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 | WoS

2023 | Published | Journal Article | IST-REx-ID: 14319 |

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 | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14320 |

Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14321 |

Achiral dipoles on a ferromagnet can affect its magnetization direction
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).

2023 | Submitted | Preprint | IST-REx-ID: 14333 |

Self-compatibility: Evaluating causal discovery without ground truth
P.M. Faller, L.C. Vankadara, A.A. Mastakouri, F. Locatello, D. Janzing, ArXiv (n.d.).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14334 |

Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).

[Published Version] View | Files available | DOI | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14339 |

Antigravitropic PIN polarization maintains non-vertical growth in lateral roots
S. Roychoudhry, K. Sageman-Furnas, C. Wolverton, P. Grones, S. Tan, G. Molnar, M. De Angelis, H. Goodman, N. Capstaff, L. JPB, J. Mullen, R. Hangarter, J. Friml, S. Kepinski, Nature Plants 9 (2023) 1500–1513.

2023 | Published | Journal Article | IST-REx-ID: 14341 |

Turbulence suppression by cardiac-cycle-inspired driving of pipe flow
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.

2023 | Published | Journal Article | IST-REx-ID: 14342 |

Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam
D. Lorenc, Z. Alpichshev, Applied Physics Letters 123 (2023).

[Published Version] View | Files available | DOI | WoS | arXiv

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options