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.

245 Publications


2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
S. Tripakis, B. Lickly, T. A. Henzinger, and E. Lee, “On relational interfaces,” in EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software, Grenoble, France, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 18357
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Topology-invariant similarity of nonrigid shapes,” International Journal of Computer Vision, vol. 81, no. 3. Springer Nature, pp. 281–301, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 18356
A. M. Bronstein, M. M. Bronstein, A. M. Bruckstein, and R. Kimmel, “Partial similarity of objects, or how to compare a centaur to a horse,” International Journal of Computer Vision, vol. 84, no. 2. Springer Nature, pp. 163–183, 2009.
View | DOI
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed