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 | OA
Jiang, Yu, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “Safety Assured Formal Model Driven Design of the Multifunction Vehicle Bus Controller,” 9995:757–63. Springer, 2016. https://doi.org/10.1007/978-3-319-48989-6_47.
[Submitted Version] View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov, Vladimir. “Commutativity in the Algorithmic Lovasz Local Lemma.” In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, Vol. 2016–December. IEEE, 2016. https://doi.org/10.1109/FOCS.2016.88.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 |Published| Conference Paper | IST-REx-ID: 1165 | OA
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs,” 9801:94–106. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_8.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 1616 | OA
Kowalski, Janina, Jian Gan, Peter M Jonas, and Alejandro Pernia-Andrade. “Intrinsic Membrane Properties Determine Hippocampal Differential Firing Pattern in Vivo in Anesthetized Rats.” Hippocampus. Wiley, 2016. https://doi.org/10.1002/hipo.22550.
[Published Version] View | Files available | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 1263 | OA
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Efficient Microwave to Optical Photon Conversion: An Electro-Optical Realization.” Optica. Optica Publishing Group, 2016. https://doi.org/10.1364/OPTICA.3.000597.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, Paul. “Synthetic Discrete Tomography Problems.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul, Murat. “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” Institute of Science and Technology Austria, 2016. https://doi.org/10.15479/AT:ISTA:43.
[Published Version] View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 15245 | OA
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 | OA
Leithner, Alexander F, Alexander Eichner, Jan Müller, Anne Reversat, Markus Brown, Jan Schwarz, Jack Merrin, et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology. Nature Publishing Group, 2016. https://doi.org/10.1038/ncb3426.
[Submitted Version] View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/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, Krishnendu, and Rasmus Ibsen-Jensen. “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, 2015:1018–29. SIAM, 2015. https://doi.org/10.1137/1.9781611973730.69.
[Preprint] View | DOI | arXiv
 

2015 |Published| Journal Article | IST-REx-ID: 11519 | OA
Sobral, David, Jorryt J Matthee, Behnam Darvish, Daniel Schaerer, Bahram Mobasher, Huub Röttgering, Sérgio Santos, and Shoubaneh Hemmati. “Evidence for PopIII-like Stellar Populations in the Most Luminous Lyα Emitters at the Epoch of Reionisation: Spectroscopic Confirmation.” The Astrophysical Journal. IOP Publishing, 2015. https://doi.org/10.1088/0004-637X/808/2/139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Journal Article | IST-REx-ID: 11581 | OA
Matthee, Jorryt J, David Sobral, Sérgio Santos, Huub Röttgering, Behnam Darvish, and Bahram Mobasher. “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. Oxford University Press, 2015. https://doi.org/10.1093/mnras/stv947.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Journal Article | IST-REx-ID: 11668 | OA
Colini-Baldeschi, Riccardo, Stefano Leonardi, Monika H Henzinger, and Martin Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” ACM Transactions on Economics and Computation. Association for Computing Machinery, 2015. https://doi.org/10.1145/2818357.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 |Published| Conference Paper | IST-REx-ID: 11774 | OA
Cheung, Yun Kuen, Monika H Henzinger, Martin Hoefer, and Martin Starnberger. “Combinatorial Auctions with Conflict-Based Externalities.” In 11th International Conference on Web and Internet Economics, 9470:230–243. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-48995-6_17.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11773 | OA
Ben-Zwi, Oren, Monika H Henzinger, and Veronika Loitzenbauer. “Ad Exchange: Envy-Free Auctions with Mediators.” In 11th International Conference on Web and Internet Economics, 9470:104–117. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-48995-6_8.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11785 | OA
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs.” In 42nd International Colloquium on Automata, Languages and Programming, 9134:725–36. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47672-7_59.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11787 | OA
Henzinger, Monika H, Sebastian Krinninger, and Veronika Loitzenbauer. “Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time.” In 2nd International Colloquium on Automata, Languages and Programming, 9134:713–24. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47672-7_58.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11788 | OA
Dvořák, Wolfgang, and Monika H Henzinger. “Online Ad Assignment with an Ad Exchange.” In 12th International Workshop of Approximation and Online Algorithms, 8952:156–167. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-18263-6_14.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 |Published| Conference Paper | IST-REx-ID: 11786 | OA
Bhattacharya, Sayan, Monika H Henzinger, and Giuseppe F. Italiano. “Design of Dynamic Algorithms via Primal-Dual Method.” In 42nd International Colloquium on Automata, Languages and Programming, 9134:206–18. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47672-7_17.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications