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. 148(10), 104307.

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. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.

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

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

Alistarh D-A, Brown TA, Kopinsky J, Li JZ, Nadiradze G. 2018. Distributionally linearizable data structures. Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18. SPAA: Symposium on Parallelism in Algorithms and Architectures, 133–142.

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

Edelsbrunner H, Osang GF. 2018. The multi-cover persistence of Euclidean balls. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 34.

[Published Version] View | Files available | DOI

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

Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.

[Published Version] View | Files available | DOI

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

Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.

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

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

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak MA. 2018. Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. 1(1), 71.

[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. 6, e7.

[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. 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, Zhang J, Katsaros G. 2018. A germanium hole spin qubit. Nature Communications. 9(3902).

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

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

Erdös L, Schröder DJ. 2018. Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues. International Mathematics Research Notices. 2018(10), 3255–3298.

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

Granados A, Pietsch J, Cepeda Humerez SA, Farquhar I, Tkačik G, Swain P. 2018. Distributed and dynamic intracellular organization of extracellular information. PNAS. 115(23), 6088–6093.

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

Villányi M. 2018. Emerald Austrian Publications 2013-2017, Institute of Science and Technology Austria, 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, 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, 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, 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.

[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.

[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.

[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