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.
6856 Publications
earlier version | 2010 |
Published |
Conference Paper |
IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 2409 |
Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets.” Algorithms for Molecular Biology, vol. 5, no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Journal Article |
IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development, vol. 137, no. 14, The Company of Biologists, 2010, pp. 2409–16, doi:10.1242/dev.049320.
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 12200
Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.” Biochemical Society Transactions, vol. 38, no. 2, Portland Press Ltd., 2010, pp. 571–76, doi:10.1042/bst0380571.
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Book Chapter |
IST-REx-ID: 14983
Schlögl, Alois, et al. “Adaptive Methods in BCI Research - An Introductory Tutorial.” Brain-Computer Interfaces, edited by Bernhard Graimann et al., 1st ed., Springer, 2010, pp. 331–55, doi:10.1007/978-3-642-02091-9_18.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4361 |
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4362
Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
View
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4369 |
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version]
View
| Files available
| DOI
2010 |
Published |
Conference Paper |
IST-REx-ID: 4378 |
Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |
Published |
Conference Paper |
IST-REx-ID: 4380 |
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
[Submitted Version]
View
| Files available
| DOI