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.
189 Publications
2012 | Published | Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 | Published | Conference Paper | IST-REx-ID: 10905 | 
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 | Published | Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View
| DOI
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
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.
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
2010 | Published | Book Chapter | IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View
| DOI
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
2010 | Published | Conference Paper | IST-REx-ID: 18339
Intrinsic regularity detection in 3D geometry
N.J. Mitra, A.M. Bronstein, M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 398–410.
View
| DOI
N.J. Mitra, A.M. Bronstein, M. Bronstein, in:, 11th European Conference on Computer Vision, Springer Nature, 2010, pp. 398–410.
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.
2005 | Published | Conference Paper | IST-REx-ID: 18319
Isometric embedding of facial surfaces into S3
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.
2004 | Published | Conference Paper | IST-REx-ID: 18332
Blind source separation using the block-coordinate relative Newton method
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 406–413.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 406–413.
2004 | Published | Conference Paper | IST-REx-ID: 18334
Blind deconvolution using the relative Newton method
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, Berlin, Heidelberg, 2004, pp. 554–561.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, Berlin, Heidelberg, 2004, pp. 554–561.
2004 | Published | Conference Paper | IST-REx-ID: 18331
Face recognition from facial surface metric
A.M. Bronstein, M.M. Bronstein, A. Spira, R. Kimmel, in:, 8th European Conference on Computer Vision, Springer Nature, 2004, pp. 225–237.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A. Spira, R. Kimmel, in:, 8th European Conference on Computer Vision, Springer Nature, 2004, pp. 225–237.
2004 | Published | Conference Paper | IST-REx-ID: 11800
The past, present, and future of web search engines
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 31st International Colloquium on Automata, Languages and Programming, Springer Nature, 2004, p. 3.
2004 | Published | Conference Paper | IST-REx-ID: 11801
Algorithmic aspects of web search engines
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
View
| DOI
M. Henzinger, in:, 2th Annual European Symposium on Algorithms, Springer Nature, 2004, p. 3.
2004 | Published | Conference Paper | IST-REx-ID: 18333
Optimal sparse representations for blind deconvolution of images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, 5th International Conference on Independent Component Analysis and Blind Signal Separation, Springer Nature, 2004, pp. 500–507.