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.

6713 Publications

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

Grover, K., Kretinsky, J., Meggendorfer, T., & Weininger, M. (2022). Anytime guarantees for reachability in uncountable Markov decision processes. In 33rd International Conference on Concurrency Theory (Vol. 243). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.11

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

Henzinger, T. A., Lehtinen, K., & Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.14

[Published Version] View | Files available | DOI

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

Wang, X., Zuo, Y., Horta, S., He, R., Yang, L., Ostovari Moghaddam, A., … Cabot, A. (2022). CoFeNiMnZnB as a high-entropy metal boride to boost the oxygen evolution reaction. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.2c11627

View | DOI | WoS | PubMed | Europe PMC

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

Hillary, R. F., Gadd, D. A., McCartney, D. L., Shi, L., Campbell, A., Walker, R. M., … Marioni, R. E. (2022). Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer’s disease implicate TBCA and TREM2 in disease risk. Alzheimer’s & Dementia. Wiley. https://doi.org/10.1002/dad2.12280

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

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

Chang, C., Liu, Y., Lee, S., Spadaro, M., Koskela, K. M., Kleinhanns, T., … Ibáñez, M. (2022). Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202207002

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

Parvizian, M., Duràn Balsa, A., Pokratath, R., Kalha, C., Lee, S., Van Den Eynden, D., … De Roo, J. (2022). The chemistry of Cu₃N and Cu₃PdN nanocrystals. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202207013

2022 | Research Data Reference | IST-REx-ID: 11695 |

Parvizian, M., Duran Balsa, A., Pokratath, R., Kalha, C., Lee, S., Van den Eynden, D., … De Roo, J. (2022). Data for “The chemistry of Cu3N and Cu3PdN nanocrystals.” Zenodo. https://doi.org/10.5281/ZENODO.6542908

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

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

Hosten, O. (2022). Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.4.013023

[Published Version] View | Files available | DOI

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 | Conference Paper | IST-REx-ID: 11839 |

Prach, B., & Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21

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

Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11

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

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

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2022). Complexity of spatial games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11

[Published Version] View | Files available | DOI

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

Chatterjee, K., Svoboda, J., Zikelic, D., Pavlogiannis, A., & Tkadlec, J. (2022). Social balance on networks: Local minima and best-edge dynamics. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.106.034321

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

Struk, S., Braem, L., Matthys, C., Walton, A., Vangheluwe, N., Van Praet, S., … Goormachtig, S. (2022). Transcriptional analysis in the Arabidopsis roots reveals new regulators that link rac-GR24 treatment with changes in flavonol accumulation, root hair elongation and lateral root density. Plant & Cell Physiology. Oxford University Press. https://doi.org/10.1093/pcp/pcab149

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

Kashkan, I., Hrtyan, M., Retzer, K., Humpolíčková, J., Jayasree, A., Filepová, R., … Růžička, K. (2022). Mutually opposing activity of PIN7 splicing isoforms is required for auxin-mediated tropic responses in Arabidopsis thaliana. New Phytologist. Wiley. https://doi.org/10.1111/nph.17792

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

Muller, C. J., Yang, D., Craig, G., Cronin, T., Fildier, B., Haerter, J. O., … Sherwood, S. C. (2022). Spontaneous aggregation of convective storms. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-022421-011319

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

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

Artan, M., Sohn, J., Lee, C., Park, S. Y., & Lee, S. J. V. (2022). MON-2, a Golgi protein, promotes longevity by upregulating autophagy through mediating inter-organelle communications. Autophagy. Taylor & Francis. https://doi.org/10.1080/15548627.2022.2039523

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

Kmentt, P., & Shute, A. L. (2022). The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and Their Applications. Elsevier. https://doi.org/10.1016/j.ffa.2022.102085

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

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

Horesh, T., & Paulin, F. (2022). Effective equidistribution of lattice points in positive characteristic. Journal de Theorie Des Nombres de Bordeaux. Université de Bordeaux. https://doi.org/10.5802/JTNB.1222

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

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

Prehal, C., Mondal, S., Lovicar, L., & Freunberger, S. A. (2022). Exclusive solution discharge in Li-O₂ batteries? ACS Energy Letters. American Chemical Society. https://doi.org/10.1021/acsenergylett.2c01711

Institute of Science and Technology Austria (ISTA)

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

6713 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6713 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options