ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2010 | Published | Conference Paper | IST-REx-ID: 3794

Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning
C. Lampert, O. Krömer, in:, 11th European Conference on Computer Vision, Springer, 2010, pp. 566–579.

View | DOI

2010 | Published | Conference Paper | IST-REx-ID: 3856 |

Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 3864 |

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 489 |

How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 3719 |

Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.

[Submitted Version] View | Files available | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 4393 |

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.

[Submitted Version] View | Files available | DOI

2010 | Published | Technical Report | IST-REx-ID: 5389 |

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.

[Published Version] View | Files available | DOI