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.
4964 Publications
2012 | Journal Article | IST-REx-ID: 2902 | 
Edelsbrunner, H., Musin, O., Ukhalov, A., Yakimova, O., Alexeev, V., Bogaevskaya, V., … Preobrazhenskaya, M. (2012). Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. Russian Academy of Sciences.
[Published Version]
View
| Download Published Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3264
Gupta, A., Popeea, C., & Rybalchenko, A. (2011). Solving recursion-free Horn clauses over LI+UIF. In H. Yang (Ed.) (Vol. 7078, pp. 188–203). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan: Springer. https://doi.org/10.1007/978-3-642-25318-8_16
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3266
Ion, A., Carreira, J., & Sminchisescu, C. (2011). Probabilistic joint image segmentation and labeling. In NIPS Proceedings (Vol. 24, pp. 1827–1835). Granada, Spain: Neural Information Processing Systems Foundation.
View
2011 | Journal Article | IST-REx-ID: 3269 |
Sheng, Y., Cutler, B., Chen, C., & Nasman, J. (2011). Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/j.1467-8659.2011.01985.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3267
Chen, C., & Freedman, D. (2011). Hardness results for homology localization. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-010-9322-8
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3288 |
Smutny, M., Wu, S., Gomez, G., Mangold, S., Yap, A., & Hamilton, N. (2011). Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0022458
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3287
Ruprecht, V., Axmann, M., Wieser, S., & Schuetz, G. (2011). What can we learn from single molecule trajectories? Current Protein & Peptide Science. Bentham Science Publishers. https://doi.org/10.2174/138920311798841753
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3302 |
Henzinger, T. A., Singh, A., Singh, V., Wies, T., & Zufferey, D. (2011). Static scheduling in clouds (pp. 1–6). Presented at the HotCloud: Workshop on Hot Topics in Cloud Computing, USENIX.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3301 |
Henzinger, T. A., & Mateescu, M. (2011). Tail approximation for the chemical master equation. Presented at the WCSB: Workshop on Computational Systems Biology (TICSP), Tampere International Center for Signal Processing.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3299 |
Henzinger, T. A., & Mateescu, M. (2011). Propagation models for computing biochemical reaction networks (pp. 1–3). Presented at the CMSB: Computational Methods in Systems Biology, Paris, France: Springer. https://doi.org/10.1145/2037509.2037510
[Submitted Version]
View
| Files available
| DOI