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 | 
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Journal Article | IST-REx-ID: 18357
Bronstein, Alex M., et al. “Topology-Invariant Similarity of Nonrigid Shapes.” International Journal of Computer Vision, vol. 81, no. 3, Springer Nature, 2009, pp. 281–301, doi:10.1007/s11263-008-0172-2.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 18356
Bronstein, Alex M., et al. “Partial Similarity of Objects, or How to Compare a Centaur to a Horse.” International Journal of Computer Vision, vol. 84, no. 2, Springer Nature, 2009, pp. 163–83, doi:10.1007/s11263-008-0147-3.
View
| DOI