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.
1481 Publications
2013 |Published| Technical Report | IST-REx-ID: 5405 | 
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5408 |
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 6133 |
Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences, 2013, pp. E3301–10, doi:10.1073/pnas.1217428110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6370
Lin, Tze-Chia, et al. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C, vol. 117, no. 18, American Chemical Society (ACS), 2013, pp. 9416–30, doi:10.1021/jp400648q.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi: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, et al. “Arabidopsis Inositol 1,3,4-Trisphosphate 5/6 Kinase 2 Is Required for Seed Coat Development.” Acta Biochimica et Biophysica Sinica, vol. 45, no. 7, Oxford University Press, 2013, pp. 549–60, doi:10.1093/abbs/gmt039.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Conference Paper | IST-REx-ID: 765
Alistarh, Dan-Adrian, et al. Randomized Loose Renaming in O(Loglogn) Time. ACM, 2013, pp. 200–09, doi:10.1145/2484239.2484240.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 7775
Schoenholz, Samuel S., et al. “Stability of Jammed Packings II: The Transverse Length Scale.” Soft Matter, vol. 9, no. 46, 11000, Royal Society of Chemistry, 2013, doi:10.1039/c3sm51096d.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 812
Koestler, Stefan, et al. “Arp2/3 Complex Is Essential for Actin Network Treadmilling as Well as for Targeting of Capping Protein and Cofilin.” Molecular Biology of the Cell, vol. 24, no. 18, American Society for Biology, 2013, pp. 2861–75, doi:10.1091/mbc.E12-12-0857.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 8245 |
Petricevic, Branka, et al. “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, vol. 11, 307, Springer Nature, 2013, doi:10.1186/1479-5876-11-307.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 894
Derelle, Romain, et al. “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, vol. 6, no. 1, BioMed Central, 2013, doi:10.1186/1756-0500-6-310.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 974 |
Serbyn, Maksym, et al. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2, American Physical Society, 2013, doi: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.” Chemokines, edited by Astrid Cardona and Eroboghene Ubogu, vol. 1013, Humana Press, 2013, pp. 215–26, doi:10.1007/978-1-62703-426-5_14.
View
| DOI
| PubMed | Europe PMC
2013 |Published| Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.
View
2013 |Published| Journal Article | IST-REx-ID: 2926
Tragust, Simon, et al. “Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Current Biology, vol. 23, no. 1, Cell Press, 2013, pp. 76–82, doi:10.1016/j.cub.2012.11.034.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, et al. “On Multiple Keyword Sponsored Search Auctions with Budgets.” 39th International Colloquium on Automata, Languages, and Programming, vol. 7392, Springer Nature, 2012, pp. 1–12, doi:10.1007/978-3-642-31585-5_1.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 11963
Kumar, G. Sathish, et al. “Copper-Catalyzed Formation of C-O Bonds by Direct α-C-H Bond Activation of Ethers Using Stoichiometric Amounts of Peroxide in Batch and Continuous-Flow Formats.” Chemistry - A European Journal, vol. 18, no. 20, Wiley, 2012, pp. 6124–28, doi:10.1002/chem.201200815.
View
| DOI
| PubMed | Europe PMC
2012 |Published| Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)