Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6105 Publications
2012 | Published | Journal Article | IST-REx-ID: 2411 | 
Ebersberger, Ingo, Ricardo De Matos Simoes, Anne Kupczok, Matthias Gube, Erika Kothe, Kerstin Voigt, and Arndt Von Haeseler. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution. Oxford University Press, 2012. https://doi.org/10.1093/molbev/msr285.
[Published Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 498 |
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1752-4571.2012.00284.x.
[Published Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 2263 |
Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open. The Company of Biologists, 2012. https://doi.org/10.1242/bio.20122287.
[Published Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 2848 |
Chatterjee, Krishnendu, Damien Zufferey, and Martin Nowak. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology. Elsevier, 2012. https://doi.org/10.1016/j.jtbi.2012.02.021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2012 | Published | Conference Paper | IST-REx-ID: 496 |
Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.” IEEE, 2012. https://doi.org/10.1109/LICS.2012.65.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2012 | Published | Journal Article | IST-REx-ID: 506 |
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology. Rockefeller University Press, 2012. https://doi.org/10.1083/jcb.201204039.
[Published Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.” Russian Mathematical Surveys. IOP Publishing, 2012. https://doi.org/10.1070/RM2012v067n06ABEH004820.
[Submitted Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 2318 |
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory. European Mathematical Society, 2012. https://doi.org/10.4171/JST/31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2012 | Published | Journal Article | IST-REx-ID: 493 |
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience. Frontiers Research Foundation, 2012. https://doi.org/10.3389/fnins.2012.00055.
[Published Version]
View
| Files available
| DOI
| WoS
2012 | Published | Journal Article | IST-REx-ID: 494
Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL). ACM, 2012. https://doi.org/10.1145/2362355.2362357.
View
| DOI
| WoS
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5383 |
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
[Published Version]
View
| Files available
| DOI
2011 | Published | Technical Report | IST-REx-ID: 5386 |
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3266
Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural Information Processing Systems Foundation, 2011.
View
2011 | Published | Conference Paper | IST-REx-ID: 3270
Chen, Chao, and Michael Kerber. “Persistent Homology Computation with a Twist,” 197–200. TU Dortmund, 2011.
View
2011 | Published | Book Chapter | IST-REx-ID: 3271
Wagner, Hubert, Chao Chen, and Erald Vuçini. “Efficient Computation of Persistent Homology for Cubical Data.” In Topological Methods in Data Analysis and Visualization II, edited by Ronald Peikert, Helwig Hauser, Hamish Carr, and Raphael Fuchs, 91–106. Springer, 2011. https://doi.org/10.1007/978-3-642-23175-9_7.
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3297 |
Wojtan, Chris, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
[Published Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3298 |
Raveendran, Karthik, Chris Wojtan, and Greg Turk. “Hybrid Smoothed Particle Hydrodynamics.” edited by Stephen Spencer, 33–42. ACM, 2011. https://doi.org/10.1145/2019406.2019411.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3299 |
Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,” 1–3. Springer, 2011. https://doi.org/10.1145/2037509.2037510.
[Submitted Version]
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3301 |
Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical Master Equation.” Tampere International Center for Signal Processing, 2011.
[Submitted Version]
View
| Files available