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.




2782 Publications

2011 | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3316 | OA
Bloem, Roderick, et al. “Specification-Centered Robustness.” 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3318 | OA
Eggermann, Emmanuel, and Peter M. Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” Nature Neuroscience, vol. 15, Nature Publishing Group, 2011, pp. 20–22, doi:10.1038/nn.3002.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto, Novi, and Christoph Lampert. Learning Multi-View Neighborhood Preserving Projections. Omnipress, 2011, pp. 425–32.
View
 
2011 | Journal Article | IST-REx-ID: 3320 | OA
Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4, now, 2011, pp. 185–365, doi:10.1561/0600000033.
View | Files available | DOI
 

Search

Filter Publications