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, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology. Springer Nature, 2023. 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, Sven E., Liza Darrous, Marion Patxot, Kristi Läll, Krista Fischer, Reedik Mägi, Zoltan Kutalik, and Matthew Richard Robinson. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” American Journal of Human Genetics. Elsevier, 2023. 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, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. 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, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. 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, Jakob, Florian Kluibenschedl, Alexander K.H. Weiss, and Thomas S. Hofer. “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, 2023. https://doi.org/10.1021/acs.jpclett.3c01707.

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

Alanko, Jonna H, Mehmet C Ucar, Nikola Canigova, Julian A Stopp, Jan Schwarz, Jack Merrin, Edouard B Hannezo, and Michael K Sixt. “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, 2023. https://doi.org/10.1126/sciimmunol.adc9584.

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

Boocock, Daniel R, Tsuyoshi Hirashima, and Edouard B Hannezo. “Interplay between Mechanochemical Patterning and Glassy Dynamics in Cellular Monolayers.” PRX Life. American Physical Society, 2023. https://doi.org/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. 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, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/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. Oxford Academic, 2023. 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, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata. Springer Nature, 2023. 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, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics. Springer Nature, 2023. 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, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis. Springer Nature, 2023. https://doi.org/10.1007/s11118-021-09951-y.