Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2023 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1236 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1441 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1328 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Watzinger H, Kloeffel C, Vukušić L, Rossell M, Sessi V, Kukucka J, Kirchschlager R, Lausecker E, Truhlar A, Glaser M, Rastelli A, Fuhrer A, Loss D, Katsaros G. 2016. Heavy-hole states in germanium hut wires. Nano Letters. 16(11), 6879–6885.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1193 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1438 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1263 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 3(6), 597–604.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 |Published| Technical Report | IST-REx-ID: 5452 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. 2015. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2015, 1018–1029.
[Preprint]
View
| DOI
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11077 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jacinto FV, Benner C, Hetzer M. 2015. The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing. Genes & Development. 29(12), 1224–1238.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 |Published| Journal Article | IST-REx-ID: 11519 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sobral D, Matthee JJ, Darvish B, Schaerer D, Mobasher B, Röttgering H, Santos S, Hemmati S. 2015. Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. 808(2), 139.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11579 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pallottini A, Ferrara A, Pacucci F, Gallerani S, Salvadori S, Schneider R, Schaerer D, Sobral D, Matthee JJ. 2015. The brightest Lyα emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. 453(3), 2465–2470.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11668 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Colini-Baldeschi R, Leonardi S, Henzinger MH, Starnberger M. 2015. On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. 4(1), 2.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 11774 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cheung YK, Henzinger MH, Hoefer M, Starnberger M. 2015. Combinatorial auctions with conflict-based externalities. 11th International Conference on Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 9470, 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11785 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger MH, Krinninger S, Nanongkai D. 2015. Improved algorithms for decremental single-source reachability on directed graphs. 42nd International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 9134, 725–736.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11788 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dvořák W, Henzinger MH. 2015. Online ad assignment with an ad exchange. 12th International Workshop of Approximation and Online Algorithms. WAOA: International Workshop on Approximation and Online Algorithms, LNCS, vol. 8952, 156–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11786 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bhattacharya S, Henzinger MH, Italiano GF. 2015. Design of dynamic algorithms via primal-dual method. 42nd International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 9134, 206–218.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11869 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bhattacharya S, Henzinger MH, Nanongkai D, Tsourakakis C. 2015. Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams. 47th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 173–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bhattacharya S, Dvorák W, Henzinger MH, Starnberger Martin. 2015. Welfare maximization with friends-of-friends network externalities. 32nd International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 30, 90–102.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1430 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Paixao T, Sudholt D, Heredia J, Trubenova B. 2015. First steps towards a runtime comparison of natural and artificial evolution. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO: Genetic and evolutionary computation conference, 1455–1462.
[Preprint]
View
| DOI
| Download Preprint (ext.)