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.
279 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Controller synthesis with budget constraints. In 11th Workshop on Hybrid Systems: Computation and Control (Vol. 4981, pp. 72–86). St. Louis, MO, United States: Springer Nature. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games. In 11th Workshop on Hybrid Systems: Computation and Control (Vol. 4981, pp. 87–100). St. Louis, MO, United States: Springer Nature. https://doi.org/10.1007/978-3-540-78929-1_7
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Chatterjee, K., Henzinger, T. A., & Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains. In Foundations of Software Science and Computational Structures - 11th International Conference (Vol. 4962, pp. 302–317). Budapest, Hungary: Springer Nature. https://doi.org/10.1007/978-3-540-78499-9_22
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2008). Environment assumptions for synthesis. In 19th International Conference on Concurrency Theory (Vol. 5201, pp. 147–161). Toronto, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_14
[Preprint]
View
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of coverage. In 6th Asian Symposium on Programming Language and Systems (Vol. 5356, pp. 91–106). Bangalore, India: Springer Nature. https://doi.org/10.1007/978-3-540-89330-1_7
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2008). Quantitative languages. In 22nd International Workshop on Computer Science Logic (Vol. 5213, pp. 385–400). Bertinoro, Italy: Springer Nature. https://doi.org/10.1007/978-3-540-87531-4_28
View
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., & Raje, S. (2008). Strategy construction for parity games with imperfect information. In 19th International Conference, CONCUR 2008 (Vol. 5201, pp. 325–339). Toronto, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9
View
| Files available
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games: complexity and robustness. In Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems (Vol. 5215, pp. 124–140). Saint Malo, France: Springer Nature. https://doi.org/10.1007/978-3-540-85778-5_10
View
| Files available
| DOI
| arXiv
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
Bronstein, A. M., Bronstein, M. M., & Zibulevsky, M. (2006). On separation of semitransparent dynamic images from static background. In 6th International Conference on Independent Component Analysis and Signal Separation (Vol. 3889, pp. 934–940). Charleston, SC, United States: Springer Nature. https://doi.org/10.1007/11679363_116
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2006). Robust expression-invariant face recognition from partially missing data. In 9th European Conference on Computer Vision (Vol. 3953). Graz, Austria: Springer Nature. https://doi.org/10.1007/11744078_31
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2006). Facetoface: An isometric model for facial animation. In 4th International Conference on Articulated Motion and Deformable Objects (Vol. 4069, pp. 38–47). Mallorca, Spain: Springer Nature. https://doi.org/10.1007/11789239_5
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Bronstein, A. M., Bronstein, M. M., Bruckstein, A. M., & Kimmel, R. (2006). Matching two-dimensional articulated shapes using generalized multidimensional scaling. In 4th International Conference on Articulated Motion and Deformable Objects (Vol. 4069, pp. 48–57). Mallorca, Spain: Springer Nature. https://doi.org/10.1007/11789239_6
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives. In Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science (Vol. 3884, pp. 325–336). Marseille, France: Springer. https://doi.org/10.1007/11672142_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games. In Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science (Vol. 3884, pp. 512–523). Marseille, France: Springer. https://doi.org/10.1007/11672142_42
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 395–410). Szeged, Hungary: Springer. https://doi.org/10.1007/11874683_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata. In Proceedings of the 18th international conference on Computer Aided Verification (Vol. 4144, pp. 17–30). Seattle, WA, United States: Springer Nature. https://doi.org/10.1007/11817963_5
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic. In Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 1–17). Paris, France: Springer Nature. https://doi.org/10.1007/11867340_1
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge. In Proceedings of the 14th international conference on Formal Methods (Vol. 4085, pp. 1–15). Hamilton, Canada: Springer Nature. https://doi.org/10.1007/11813040_1
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Algorithms for omega-regular games with imperfect information. In Proceedings of the 20th international conference on Computer Science Logic (Vol. 4207, pp. 287–302). Szeged, Hungary: Springer Nature. https://doi.org/10.1007/11874683_19
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3679
Ali, H., Lampert, C., & Breuel, T. (2006). Satellite tracks removal in astronomical images. In Proceedings of the 11th Iberoamerican conference on Progress in Pattern Recognition, Image Analysis and Applications (Vol. 4225, pp. 892–901). Cancún, Mexico: Springer Nature. https://doi.org/10.1007/11892755_92
View
| DOI
| Download None (ext.)