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.
1953 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2279 | 
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-02444-8_10.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 |Published| Journal Article | IST-REx-ID: 528
Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jiří Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology. Cell Press, 2013. https://doi.org/10.1016/j.cub.2013.09.039.
View
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5403 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5402 |
Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-123-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5404 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-127-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
View
| Files available
| DOI
2013 |Published| Technical Report | IST-REx-ID: 5406 |
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-130-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2327 |
Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_20.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 6370
Lin, Tze-Chia, Jacqueline M. Cole, Andrew P Higginbotham, Alison J. Edwards, Ross O. Piltz, Javier Pérez-Moreno, Ji-Youn Seo, Seung-Chul Lee, Koen Clays, and O-Pil Kwon. “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. American Chemical Society (ACS), 2013. https://doi.org/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.” 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: 7775
Schoenholz, Samuel S., Carl Peter Goodrich, Oleg Kogan, Andrea J. Liu, and Sidney R. Nagel. “Stability of Jammed Packings II: The Transverse Length Scale.” Soft Matter. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3sm51096d.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 812
Koestler, Stefan, Anika Steffen, Maria Nemethova, Moritz Winterhoff, Ningning Luo, J. Holleboom, Jessica Krupp, 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. American Society for Biology, 2013. https://doi.org/10.1091/mbc.E12-12-0857.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 8461
Haller, Jens D., and Paul Schanda. “Amplitudes and Time Scales of Picosecond-to-Microsecond Motion in Proteins Studied by Solid-State NMR: A Critical Evaluation of Experimental Approaches and Application to Crystalline Ubiquitin.” Journal of Biomolecular NMR. Springer Nature, 2013. https://doi.org/10.1007/s10858-013-9787-x.
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| Book Chapter | IST-REx-ID: 5747 |
Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 10902
Chatterjee, Krishnendu, Siddhesh Chaubal, and Sasha Rubin. “How to Travel between Languages.” In 7th International Conference on Language and Automata Theory and Applications, 7810:214–25. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-37064-9_20.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” In Graph-Based Representations in Pattern Recognition, 7877:182–83. LNCS. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-38221-5_19.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2847 |
Bansal, Kshitij, Eric Koskinen, Thomas Wies, and Damien Zufferey. “Structural Counter Abstraction.” Edited by Nir Piterman and Scott Smolka. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36742-7_5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2000 |
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv