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.
5069 Publications
2010 | Conference Paper | IST-REx-ID: 3794
Lampert, C., & Krömer, O. (2010). Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning (Vol. 6312, pp. 566–579). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15552-9_41
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3832 |
Guzmán, J., & Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2010.04.003
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3833
Jonas, P. M., & Hefft, S. (2010). GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali & Todorova). The European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.2010.07189.x
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3847 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). SABRE: A tool for the stochastic analysis of biochemical reaction networks (pp. 193–194). Presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA: IEEE. https://doi.org/10.1109/QEST.2010.33
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3845 |
Henzinger, T. A., Hottelier, T., Kovács, L., & Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_25
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3842 |
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2010). Fast adaptive uniformization of the chemical master equation. IET Systems Biology. Institution of Engineering and Technology. https://doi.org/10.1049/iet-syb.2010.0005
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3848
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2010). The robustness of level sets (Vol. 6346, pp. 1–10). Presented at the ESA: European Symposium on Algorithms, Liverpool, UK: Springer. https://doi.org/10.1007/978-3-642-15775-2_1
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3858 |
Chatterjee, K., & Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856 |
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2010). Randomness for free (Vol. 6281, pp. 246–257). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_23
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, K., & Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9
View
| Files available
| DOI