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.
174 Publications
2017 | Published | Conference Paper | IST-REx-ID: 18330
G. Alexandroni et al., “White matter fiber representation using continuous dictionary learning,” in 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, Quebec City, QC, Canada, 2017, vol. 10433, no. Part 1, pp. 566–574.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 18329
A. Boyarski, A. M. Bronstein, and M. M. Bronstein, “Subspace least squares multidimensional scaling,” in International Conference on Scale Space and Variational Methods in Computer Vision, Kolding, Denmark, 2017, vol. 10302, pp. 681–693.
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
T. Biedl, S. Huber, and P. Palfrader, “Planar matchings for weighted straight skeletons,” in 25th International Symposium, ISAAC 2014, Jeonju, Korea, 2014, vol. 8889, pp. 117–127.
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10884 | 
B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10894
U. Bauer, M. Kerber, J. Reininghaus, and H. Wagner, “PHAT – Persistent Homology Algorithms Toolbox,” in ICMS 2014: International Congress on Mathematical Software, Seoul, South Korea, 2014, vol. 8592, pp. 137–143.
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
K. Chatterjee, L. Doyen, E. Filiot, and J.-F. Raskin, “Doomsday equilibria for omega-regular games,” in VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10903
A. Bouajjani, C. Dragoi, C. Enea, and M. Sighireanu, “Accurate invariant checking for programs manipulating lists and arrays with infinite data,” in Automated Technology for Verification and Analysis, Thiruvananthapuram, India, 2012, vol. 7561, pp. 167–182.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 18344
A. Hooda, M. M. Bronstein, A. M. Bronstein, and R. P. Horaud, “Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes,” in Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 665–676.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Y. Aflalo, A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Deformable shape retrieval by learning diffusion kernels,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 689–700.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
J. Pokrass, A. M. Bronstein, and M. M. Bronstein, “A correspondence-less approach to matching of deformable shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 592–603.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
G. Rosman, M. M. Bronstein, A. M. Bronstein, A. Wolf, and R. Kimmel, “Group-valued regularization framework for motion segmentation of dynamic non-rigid shapes,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 725–736.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
C. Wang, M. M. Bronstein, A. M. Bronstein, and N. Paragios, “Discrete minimum distortion correspondence problems for non-rigid shape matching,” in 3rd International Conference on Scale Space and Variational Methods in Computer Vision, Ein-Gedi, Israel, 2012, vol. 6667, pp. 580–591.
View
| DOI