ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4962 Publications

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14257 |

Michalska, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology, Springer Nature, 2023, doi:10.1038/s41587-023-01911-8.

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

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

Ojavee, Sven E., et al. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” American Journal of Human Genetics, vol. 110, no. 9, Elsevier, 2023, pp. 1549–63, doi:10.1016/j.ajhg.2023.07.006.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

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

Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.

[Published Version] View | Files available | DOI

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

Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.

[Published Version] View | Files available | DOI

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

Gamper, Jakob, et al. “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.” Journal of Physical Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:10.1021/acs.jpclett.3c01707.

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

Alanko, Jonna H., et al. “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.” Science Immunology, vol. 8, no. 87, adc9584, American Association for the Advancement of Science, 2023, doi:10.1126/sciimmunol.adc9584.

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

Boocock, Daniel R., et al. “Interplay between Mechanochemical Patterning and Glassy Dynamics in Cellular Monolayers.” PRX Life, vol. 1, no. 1, 013001, American Physical Society, 2023, doi:10.1103/prxlife.1.013001.

[Published Version] View | Files available | DOI

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

Ucar, Mehmet C. Source Data for the Manuscript “CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.” Zenodo, 2023, doi:10.5281/ZENODO.8133960.

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

2023 | Published | Thesis | PhD | IST-REx-ID: 14280

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.

[Published Version] View | Files available | DOI

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

Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices, vol. 2023, no. 8, Oxford Academic, 2023, pp. 6780–808, doi:10.1093/imrn/rnac048.

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

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 |

Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, 15, Springer Nature, 2023, doi:10.1007/s10711-023-00862-3.

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

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

Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, vol. 253, Springer Nature, 2023, pp. 501–54, doi:10.1007/s11856-022-2448-6.

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

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

Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis, vol. 58, Springer Nature, 2023, pp. 573–615, doi:10.1007/s11118-021-09951-y.