Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7704 Publications
2011 | Journal Article | IST-REx-ID: 3315 | 
Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
2011 | Conference Paper | IST-REx-ID: 3316 |
Specification-centered robustness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
View
| DOI
| Download Published Version (ext.)
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
2011 | Journal Article | IST-REx-ID: 3318 |
How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses
E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.
View
| DOI
| Download Submitted Version (ext.)
E. Eggermann, P.M. Jonas, Nature Neuroscience 15 (2011) 20–22.
2011 | Conference Paper | IST-REx-ID: 3319
Learning multi-view neighborhood preserving projections
N. Quadrianto, C. Lampert, in:, Omnipress, 2011, pp. 425–432.
View
N. Quadrianto, C. Lampert, in:, Omnipress, 2011, pp. 425–432.
2011 | Journal Article | IST-REx-ID: 3320 |
Structured learning and prediction in computer vision
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.
View
| Files available
| DOI
S. Nowozin, C. Lampert, Foundations and Trends in Computer Graphics and Vision 6 (2011) 185–365.
2011 | Conference Poster | IST-REx-ID: 3322
Maximum margin multi label structured prediction
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems, 2011.
View
| Files available
C. Lampert, Maximum Margin Multi Label Structured Prediction, Neural Information Processing Systems, 2011.
2011 | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
2011 | Conference Paper | IST-REx-ID: 3324 |
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
View
| DOI
| Download Submitted Version (ext.)
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
2011 | Conference Paper | IST-REx-ID: 3325
Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
View
| DOI
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.
2011 | Conference Paper | IST-REx-ID: 3326 |
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.