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: 1391 | OA
Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,” 9780:230–48. Springer, 2016. https://doi.org/10.1007/978-3-319-41540-6_13.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 1243
Pleska, Maros, Long Qian, Reiko Okura, Tobias Bergmiller, Yuichi Wakamoto, Edo Kussell, and Calin C Guet. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2015.12.041.
View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 1229 | OA
Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Offline Witness Encryption,” 9696:285–303. Springer, 2016. https://doi.org/10.1007/978-3-319-39555-5_16.
[Submitted Version] View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 1236 | OA
Abusalah, Hamza M, Georg Fuchsbauer, and Krzysztof Z Pietrzak. “Constrained PRFs for Unbounded Inputs,” 9610:413–28. Springer, 2016. https://doi.org/10.1007/978-3-319-29485-8_24.
[Submitted Version] View | Files available | DOI
 

2016 |Published| Conference Paper | IST-REx-ID: 1235 | OA
Abusalah, Hamza M, and Georg Fuchsbauer. “Constrained PRFs for Unbounded Inputs with Short Keys,” 9696:445–63. Springer, 2016. https://doi.org/10.1007/978-3-319-39555-5_24.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

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
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications