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.
283 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. “Controller Synthesis with Budget Constraints.” 11th Workshop on Hybrid Systems: Computation and Control, vol. 4981, Springer Nature, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. “Trading Infinite Memory for Uniform Randomness in Timed Games.” 11th Workshop on Hybrid Systems: Computation and Control, vol. 4981, Springer Nature, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. “Model-Checking Omega-Regular Properties of Interval Markov Chains.” Foundations of Software Science and Computational Structures - 11th International Conference, vol. 4962, Springer Nature, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. “Environment Assumptions for Synthesis.” 19th International Conference on Concurrency Theory, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
[Preprint]
View
| DOI
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3878 |
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” 6th Asian Symposium on Programming Language and Systems, vol. 5356, Springer Nature, 2008, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
View
| DOI
| Download None (ext.)
| arXiv
2008 |
Published |
Conference Paper |
IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. “Quantitative Languages.” 22nd International Workshop on Computer Science Logic, vol. 5213, Springer Nature, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3880
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” 19th International Conference, CONCUR 2008, vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View
| Files available
| DOI
earlier version | 2008 |
Published |
Conference Paper |
IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 5215, Springer Nature, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View
| Files available
| DOI
| arXiv
2006 |
Published |
Conference Paper |
IST-REx-ID: 18320
Bronstein, Alex M., et al. “On Separation of Semitransparent Dynamic Images from Static Background.” 6th International Conference on Independent Component Analysis and Signal Separation, vol. 3889, Springer Nature, 2006, pp. 934–40, doi:10.1007/11679363_116.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18321
Bronstein, Alex M., et al. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” 9th European Conference on Computer Vision, vol. 3953, Springer Nature, 2006, doi:10.1007/11744078_31.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18322
Bronstein, Alex M., et al. “Facetoface: An Isometric Model for Facial Animation.” 4th International Conference on Articulated Motion and Deformable Objects, vol. 4069, Springer Nature, 2006, pp. 38–47, doi:10.1007/11789239_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 18323
Bronstein, Alex M., et al. “Matching Two-Dimensional Articulated Shapes Using Generalized Multidimensional Scaling.” 4th International Conference on Articulated Motion and Deformable Objects, vol. 4069, Springer Nature, 2006, pp. 48–57, doi:10.1007/11789239_6.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. “Markov Decision Processes with Multiple Objectives.” Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games.” Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. “Solving Games without Determinization.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4406
De Wulf, Martin, et al. “Antichains: A New Algorithm for Checking Universality of Finite Automata.” Proceedings of the 18th International Conference on Computer Aided Verification, vol. 4144, Springer Nature, 2006, pp. 17–30, doi:10.1007/11817963_5.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic.” Proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4202, Springer Nature, 2006, pp. 1–17, doi:10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. “The Embedded Systems Design Challenge.” Proceedings of the 14th International Conference on Formal Methods, vol. 4085, Springer Nature, 2006, pp. 1–15, doi:10.1007/11813040_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Proceedings of the 20th International Conference on Computer Science Logic, vol. 4207, Springer Nature, 2006, pp. 287–302, doi:10.1007/11874683_19.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 3679
Ali, Haider, et al. “Satellite Tracks Removal in Astronomical Images.” Proceedings of the 11th Iberoamerican Conference on Progress in Pattern Recognition, Image Analysis and Applications, vol. 4225, Springer Nature, 2006, pp. 892–901, doi:10.1007/11892755_92.
View
| DOI
| Download None (ext.)