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.
4966 Publications
2013 |
Published |
Journal Article |
IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 3261 |
Dubuis, Julien, et al. “Positional Information, in Bits.” PNAS, vol. 110, no. 41, National Academy of Sciences, 2013, pp. 16301–08, doi:10.1073/pnas.1315642110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Encyclopedia Article |
IST-REx-ID: 3321
Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.” Encyclopedia of Systems Biology, edited by Werner Dubitzky et al., vol. 3, Springer, 2013, pp. 1069–1069, doi:10.1007/978-1-4419-9863-7_604.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 10895 |
Vanneste, Steffen, and Jiří Friml. “Calcium: The Missing Link in Auxin Action.” Plants, vol. 2, no. 4, MDPI, 2013, pp. 650–75, doi:10.3390/plants2040650.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” Graph-Based Representations in Pattern Recognition, vol. 7877, Springer Nature, 2013, pp. 182–83, doi:10.1007/978-3-642-38221-5_19.
View
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 10898
Haas, Andreas, et al. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.” Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, no. 5, 17, ACM Press, 2013, doi:10.1145/2482767.2482789.
View
| DOI
2013 |
Published |
Book Chapter |
IST-REx-ID: 10899
Barton, Nicholas H. “Differentiation.” Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–15, doi:10.1016/b978-0-12-384719-5.00031-9.
View
| DOI
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 |
Conference Paper |
IST-REx-ID: 10902
Chatterjee, Krishnendu, et al. “How to Travel between Languages.” 7th International Conference on Language and Automata Theory and Applications, vol. 7810, Springer Nature, 2013, pp. 214–25, doi:10.1007/978-3-642-37064-9_20.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 827 |
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 828 |
Cuesta, Candela, et al. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science, vol. 4, 537, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00537.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2000 |
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 2009 |
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 2010 |
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2181 |
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2209
Biedl, Therese, et al. Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input. IEEE, 2013, pp. 37–46, doi:10.1109/ISVD.2013.11.
View
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2210 |
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
2013 |
Published |
Conference Paper |
IST-REx-ID: 2237 |
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View
| DOI