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.
6592 Publications
2010 |
Published |
Journal Article |
IST-REx-ID: 3790 |
A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Conference Paper |
IST-REx-ID: 3793 |
S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 3794
C. Lampert and O. Krömer, “Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning,” in 11th European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6312, pp. 566–579.
View
| DOI
2010 |
Published |
Book Chapter |
IST-REx-ID: 3795 |
H. Edelsbrunner, D. Morozov, and A. Patel, “The stability of the apparent contour of an orientable 2-manifold,” in Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 2409 |
A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction methods combining overlapping gene data sets,” Algorithms for Molecular Biology, vol. 5, no. 1. BioMed Central, 2010.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Conference Paper |
IST-REx-ID: 10908 |
R. Blanc, T. A. Henzinger, T. Hottelier, and L. Kovács, “ABC: Algebraic Bound Computation for loops,” in Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, 2010, vol. 6355, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
earlier version | 2010 |
Published |
Conference Paper |
IST-REx-ID: 10909
C. Chen and D. Freedman, “Hardness results for homology localization,” in Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, TX, United States, 2010, pp. 1594–1604.
View
| Files available
| DOI
2010 |
Published |
Book Chapter |
IST-REx-ID: 14983
A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 12199
X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 12200
X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.
View
| DOI
| PubMed | Europe PMC
2009 |
Published |
Journal Article |
IST-REx-ID: 9453 |
T.-F. Hsieh et al., “Genome-wide demethylation of Arabidopsis endosperm,” Science, vol. 324, no. 5933. American Association for the Advancement of Science, pp. 1451–1454, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |
Published |
Conference Paper |
IST-REx-ID: 3837 |
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version]
View
| Files available
| DOI
earlier version | 2009 |
Published |
Conference Paper |
IST-REx-ID: 3841 |
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
earlier version | 2009 |
Published |
Conference Paper |
IST-REx-ID: 3843 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 |
Published |
Conference Paper |
IST-REx-ID: 3844 |
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 |
Published |
Journal Article |
IST-REx-ID: 3870 |
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 |
Published |
Conference Paper |
IST-REx-ID: 3871 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 3968 |
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 4136 |
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC