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.

6293 Publications

2022 | Published | Conference Paper | IST-REx-ID: 11355 |

Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1

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

2022 | Published | Journal Article | IST-REx-ID: 11356 |

Chang, C., Qin, B., Su, L., & Zhao, L. D. (2022). Distinct electron and hole transports in SnSe crystals. Science Bulletin. Elsevier. https://doi.org/10.1016/j.scib.2022.04.007

2022 | Published | Thesis | PhD | IST-REx-ID: 11362 |

Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362

[Published Version] View | Files available | DOI

2022 | Draft | Preprint | IST-REx-ID: 11366 |

Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (n.d.). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. https://doi.org/10.48550/arXiv.2204.07373

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

2022 | Published | Journal Article | IST-REx-ID: 11379 |

Winterer, F., Seiler, A. M., Ghazaryan, A., Geisenhof, F. R., Watanabe, K., Taniguchi, T., … Weitz, R. T. (2022). Spontaneous gully-polarized quantum hall states in ABA trilayer graphene. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.2c00435

2022 | Published | Journal Article | IST-REx-ID: 11400 |

Palaia, I., & Šarić, A. (2022). Controlling cluster size in 2D phase-separating binary mixtures with specific interactions. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0087769

2022 | Published | Journal Article | IST-REx-ID: 11401 |

Nguyen, V. Q., Trinh, T. L., Chang, C., Zhao, L. D., Nguyen, T. H., Duong, V. T., … Cho, S. (2022). Unidentified major p-type source in SnSe: Multivacancies. NPG Asia Materials. Springer Nature. https://doi.org/10.1038/s41427-022-00393-5

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

2022 | Published | Journal Article | IST-REx-ID: 11402 |

Chatterjee, K., & Doyen, L. (2022). Graph planning with expected finite horizon. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2022.04.003

2022 | Published | Journal Article | IST-REx-ID: 11411 |

Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac083

2022 | Published | Journal Article | IST-REx-ID: 11417 |

Sigillito, A. J., Covey, J. P., Fink, J. M., Petersson, K., & Preble, S. (2022). Emerging qubit systems: Guest editorial. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/5.0097339

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

2022 | Published | Journal Article | IST-REx-ID: 11418 |

Cipolloni, G., Erdös, L., & Schröder, D. J. (2022). Normal fluctuation in quantum ergodicity for Wigner matrices. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-AOP1552

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

2022 | Published | Journal Article | IST-REx-ID: 11419 |

Hori, T., Eguchi, K., Wang, H. Y., Miyasaka, T., Guillaud, L., Taoufiq, Z., … Takahashi, T. (2022). Microtubule assembly by tau impairs endocytosis and neurotransmission via dynamin sequestration in Alzheimer’s disease synapse model. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.73542

2022 | Published | Conference Paper | IST-REx-ID: 11428 |

Chambers, E., Fillmore, C. D., Stephenson, E. R., & Wintraecken, M. (2022). A cautionary tale: Burning the medial axis is unstable. In X. Goaoc & M. Kerber (Eds.), 38th International Symposium on Computational Geometry (Vol. 224, p. 66:1-66:9). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2022.66

[Published Version] View | Files available | DOI

2022 | Published | Book (Editor) | IST-REx-ID: 11429

Karimipour, F., & Storandt, S. (Eds.). (2022). Web and Wireless Geographical Information Systems (1st ed., Vol. 13238). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-06245-2

View | DOI

2022 | Published | Journal Article | IST-REx-ID: 11432 |

Schreck, C., & Wojtan, C. (2022). Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.14478

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

2022 | Published | Journal Article | IST-REx-ID: 11435 |

Ivanov, G., & Naszodi, M. (2022). A quantitative Helly-type theorem: Containment in a homothet. SIAM Journal on Discrete Mathematics. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1403308

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

2022 | Published | Journal Article | IST-REx-ID: 11438 |

Li, V., Diorico, F. R., & Hosten, O. (2022). Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. American Physical Society. https://doi.org/10.1103/physrevapplied.17.054031

2022 | Published | Book Chapter | IST-REx-ID: 11440 |

Bleile, B., Garin, A., Heiss, T., Maggs, K., & Robins, V. (2022). The persistent homology of dual digital image constructions. In E. Gasparovic, V. Robins, & K. Turner (Eds.), Research in Computational Topology 2 (1st ed., Vol. 30, pp. 1–26). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-95519-9_1

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

2022 | Published | Journal Article | IST-REx-ID: 10016 |

Friml, J. (2022). Fourteen stations of auxin. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/cshperspect.a039859

2022 | Published | Journal Article | IST-REx-ID: 10042 |

Liu, Y., Calcabrini, M., Yu, Y., Lee, S., Chang, C., David, J., … Ibáñez, M. (2022). Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. ACS Nano. American Chemical Society . https://doi.org/10.1021/acsnano.1c06720

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options