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.




2424 Publications

2011 | Technical Report | IST-REx-ID: 5383   OA
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.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged) 77, no. 1–2 (2011): 359–67.
View
 
2011 | Journal Article | IST-REx-ID: 3368   OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS 108, no. 3 (2011): E9–10. https://doi.org/10.1073/pnas.1010767108.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3267
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Discrete & Computational Geometry 45, no. 3 (2011): 425–48. https://doi.org/10.1007/s00454-010-9322-8.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.” In Conference Proceedings MCV 2010, 6533:31–42. Springer, 2010. https://doi.org/10.1007/978-3-642-18421-5_4.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787   OA
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina 74, no. 3 (2010): 465–70. https://doi.org/10.3989/scimar.2010.74n3465.
View | DOI | Download (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3794
Lampert, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning,” 6312:566–79. Springer, 2010. https://doi.org/10.1007/978-3-642-15552-9_41.
View | DOI | Download (ext.)
 
2010 | Journal Article | IST-REx-ID: 3833
Jonas, Peter M, and Stefan Hefft. “GABA Release at Terminals of CCK-Interneurons: Synchrony, Asynchrony and Modulation by Cannabinoid Receptors (Commentary on Ali & Todorova).” The European Journal of Neuroscience 31, no. 7 (2010): 1194–95. https://doi.org/10.1111/j.1460-9568.2010.07189.x .
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,” 55–65. Springer, 2010. https://doi.org/10.1145/1839764.1839772.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,” 45:157–58. ACM, 2010. https://doi.org/10.1145/1706299.1706319.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed