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, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature. https://doi.org/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, S. E., Darrous, L., Patxot, M., Läll, K., Fischer, K., Mägi, R., … Robinson, M. R. (2023). Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. Elsevier. https://doi.org/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, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20

[Published Version] View | Files available | DOI

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

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8

[Published Version] View | Files available | DOI

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

Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023). 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. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707

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

Alanko, J. H., Ucar, M. C., Canigova, N., Stopp, J. A., Schwarz, J., Merrin, J., … Sixt, M. K. (2023). CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration. Science Immunology. American Association for the Advancement of Science. https://doi.org/10.1126/sciimmunol.adc9584

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

Boocock, D. R., Hirashima, T., & Hannezo, E. B. (2023). Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. American Physical Society. https://doi.org/10.1103/prxlife.1.013001

[Published Version] View | Files available | DOI

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

Ucar, M. C. (2023). Source data for the manuscript “CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration.” Zenodo. https://doi.org/10.5281/ZENODO.8133960

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

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

Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14280

[Published Version] View | Files available | DOI

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

Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic. https://doi.org/10.1093/imrn/rnac048

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

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

Dymond, M., & Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/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, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6

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

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

Dello Schiavo, L. (2023). Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. Springer Nature. https://doi.org/10.1007/s11118-021-09951-y