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.
1621 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1205 | 
Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:10.1007/978-3-319-48989-6_47
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1193 |
Kolmogorov V. Commutativity in the algorithmic Lovasz local lemma. In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science. Vol 2016-December. IEEE; 2016. doi:10.1109/FOCS.2016.88
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1165 |
Fulek R. C-planarity of embedded cyclic c-graphs. In: Vol 9801. Springer; 2016:94-106. doi:10.1007/978-3-319-50106-2_8
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1616 |
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 2016;26(5):668-682. doi:10.1002/hipo.22550
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1263 |
Rueda A, Sedlmeir F, Collodo M, et al. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 2016;3(6):597-604. doi:10.1364/OPTICA.3.000597
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Research Data | IST-REx-ID: 5557 |
Swoboda P. Synthetic discrete tomography problems. 2016. doi:10.15479/AT:ISTA:46
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul M. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. 2016. doi:10.15479/AT:ISTA:43
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 15245 |
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1321 |
Leithner AF, Eichner A, Müller J, et al. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 2016;18:1253-1259. doi:10.1038/ncb3426
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1386 |
Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2015. SIAM; 2015:1018-1029. doi:10.1137/1.9781611973730.69
[Preprint]
View
| DOI
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11519 |
Sobral D, Matthee JJ, Darvish B, et al. Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. 2015;808(2):139. doi:10.1088/0004-637X/808/2/139
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11581 |
Matthee JJ, Sobral D, Santos S, Röttgering H, Darvish B, Mobasher B. Identification of the brightest Lyα emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. 2015;451(1):400-417. doi:10.1093/mnras/stv947
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 11668 |
Colini-Baldeschi R, Leonardi S, Henzinger MH, Starnberger M. On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. 2015;4(1). doi:10.1145/2818357
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 11774 |
Cheung YK, Henzinger MH, Hoefer M, Starnberger M. Combinatorial auctions with conflict-based externalities. In: 11th International Conference on Web and Internet Economics. Vol 9470. Springer Nature; 2015:230–243. doi:10.1007/978-3-662-48995-6_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11773 |
Ben-Zwi O, Henzinger MH, Loitzenbauer V. Ad exchange: Envy-free auctions with mediators. In: 11th International Conference on Web and Internet Economics. Vol 9470. Springer Nature; 2015:104–117. doi:10.1007/978-3-662-48995-6_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11785 |
Henzinger MH, Krinninger S, Nanongkai D. Improved algorithms for decremental single-source reachability on directed graphs. In: 42nd International Colloquium on Automata, Languages and Programming. Vol 9134. Springer Nature; 2015:725-736. doi:10.1007/978-3-662-47672-7_59
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11787 |
Henzinger MH, Krinninger S, Loitzenbauer V. Finding 2-edge and 2-vertex strongly connected components in quadratic time. In: 2nd International Colloquium on Automata, Languages and Programming. Vol 9134. Springer Nature; 2015:713-724. doi:10.1007/978-3-662-47672-7_58
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11788 |
Dvořák W, Henzinger MH. Online ad assignment with an ad exchange. In: 12th International Workshop of Approximation and Online Algorithms. Vol 8952. Springer Nature; 2015:156–167. doi:10.1007/978-3-319-18263-6_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 11786 |
Bhattacharya S, Henzinger MH, Italiano GF. Design of dynamic algorithms via primal-dual method. In: 42nd International Colloquium on Automata, Languages and Programming. Vol 9134. Springer Nature; 2015:206-218. doi:10.1007/978-3-662-47672-7_17
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv