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.

6553 Publications

2018 | Published | Journal Article | IST-REx-ID: 415 |

Rzadkowski, W., & Lemeshko, M. (2018). Effect of a magnetic field on molecule–solvent angular momentum transfer. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5017591

2018 | Published | Conference Paper | IST-REx-ID: 141 |

Chatterjee, K., Henzinger, M., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96142-2_13

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

2018 | Published | Conference Paper | IST-REx-ID: 5965 |

Alistarh, D.-A., Brown, T. A., Kopinsky, J., Li, J. Z., & Nadiradze, G. (2018). Distributionally linearizable data structures. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18 (pp. 133–142). Vienna, Austria: ACM. https://doi.org/10.1145/3210377.3210411

2018 | Published | Conference Paper | IST-REx-ID: 187 |

Edelsbrunner, H., & Osang, G. F. (2018). The multi-cover persistence of Euclidean balls (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.34

[Published Version] View | Files available | DOI

2018 | Published | Conference Paper | IST-REx-ID: 133 |

Kragl, B., Qadeer, S., & Henzinger, T. A. (2018). Synchronizing the asynchronous (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.21

[Published Version] View | Files available | DOI

2018 | Published | Conference Paper | IST-REx-ID: 160 |

Kragl, B., & Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981, pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer. https://doi.org/10.1007/978-3-319-96145-3_5

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

2018 | Published | Journal Article | IST-REx-ID: 5751 |

Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. A. (2018). Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-018-0078-7

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

2018 | Published | Journal Article | IST-REx-ID: 6355 |

Akopyan, A., & Avvakumov, S. (2018). Any cyclic quadrilateral can be inscribed in any closed convex smooth curve. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2018.7

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

2018 | Published | Preprint | IST-REx-ID: 75 |

Akopyan, A., Avvakumov, S., & Karasev, R. (2018). Convex fair partitions into arbitrary number of pieces. arXiv. https://doi.org/10.48550/arXiv.1804.03057

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

2018 | Published | Journal Article | IST-REx-ID: 77 |

Watzinger, H., Kukucka, J., Vukušić, L., Gao, F., Wang, T., Schäffler, F., … Katsaros, G. (2018). A germanium hole spin qubit. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-018-06418-4

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

2018 | Published | Journal Article | IST-REx-ID: 1012 |

Erdös, L., & Schröder, D. J. (2018). Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnw330

2018 | Published | Journal Article | IST-REx-ID: 281 |

Granados, A., Pietsch, J., Cepeda Humerez, S. A., Farquhar, I., Tkačik, G., & Swain, P. (2018). Distributed and dynamic intracellular organization of extracellular information. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1716659115

2018 | Research Data | IST-REx-ID: 5577 |

Villányi, M. (2018). Emerald Austrian Publications 2013-2017. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:89

[Submitted Version] View | Files available | DOI

2018 | Research Data | IST-REx-ID: 5578 |

Villányi, M. (2018). IOP Austrian Publications 2012-2015. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:90

[Submitted Version] View | Files available | DOI

2018 | Research Data | IST-REx-ID: 5574 |

Villányi, M. (2018). Data Check IOP Scopus vs. Publisher. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:86

[Submitted Version] View | Files available | DOI

2018 | Research Data | IST-REx-ID: 5579 |

Villányi, M. (2018). RSC Austrian Publications 2013-2017. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:91

[Submitted Version] View | Files available | DOI

2018 | Published | Thesis | PhD | IST-REx-ID: 197 |

Kolesnikov, A. (2018). Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1021

[Published Version] View | Files available | DOI

2018 | Published | Thesis | PhD | IST-REx-ID: 49 |

Watzinger, H. (2018). Ge hut wires - from growth to hole spin resonance. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1033

[Published Version] View | Files available | DOI

2018 | Published | Thesis | PhD | IST-REx-ID: 201 |

Iglesias Ham, M. (2018). Multiple covers with balls. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_1026

[Published Version] View | Files available | DOI

2018 | Published | Thesis | IST-REx-ID: 278 |

Villányi, M. (2018). Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. Universität Wien.

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

Institute of Science and Technology Austria (ISTA)

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

6553 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).

6553 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options