Please note that IST 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.

6107 Publications


2005 | Conference Paper | IST-REx-ID: 3689
Ulges, Adrian, Christoph Lampert, and Thomas Breuel. “Document Image Dewarping Using Robust Estimation of Curled Text Lines,” 2:1001–5. IEEE, 2005. https://doi.org/ 10.1109/ICDAR.2005.90.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert, Christoph. “Boundary Regularity of Admissible Operators.” Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique, 2005. https://doi.org/10.5565/PUBLMAT_49105_08.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 3657:141–61. Springer, 2005. https://doi.org/10.1007/11561163_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, Krishnendu. “Two-Player Nonzero-Sum ω-Regular Games,” 3653:413–27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11539452_32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures,” 3326:89–102. Springer, 2005. https://doi.org/10.1007/978-3-540-30536-1_13.
View | DOI
 

Search

Filter Publications