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
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 18357
Bronstein AM, Bronstein MM, Kimmel R. 2009. Topology-invariant similarity of nonrigid shapes. International Journal of Computer Vision. 81(3), 281–301.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 18356
Bronstein AM, Bronstein MM, Bruckstein AM, Kimmel R. 2009. Partial similarity of objects, or how to compare a centaur to a horse. International Journal of Computer Vision. 84(2), 163–183.
View | DOI
 

Filters and Search Terms

year=2009

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed