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
2013 |Published| Journal Article | IST-REx-ID: 6133 | 
Couto, A., S. Oda, V. O. Nikolaev, Z. Soltesz, and Mario de Bono. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1217428110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Technical Report | IST-REx-ID: 6440 |
Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_35.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 7595
Tang, Yong, Shutang Tan, and Hongwei Xue. “Arabidopsis Inositol 1,3,4-Trisphosphate 5/6 Kinase 2 Is Required for Seed Coat Development.” Acta Biochimica et Biophysica Sinica. Oxford University Press, 2013. https://doi.org/10.1093/abbs/gmt039.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 8245 |
Petricevic, Branka, Johannes Laengle, Josef Singer, Monika Sachet, Judit Singer, Guenther Steger, Rupert Bartsch, Erika Jensen-Jarolim, and Michael Bergmann. “Trastuzumab Mediates Antibody-Dependent Cell-Mediated Cytotoxicity and Phagocytosis to the Same Extent in Both Adjuvant and Metastatic HER2/Neu Breast Cancer Patients.” Journal of Translational Medicine. Springer Nature, 2013. https://doi.org/10.1186/1479-5876-11-307.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 830
Galbiati, Francesca, Dola Sinha Roy, Sara Simonini, Mara Cucinotta, Luca Ceccato, Candela Cuesta, Mária Šimášková, et al. “An Integrative Model of the Control of Ovule Primordia Formation.” The Plant Journal for Cell and Molecular Biology. Wiley-Blackwell, 2013. https://doi.org/10.1111/tpj.12309.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 9674
Cheng, Bingqing, and Alfonso H.W. Ngan. “The Crystal Structures of Sintered Copper Nanoparticles: A Molecular Dynamics Study.” International Journal of Plasticity. Elsevier, 2013. https://doi.org/10.1016/j.ijplas.2013.01.006.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 894
Derelle, Romain, Fyodor Kondrashov, Vladimir Arkhipov, Hélène Corbel, Adrien Frantz, Julien Gasparini, Lisa Jacquin, Gwenaël Jacob, Sophie Thibault, and Emmanuelle Baudry. “Color Differences among Feral Pigeons (Columba Livia) Are Not Attributable to Sequence Variation in the Coding Region of the Melanocortin-1 Receptor Gene MC1R.” BMC Research Notes. BioMed Central, 2013. https://doi.org/10.1186/1756-0500-6-310.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 9153 |
Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans. American Geophysical Union, 2013. https://doi.org/10.1002/2013jc009212.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Journal Article | IST-REx-ID: 974 |
Serbyn, Maksym, Todadri Senthil, and Patrick Lee. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.88.024419.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Book Chapter | IST-REx-ID: 10900
Weber, Michele, and Michael K Sixt. “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations.” In Chemokines, edited by Astrid Cardona and Eroboghene Ubogu, 1013:215–26. MIMB. Totowa, NJ: Humana Press, 2013. https://doi.org/10.1007/978-1-62703-426-5_14.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2820
Chatterjee, Krishnendu, Alexander Kößler, and Ulrich Schmid. “Automated Analysis of Real-Time Scheduling Using Graph Games.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 163–72. ACM, 2013. https://doi.org/10.1145/2461328.2461356.
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2272 |
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” In ICML’13 Proceedings of the 30th International Conference on International, 28:145–53. ML Research Press, 2013.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
2012 |Published| Book Chapter | IST-REx-ID: 10896
Nedden, Stephanie zur, Alexander S. Doney, and Bruno G. Frenguelli. “The Double-Edged Sword: Gaining Adenosine at the Expense of ATP. How to Balance the Books.” In Adenosine, edited by Susan Masino and Detlev Boison, 1st ed., 109–29. New York: Springer, 2012. https://doi.org/10.1007/978-1-4614-3903-5_6.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 11751
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
[Preprint]
View
| DOI
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, Monika H Henzinger, Stefano Leonardi, and Martin Starnberger. “On Multiple Keyword Sponsored Search Auctions with Budgets.” In 39th International Colloquium on Automata, Languages, and Programming, 7392:1–12. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-31585-5_1.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 12647 |
Immerzeel, Walter Willem, Francesca Pellicciotti, and Arun B. Shrestha. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development. International Mountain Society, 2012. https://doi.org/10.1659/mrd-journal-d-11-00097.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Journal Article | IST-REx-ID: 1472 |
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.
View
| DOI
| Download (ext.)