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.
238 Publications
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
C. Lampert, O. Krömer, in:, 11th European Conference on Computer Vision, Springer, 2010, pp. 566–579.
2010 |
Published |
Conference Paper |
IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, 13th International Conference on Fundamental Approaches to Software Engineering, Springer, 2010, pp. 293–307.
View
| DOI
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, 13th International Conference on Fundamental Approaches to Software Engineering, Springer, 2010, pp. 293–307.
2010 |
Published |
Conference Paper |
IST-REx-ID: 18338
Spatially-sensitive affine-invariant image descriptors
A.M. Bronstein, M.M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 197–208.
View
| DOI
A.M. Bronstein, M.M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 197–208.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 72–86.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, 11th Workshop on Hybrid Systems: Computation and Control, Springer Nature, 2008, pp. 87–100.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Foundations of Software Science and Computational Structures - 11th International Conference, Springer Nature, 2008, pp. 302–317.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
[Preprint]
View
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, 19th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, 6th Asian Symposium on Programming Language and Systems, Springer Nature, 2008, pp. 91–106.
View
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, 6th Asian Symposium on Programming Language and Systems, Springer Nature, 2008, pp. 91–106.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, 22nd International Workshop on Computer Science Logic, Springer Nature, 2008, pp. 385–400.
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, 19th International Conference, CONCUR 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2008, pp. 124–140.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
On separation of semitransparent dynamic images from static background
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Robust expression-invariant face recognition from partially missing data
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 9th European Conference on Computer Vision, Springer Nature, 2006.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Facetoface: An isometric model for facial animation
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 38–47.
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Matching two-dimensional articulated shapes using generalized multidimensional scaling
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, in:, 4th International Conference on Articulated Motion and Deformable Objects, Springer Nature, 2006, pp. 48–57.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, Springer, 2006, pp. 512–523.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, Springer, 2006, pp. 512–523.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer, 2006, pp. 395–410.
View
| DOI
T.A. Henzinger, N. Piterman, in:, Proceedings of the 20th International Conference on Computer Science Logic, Springer, 2006, pp. 395–410.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Proceedings of the 18th International Conference on Computer Aided Verification, Springer Nature, 2006, pp. 17–30.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer Nature, 2006, pp. 1–17.
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Proceedings of the 14th International Conference on Formal Methods, Springer Nature, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Proceedings of the 14th International Conference on Formal Methods, Springer Nature, 2006, pp. 1–15.